Ability in a Multi-agent Context: A Model in the Situation Calculus

This paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called theoretical ability and ability. The main contribution of this paper is a model of these notions in the Situation Calculus.

[1]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[2]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[3]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[4]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[5]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[6]  Victor R. Lesser,et al.  AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling , 2002, AAMAS '02.

[7]  John-Jules Ch. Meyer,et al.  Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.

[8]  Álvaro F. Moreira,et al.  Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L) , 2004, Annals of Mathematics and Artificial Intelligence.

[9]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

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

[11]  Brahim Chaib-draa,et al.  L'interaction comme champ de recherche , 2002 .

[12]  Antonis C. Kakas,et al.  ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..

[13]  Álvaro F. Moreira,et al.  Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication , 2003, DALT.

[14]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[15]  Michael Wooldridge,et al.  State-space reduction techniques in agent verification , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[16]  Michael Wooldridge,et al.  Model checking rational agents , 2004, IEEE Intelligent Systems.

[17]  Y. Shoham.  Introduction to Multi-Agent Systems , 2002 .

[18]  Michael Wooldridge,et al.  Model checking agentspeak , 2003, AAMAS '03.

[19]  Michael Wooldridge,et al.  Model Checking Multi-Agent Programs with CASP , 2003, CAV.

[20]  William J. Frawley,et al.  Control and Cross‐Domain Mental Computation: Evidence from Language Breakdown , 2002, Comput. Intell..

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

[22]  Michael J. Maher,et al.  The Semantics of Constraint Logic Programs , 1998, J. Log. Program..

[23]  Álvaro F. Moreira,et al.  Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language , 2002, Computational Logic in Multi-Agent Systems.

[24]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[25]  Rafael H. Bordini,et al.  Running AgentSpeak(L) Agents on SIM_AGENT , 2001, ATAL.

[26]  Richmond H. Thomason,et al.  Ability , Action , and Context , 2005 .

[27]  Michela Milano,et al.  Exploring CP-IP based techniques for the bid evaluation in combinatorial auctions , 2007 .

[28]  Robert Demolombe,et al.  What does it mean that an agent is performing a typical procedure?: a formal definition in the situation calculus , 2002, AAMAS '02.

[29]  Munindar P. Singh,et al.  Formal methods in DAI: logic-based representation and reasoning , 1999 .

[30]  Paolo Torroni,et al.  An Abductive Logic Programming Architecture for Negotiating Agents , 2002, JELIA.

[31]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[32]  Steffen Hölldobler,et al.  Towards a New Massively Parallel Computational Model for Logic Programming , 1994 .

[33]  Nuel Belnap,et al.  The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..

[34]  Davide Ancona,et al.  Coo-AgentSpeak: cooperation in AgentSpeak through plan exchange , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[35]  Krysia Broda,et al.  Symbolic knowledge extraction from trained neural networks: A sound approach , 2001, Artif. Intell..

[36]  M. Wooldridge,et al.  On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language , 2007, J. Artif. Intell. Res..

[37]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[38]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[39]  J. Davenport.  Editor , 1960 .

[40]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[41]  W. Hoek,et al.  Formalising abilities and opportunities of agents , 1998 .

[42]  Francesca Toni,et al.  Executing Suspended Logic Programs , 1998, Fundam. Informaticae.

[43]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[44]  Tuomas Sandholm,et al.  An algorithm for optimal winner determination in combinatorial auctions , 1999, IJCAI 1999.

[45]  Alessandro Dal Palù,et al.  Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) , 2005, PPDP '05.

[46]  Sarit Kraus,et al.  Planning and Acting Together , 1999, AI Mag..

[47]  Jean-Marie Nicolas,et al.  Data Base: Theory vs. Interpretation , 1977, Logic and Data Bases.

[48]  Gn Gilbert,et al.  Simulating societies: an introduction , 1994 .

[49]  Hector J. Levesque,et al.  Ability and Knowing How in the Situation Calculus , 2000, Stud Logica.

[50]  Munindar P. Singh,et al.  Verifying Compliance with Commitment Protocols , 1998, Autonomous Agents and Multi-Agent Systems.

[51]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[52]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[53]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[54]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[55]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[56]  Dag Elgesem,et al.  The modal logic of agency , 1997 .

[57]  Eliot R. Smith,et al.  Dual-Process Models in Social and Cognitive Psychology: Conceptual Integration and Links to Underlying Memory Systems , 2000 .

[58]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[59]  Rino Falcone,et al.  Principles of trust for MAS: cognitive anatomy, social importance, and quantification , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[60]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[61]  John F. Horty,et al.  Agency and obligation , 1996, Synthese.

[62]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[63]  Laurence Cholvy,et al.  Distribution of goals addressed to a group of agents , 2003, AAMAS '03.