Quantified Coalition Logic for BDI-Agents: Completeness and Complexity13th Pacific Rim International Conference on Artificial Intelligence
MetadataShow full item record
This paper introduces a multi-dimensional modal logic of Quantified Coalition Logic of Beliefs, Desires and Intentions (QCLBDI) to reason about how agents' mental attitudes evolve by cooperation in game-like multi-agent systems. We present a complete axiomatic system of QCLBDI with the formal proof and show that the satisfiability for QCLBDI is PSPACE-complete, computationally no harder than that of CL.
13th Pacific Rim International Conference on Artificial Intelligence Proceedings
Computational Logic and Formal Languages