Agent Planning, Negotiation and Control of Operation

This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality with reactivity. Agents are designed and programmed in a computational logic-based language where these aspects are accommodated in a declarative and modular way. We show how this framework can be applied to agent problems requiring negotiation and resource achievement and present some of its formal properties. The framework can be implemented based on a communication platform for agent interaction and on well-established logic programming technologies for agent reasoning.

[1]  Robert A. Kowalski,et al.  Problems and Promises of Computational Logic , 1990 .

[2]  Gerhard Brewka.  Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences , 1996, J. Artif. Intell. Res..

[3]  Robert B. Ross,et al.  Impact: a platform for collaborating agents , 1999, IEEE Intell. Syst..

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

[5]  Antonis C. Kakas,et al.  Argumentation based decision making for autonomous agents , 2003, AAMAS '03.

[6]  Simon Parsons,et al.  Arguments, Dialogue, and Negotiation , 2000, ECAI.

[7]  Andrea Bracciali,et al.  PROSOCS: A platform for programming software agents in computational logic , 2004 .

[8]  Kave Eshghi,et al.  Abductive Planning with Event Calculus , 1988, ICLP/SLP.

[9]  F. Toni,et al.  Logic agents , dialogues and negotiation : an abductive approach , 2001 .

[10]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[11]  Mihhail Matskin,et al.  Linear Logic, Partial Deduction and Cooperative Problem Solving , 2003, DALT.

[12]  Antonis C. Kakas,et al.  Computational Logic: Logic Programming and Beyond , 2002, Lecture Notes in Computer Science.

[13]  Paolo Mancarella,et al.  The KGP Model of Agency , 2004, ECAI.

[14]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[15]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[16]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.