Nominator's project description
| Professor Gabbay is one of the founders of logic and computation. In the past 30 years, computer science and artificial intelligence have been building devices that help and sometimes replace human beings in their daily activity. There was a need to develop logical models for such activities. This urgent need put pressure on logic to undergo an accelerated evolutionary development. Professor Gabbay has made significant contributions to this development. His hundreds of research papers and monographs on non-classical logic, non-monotonic logic, logic and language, labelled deductive systems, algorithmic goal directed logic, as well as a multitude of handbooks and journals are the context of the historical development of logic in the last century. During his visit Professor Gabbay is going to work on the logical and algorithmic foundations of goal directed reasoning mechanisms such as abduction, relevance and controlled revision. |
