Tractable Reasoning about Group Beliefs

  • Barbara Dunin-Kęplicz
  • Andrzej Szałas
  • Rineke Verbrugge
Conference paper

DOI: 10.1007/978-3-319-14484-9_17

Volume 8758 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Dunin-Kęplicz B., Szałas A., Verbrugge R. (2014) Tractable Reasoning about Group Beliefs. In: Dalpiaz F., Dix J., van Riemsdijk M.B. (eds) Engineering Multi-Agent Systems. EMAS 2014. Lecture Notes in Computer Science, vol 8758. Springer, Cham

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Barbara Dunin-Kęplicz
    • 1
  • Andrzej Szałas
    • 1
    • 2
  • Rineke Verbrugge
    • 3
  1. 1.Institute of InformaticsWarsaw UniversityPoland
  2. 2.Dept. of Computer and Information ScienceLinköping UniversitySweden
  3. 3.Institute of Artificial IntelligenceUniversity of GroningenThe Netherlands