A logic-based model of intention formation and action for multi-agent subcontracting

We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus that can be regarded as a meta-logic that describes the reasoning and activities of the agents. Our central focus is on the evolving intentions of agents over time, and the conditions under which an agent can adopt and maintain an intention. In particular, the reasoning time and the time taken to subcontract are modeled explicitly in the logic. We axiomatize the concept of agent interactions in the meta-language, show that the meta-theory is consistent and describe the unique intended model of the meta-theory. In this context we deal both with subcontracting between agents and the presence of multiple recipes, that is, multiple ways of accomplishing tasks. We show that under various initial conditions and known facts about agent beliefs and abilities, the meta-theory representation yields good results.

[1]  Munindar P. Singh,et al.  A logic of intentions and beliefs , 1993, J. Philos. Log..

[2]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[3]  Alan Bundy,et al.  The Computer Modelling of Mathematical Reasoning , 1983 .

[4]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[5]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[6]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[7]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

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

[9]  Sarit Kraus,et al.  Syntactical Treatments of Propositional Attitudes , 1998, Artif. Intell..

[10]  Anand S. Rao,et al.  The Semantics of Intention Maintenance for Rational Agents , 1995, IJCAI.

[11]  Hector J. Levesque,et al.  Semantics of Agent Communication Languages for Group Interaction , 2000, AAAI/IAAI.

[12]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[13]  Philip R. Cohen,et al.  Plans as Complex Mental Attitudes , 2003 .

[14]  Kurt Konolige,et al.  A First-Order Formalization of Knowledge and Action for a Multiagent Planning System. , 1980 .

[15]  Eduardo Alonso,et al.  A formal framework for the representation of negociation protocols , 1997, Inteligencia Artif..

[16]  Michael Wooldridge,et al.  Intention Reconsideration Reconsidered , 1998, ATAL.

[17]  ExodeixisMunindar P. Singh.  The Intentions of Teams : Team Structure , 1998 .

[18]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[19]  Philip R. Cohen,et al.  Intentions in Communication , 1991, CL.

[20]  Andrew R. Haas.  The Syntactic Theory of Belief and Knowledge. , 1983 .

[21]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[22]  Hector J. Levesque,et al.  On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.

[23]  Michael Wooldridge,et al.  Reasoning about Intentions in Uncertain Domains , 2001, ECSQARU.

[24]  Nicholas R. Jennings,et al.  The Cooperative Problem-solving Process , 1999, J. Log. Comput..

[25]  Sarit Kraus,et al.  Collaborative Plans for Complex Group Action , 1996, Artif. Intell..

[26]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[27]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[28]  Zimmer,et al.  A First-order Formalization of Knowl- Edge and Action for a Multi-agent Planning System. In , .

[29]  Sarit Kraus,et al.  A Logic for Characterizing Multiple Bounded Agents , 2000, Autonomous Agents and Multi-Agent Systems.

[30]  Anand S. Rao,et al.  Deliberation and its Role in the Formation of Intentions , 1991, UAI.

[31]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[32]  Leora Morgenstern,et al.  Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry , 1997, IJCAI.

[33]  Candace L. Sidner,et al.  Models of Plans to Support Communication: An Initial Report , 1990, AAAI.

[34]  Munindar P. Singh.  The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis , 1998, ECAI.

[35]  Richmond H. Thomason,et al.  A note on syntactical treatments of modality , 1980, Synthese.

[36]  Philip R. Cohen,et al.  Intentions in Communication , 1992, Language.

[37]  Sarit Kraus,et al.  An Overview of Incentive Contracting , 1996, Artif. Intell..

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

[39]  G. Belovsky.  A Reply To Hobbs , 1990 .

[40]  Hector J. Levesque,et al.  The consistency of syntactical treatments of knowledge 1 (How to compile quantificational modal logics into classical FOL) , 1988, Comput. Intell..

[41]  Sarit Kraus,et al.  Reaching Agreements Through Argumentation: A Logical Model and Implementation , 1998, Artif. Intell..

[42]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[43]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[44]  Anders Læsø Madsen,et al.  Proceedings of the 13th European Conference on Artificial Intelligence , 1998 .

[45]  L. Morgenstern,et al.  Foundations of a logic of knowledge, action, and communication , 1988 .

[46]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

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

[48]  Wolfgang Bibel,et al.  Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.

[49]  C. Raymond Perrault.  An application of default logic to speech act theory , 1987 .

[50]  M. Shanahan.  Solving the frame problem , 1997 .

[51]  Yves Lespérance.  On the Epistemic Feasibility of Plans in Multiagent Systems Specifications , 2003, Log. J. IGPL.

[52]  Andrew R. Haas,et al.  A Syntactic Theory of Belief and Action , 1986, Artif. Intell..

[53]  Sarit Kraus,et al.  The Evolution of Sharedplans , 1999 .

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

[55]  Gil Tidhar,et al.  Planned Team Activity , 1992, MAAMAW.

[56]  Jon Doyle,et al.  A Logic of Relative Desire (Preliminary Report) , 1991, ISMIS.

[57]  Christos Faloutsos,et al.  Advanced Database Systems , 1997, Lecture Notes in Computer Science.

[58]  Sarit Kraus,et al.  Strategic Negotiation in Multiagent Environments , 2001, Intelligent robots and autonomous agents.

[59]  M. Georgeff,et al.  Social Plans: A Preliminary Report , 1992 .

[60]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .