Reasoning about knowledge
Combining partial and classical semantics. A hybrid approach to belief and awareness
Partiality, modality, and nonmonotonicity
Limited Logical Belief Analysis
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
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. The possible 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.