A syntactic theory of belief and action
Artificial Intelligence
Belief, awareness, and limited reasoning
Artificial Intelligence
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
A compositional architecture for simple design formally specified in DESIRE
Formal specification of complex reasoning systems
Reasoning about knowledge
Ideal and Real Belief about Belief
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Mechanizing Multi-Agent Reasoning with Belief Contexts
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Strongly Analytic Tableaux for Normal Modal Logics
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Non-omniscient belief as context-based reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Updating Mental States from Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |
This paper is concerned with providing a context based logic (language + semantics) for the representation of agents's beliefs. While different approaches that make use of a single theory have been proposed in order to model agent's beliefs, such as modal logics, these often suffer from problems, as lack of modularity, logical omniscence, and dissimilarity with implementations. A partial solution to these problems is to distribute the agent's knowledge into different and separated modules which interact each others. Our approach is to provide these modules, but in the form of (multi) contexts, each one with its own local language and semantics, and to model the relations among modules as compatibility relations among contexts. We extend here this approach to capture important aspects of "ideal" agents, namely their logically omniscent nature, and of "real" agents, namely their non logically omniscent nature due to some resource-boundedness. The logic we use is based on a logic for contextual reasoning, called Local Models Semantics, which allows a (multi) context-based representation of agent's belief. A tableau system for a simple instance of such a logic is also presented.