Intention is choice with commitment
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Model checking
A Decision Procedure for a Temporal Belief Logic
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
The synthesis of digital machines with provable epistemic properties
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Hi-index | 0.00 |
Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems. This paper explores a particular type of multi-agent system, in which each agent is viewed as having the three mental attitudes of belief (B), desire (D), and intention (I). We use a multi-modal branching-time logic BDI"C"T"L, with a semantics that is grounded in traditional decision theory and a possible-worlds framework. A preliminary implementation of the approach shows promising results.