Limited Reasoning       

Artificial Intelligence Accomplishment | 1985

IBM researchers: Ronald Fagin, Joseph Y. Halpern

Where the work was done: Almaden Research Center

What we accomplished: The researchers introduced and studied several new logics for belief and knowledge, all of which held that agents are not logically omniscient. Thus, these logics were more suitable than traditional logics for modelling beliefs of humans (or machines) with limited reasoning capabilities.

Related links: Belief, Awareness and Limited Reasoning (pdf) [Winner of 1985 Best Paper Award at the International Joint Conferences on Artificial Intelligence]

BACK TO ARTIFICIAL INTELLIGENCE

BACK TO IBM RESEARCH ACCOMPLISHMENTS