Description logic for coalitions

Coalition Logic (CL) is one of the most important formalisms for specification and verification of game-like multi-agent systems. Several extensions of the logic have been studied in the literature. These extensions are usually fusions (independent joins) of CL with other modal logics (e.g., temporal, epistemic, dynamic, etc.), and they are generally propositional. In this paper, we propose a game description logic called CLALC which is based on a product of Coalition Logic with the description logic ALC. The new logic allows one to reason about agents' ability to influence first-order structures. We show that the satisfiability problem for CLALC is decidable; we prove this by giving a goal-directed decision procedure for the problem.

[1]  Carsten Lutz,et al.  A Tableau Decision Algorithm for Modalized ALC with Constant Domains , 2002, Stud Logica.

[2]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[3]  V. Goranko.  Coalition games and alternating temporal logics , 2001 .

[4]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[5]  M. David Sadek,et al.  A Study in the Logic of Intention , 1992, KR.

[6]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[7]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[8]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[9]  Armin Laux,et al.  Beliefs in Multi-Agent Worlds: a Terminological Logics Approach , 1994, European Conference on Artificial Intelligence.

[10]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[11]  Riza Cenk Erdur,et al.  The design of a semantic web compatible content language for agent communication , 2008, Expert Syst. J. Knowl. Eng..

[12]  Frank Wolter,et al.  Multi-Dimensional Description Logics , 1999, IJCAI.

[13]  Michael Wooldridge,et al.  Semantic Issues in the Verification of Agent Communication Languages , 2000, Autonomous Agents and Multi-Agent Systems.

[14]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[15]  Franz Baader,et al.  Terminological Logics with Modal Operators , 1995, IJCAI.

[16]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[17]  Govert van Drimmelen,et al.  Satisfiability in Alternating-time Temporal Logic , 2003, LICS.

[18]  Frank Wolter,et al.  Satis ability problem in description logics with modal operators , 1998 .

[19]  Riza Cenk Erdur,et al.  A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains , 2009, Electron. Notes Theor. Comput. Sci..

[20]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[21]  Ralf Küsters,et al.  Extensions to Description Logics , 2003, Description Logic Handbook.

[22]  I. Horrocks,et al.  A Description Logic with Transitive and Converse Roles Role Hierarchies and Qualifying Number Restrictions , 1999 .

[23]  Helle Hvid Hansen,et al.  Tableau Games for Coalition Logic and Alternating-time Temporal Logic — theory and implementation , 2022 .

[24]  Frank Wolter,et al.  Modal Description Logics: Modalizing Roles , 1999, Fundam. Informaticae.

[25]  Riza Cenk Erdur,et al.  Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform , 2005, ESAW.

[26]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[27]  Frank Wolter,et al.  A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case , 2000 .

[28]  Michael Wooldridge,et al.  Reasoning about action and cooperation , 2006, AAMAS '06.

[29]  Frank Wolter,et al.  Dynamic Description Logics , 1998, Advances in Modal Logic.

[30]  F. Wolter,et al.  Temporalizing Description Logics , 1998, FroCoS.

[31]  Integrating a modal logic of knowledge into terminological logics , 2011 .

[32]  Michael Wooldridge,et al.  Logic for Automated Mechanism Design - A Progress Report , 2007, AAAI.

[33]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[34]  Marc Pauly,et al.  Logic for social software , 2000 .

[35]  Carsten Lutz,et al.  Tableaux for Temporal Description Logic with Constant Domains , 2001, IJCAR.