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