Quantified Coalition Logic for BDI-Agents: Completeness and Complexity
Author(s)
Chen, Qingliang
Li, Qun
Su, Kaile
Luo, Xiangyu
Griffith University Author(s)
Year published
2014
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
Conference Title
13th Pacific Rim International Conference on Artificial Intelligence Proceedings
Publisher URI
Subject
Computational Logic and Formal Languages
Artificial Intelligence and Image Processing
Computation Theory and Mathematics