Chapter

Engineering Multi-Agent Systems

Volume 8758 of the series Lecture Notes in Computer Science pp 328-350

Tractable Reasoning about Group Beliefs

  • Barbara Dunin-KępliczAffiliated withInstitute of Informatics, Warsaw University
  • , Andrzej SzałasAffiliated withInstitute of Informatics, Warsaw UniversityDept. of Computer and Information Science, Linköping University
  • , Rineke VerbruggeAffiliated withInstitute of Artificial Intelligence, University of Groningen

* Final gross prices may vary according to local VAT.

Get Access

Abstract

In contemporary autonomous systems, like robotics, the need to apply group knowledge has been growing consistently with the increasing complexity of applications, especially those involving teamwork. However, classical notions of common knowledge and common belief, as well as their weaker versions, are too complex. Also, when modeling real-world situations, lack of knowledge and inconsistency of information naturally appear. Therefore, we propose a shift in perspective from reasoning in multi-modal logics to querying paraconsistent knowledge bases. This opens the possibility for exploring a new approach to group beliefs. To demonstrate expressiveness of our approach, examples of social procedures leading to complex belief structures are constructed via the use of epistemic profiles. To achieve tractability without compromising the expressiveness, as an implementation tool we choose 4QL, a four-valued rule-based query language. This permits both to tame inconsistency in individual and group beliefs and to execute the social procedures in polynomial time. Therefore, a marked improvement in efficiency has been achieved over systems such as (dynamic) epistemic logics with common knowledge and ATL, for which problems like model checking and satisfiability are PSPACE- or even EXPTIME-hard.

Keywords

Cooperation reasoning for robotic agents formal models of agency knowledge representation tractability