Quantified Coalition Logic for BDI-Agents: Completeness and Complexity

Chen, Qingliang; Li, Qun; Su, Kaile; Luo, Xiangyu

doi:10.1007/978-3-319-13560-1_72

Author(s)

Chen, Qingliang

Li, Qun

Su, Kaile

Luo, Xiangyu

Griffith University Author(s)

Su, Kaile

Year published

2014

Metadata

Show full item record

Abstract

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 >

Conference Title

13th Pacific Rim International Conference on Artificial Intelligence Proceedings

Publisher URI

http://www.pricai2014.org/

DOI

https://doi.org/10.1007/978-3-319-13560-1_72

Subject

Computational Logic and Formal Languages

Artificial Intelligence and Image Processing

Computation Theory and Mathematics

Publication URI

http://hdl.handle.net/10072/68023

Collection

Conference outputs