Explicit and Irnplicit Beliefs.
W J odzimierz ZadrOiHlY · 1986
We provide an answer to the three questions asked by H.J.Levesque during his AAAI-84 presentation: 1. How to distinguish between local and global inconsistencies Le. between Believe(p) & Believe(~p) and Belicve(p&~p) ? 2. How to introduce quantifiers to the logic of beliefs ? 3. Is it possible to determine whether an agent explicitly believes in a statement p in a time better then O( I KB I * I p I) ? We introduce a logic of explicit and implicit beliefs BilL, which allows local inconsistencies, but forbids global ones. We prove its soundness and completeness. The semantics for the BilL logic is given by a Kripke model. We show how to introduce quantifiers to this logic and discuss its computational properties. The paper is organized as folIows: