Combining partial and classical semantics. A hybrid approach to belief and awareness
Partiality, modality, and nonmonotonicity
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Hi-index | 0.00 |
The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. Thepossible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience. A comparison with two well-known proposals (Levesque's logic of explicit and implicit beliefs and Thijsse's hybrid sieve systems) is also provided.