Reasoning About Knowledge       

Artificial Intelligence Accomplishment | 1995

IBM researchers: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi

Where the work was done: Almaden Research Center

What we accomplished: Reasoning about knowledge was once the exclusive province of philosophers and puzzle solvers. With the work of IBM researchers, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms and other areas of artificial intelligence, and game theory.

Related links: Reasoning About Knowledge has over 4000 citations. A number of university courses use this book.

Image credit: MIT Press

BACK TO ARTIFICIAL INTELLIGENCE

BACK TO IBM RESEARCH ACCOMPLISHMENTS