Robert F. Hadley. Logical omniscience, semantics, and models of belief. Computational Intelligence, 4:17--30, 1988.  Home/Search   Document Not in Database   Summary   Related Articles

.... K a OE ( a knows that OE ) and B a OE ( a believes that OE ) In AI, research in the area of epistemic logic has concentrated on three main problems: the relationships between knowledge and belief and between truth and justification ( Had91b, MS88, Bou92] consistency and logical omniscience ( Had88] and nesting of epistemic operators as in X believes that Y knows Z, Had91b] The problem of quantified epistemic logics has not been well researched in AI, though it does appear in [Had91b] Here two belief revision models are briefly discussed: NIM, based on the logic = FOL, and MBR, ....

Robert F. Hadley. Logical omniscience, semantics, and models of belief. Computational Intelligence, 4:17--30, 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC