skip to main content
10.1145/1160633.1160663acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
Article

Reasoning about action and cooperation

Published: 08 May 2006 Publication History

Abstract

We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs. We show how the logic can be obtained in a modularised way, by combining a model for reasoning about actions and their effects with a model that describes what actions an agent can perform. More precisely, we show how one can combine an action logic which resembles Propositional Dynamic Logic with a cooperation logic which resembles Coalition Logic. We give a sound and complete axiomatisation for the logic, illustrate its use by means of an example, and discuss possible future extensions to it.

References

[1]
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of ACM, 49(5):672--713, 2002.
[2]
E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop, 1982.
[3]
G. Gargov and S. Passy. A note on boolean modal logic. In P. Petkov, editor, Mathematical Logic, Proc. of Heyting88, pages 311--321. Plenum Press, 1990.
[4]
M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann Publishers: San Mateo, CA, 2004.
[5]
Laura Giordano, Alberto Martelli, and Camilla Schwind. Dealing with concurrent actions in modal action logic. In Henri Prade, editor, ECAI 98. 13th European Conference on Artificial Intelligence, 1998.
[6]
D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II --- Extensions of Classical Logic, pages 497--604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984.
[7]
David Harel, Jerzy Tiuryn, and Dexter Kozen. Dynamic Logic. MIT Press, Cambridge, MA, USA, 2000.
[8]
D. Kinny, M. Ljungberg, A. S. Rao, E. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In C. Castclfranchi and E. Werner, editors, Artificial Social Systems --- Selected Papers from the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-92 (LNAI Volume 830), pages 226--256. Springer-Verlag: Berlin, Germany, 1992.
[9]
B. van Linder, W. van der Hoek, and J. J-Ch. Meyer. Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1,2):53--101, 1998.
[10]
K. L. McMillan. Symbolic Model Checking. PhD thesis, CMU University, 1992.
[11]
R. C. Moore. Reasoning about knowledge and action. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.
[12]
M. Pauly. A Modal Logic for Coalitional Power in Games. Journal of Logic and Computation, 12:146--166, 2002.
[13]
J. S. Sichman and Y. Demazeau. On social reasoning in multi-agent systems. Revista Iberoamericana de Inteligencia Artificial, 13:68--84, 2001.
[14]
M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag: Berlin, Germany, 1994.
[15]
W. van der Hoek and M. Wooldridge. On the logic of cooperation and propositional control. Artificial Intelligence, 64:1--2, pp. 81--119., 64(1--2):81--119, 2005.
[16]
M. Wooldridge and J. Jennings. Towards a theory of cooperative problem solving. In Procs. of the Sixth European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-94), 1994.

Cited By

View all
  • (2021)Intelligence in Strategic GamesJournal of Artificial Intelligence Research10.1613/jair.1.1288371(521-556)Online publication date: 10-Sep-2021
  • (2021)An Action Language for Multi-Agent DomainsArtificial Intelligence10.1016/j.artint.2021.103601(103601)Online publication date: Sep-2021
  • (2020)Navigability with bounded recall autonomous agents with bounded memory autonomous agents with bounded recall working memory of autonomous agents on composition of bounded-recall plansArtificial Intelligence10.1016/j.artint.2020.103399(103399)Online publication date: Oct-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
May 2006
1631 pages
ISBN:1595933034
DOI:10.1145/1160633
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 May 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. (multi-)agent planning
  2. agent and multi-agent architectures
  3. cooperation and coordination among agents
  4. logics for agent systems

Qualifiers

  • Article

Conference

AAMAS06
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2021)Intelligence in Strategic GamesJournal of Artificial Intelligence Research10.1613/jair.1.1288371(521-556)Online publication date: 10-Sep-2021
  • (2021)An Action Language for Multi-Agent DomainsArtificial Intelligence10.1016/j.artint.2021.103601(103601)Online publication date: Sep-2021
  • (2020)Navigability with bounded recall autonomous agents with bounded memory autonomous agents with bounded recall working memory of autonomous agents on composition of bounded-recall plansArtificial Intelligence10.1016/j.artint.2020.103399(103399)Online publication date: Oct-2020
  • (2019)Knowing-how under uncertaintyArtificial Intelligence10.1016/j.artint.2019.06.007276(41-56)Online publication date: Nov-2019
  • (2018)Navigability with intermediate constraintsJournal of Logic and Computation10.1093/logcom/exy02128:7(1647-1670)Online publication date: 15-Aug-2018
  • (2018)Together we know how to achieveArtificial Intelligence10.1016/j.artint.2018.06.007262:C(279-300)Online publication date: 1-Sep-2018
  • (2017)Coalition Power in Epistemic Transition SystemsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091228(723-731)Online publication date: 8-May-2017
  • (2017)Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)Electronic Proceedings in Theoretical Computer Science10.4204/EPTCS.251.32251(441-453)Online publication date: 25-Jul-2017
  • (2011)Executing Specifications of Social Reasoning AgentsDeclarative Agent Languages and Technologies VIII10.1007/978-3-642-20715-0_7(112-129)Online publication date: 2011
  • (2010)An Investigation of Multi-Agent Planning in CLPFundamenta Informaticae10.5555/2010403.2010408105:1-2(79-103)Online publication date: 1-Jan-2010
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media