CRAFTING THE MIND OF PROSOCS AGENTS

PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind's reasoning functionalities. The behavior of the agent is controlled by a cycle theory that specifies the agent's preferred patterns of operation. The implementation of the mind's generic functionality in PROSOCS is worked out in such a way so it can be instantiated by the platform for different agents across applications. In this context, the development of a concrete example illustrates how an agent developer might program the generic functionality of the mind for a simple application.

[1]  Antonis C. Kakas,et al.  Computing Argumentation in Logic Programming , 1999, J. Log. Comput..

[2]  Jürgen Dix,et al.  Heterogenous Active Agents , 2000 .

[3]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[4]  Viviana Mascardi,et al.  Combining logical agents with rapid prototyping for engineering distributed applications , 1999, STEP '99. Proceedings Ninth International Workshop Software Technology and Engineering Practice.

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

[6]  C. Bergmann,et al.  JASON Java-based AgentSpeak interpreter used with saci for multi-agent distribution over the net , 2006 .

[7]  Paolo Mancarella,et al.  Abductive Logic Programming with CIFF: Implementation and Applications , 2004 .

[8]  Mehdi Dastani.  3apl platform user guide , 2004 .

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

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

[11]  Paolo Mancarella,et al.  The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application , 2008 .

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

[13]  Yves Demazeau,et al.  From Analysis to Deployment: A Multi-agent Platform Survey , 2000, ESAW.

[14]  Paolo Mancarella,et al.  Planning Partially for Situated Agents , 2004, CLIMA.

[15]  Koen V. Hindriks,et al.  On Programming KARO Agents , 2001, Log. J. IGPL.

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

[17]  Franziska Klügl.  From agent theory to agent implementation , 2001 .

[18]  Francesca Toni,et al.  Ambient Intelligence Using KGP Agents , 2004, EUSAI.

[19]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[20]  Antonis C. Kakas,et al.  Logic Programming without Negation as Failure , 1995, ILPS.

[21]  Mats Carlsson,et al.  An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.

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

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

[24]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[25]  Viviana Mascardi,et al.  Comparing environments for developing software agents , 2002, AI Commun..

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

[27]  Andrea Bracciali,et al.  Frame consistency: computing with causal explanations , 2004, NMR.

[28]  Evelina Lamma,et al.  COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL , 2006, Appl. Artif. Intell..

[29]  Alexander Serenko,et al.  AGENT TOOLKITS: A GENERAL OVERVIEW OF THE MARKET AND AN ASSESSMENT OF INSTRUCTOR SATISFACTION WITH UTILIZING TOOLKITS IN THE CLASSROOM , 2002 .

[30]  Neophytos Demetriou.  Argumentation with Abduction , 2005 .

[31]  Brian Logan,et al.  Classifying Agent Systems , 1998 .

[32]  Stefan Poslad,et al.  The FIPA-OS agent platform: Open Source for Open Standards , 2006 .

[33]  Hyacinth S. Nwana,et al.  ZEUS: a toolkit and approach for building distributed multi-agent systems , 1999, AGENTS '99.

[34]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[35]  Keith L. Clark,et al.  Go! for multi-threaded deliberative agents , 2003, AAMAS '03.

[36]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[37]  Fenguangzhai Song.  CD , 1992 .

[38]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[39]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[40]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[41]  Keith L. Clark,et al.  Go! — A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents , 2004, Annals of Mathematics and Artificial Intelligence.

[42]  Hector J. Levesque,et al.  Incremental execution of guarded theories , 2001, ACM Trans. Comput. Log..

[43]  Paolo Mancarella,et al.  Declarative Agent Control , 2004, CLIMA.

[44]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[45]  Agostino Poggi,et al.  JADE: a FIPA2000 compliant agent development environment , 2001, AGENTS '01.

[46]  Murray Shanahan.  Event Calculus Planning Revisited , 1997, ECP.

[47]  Paolo Mancarella,et al.  Abductive Logic Programming with CIFF: System Description , 2004, JELIA.