Programming Rational Agents in GOAL

The agent programming language GOAL is a high-level programming language to program rational agents that derive their choice of action from their beliefsand goals. The language provides the basic building blocks to design and implementrationalagents by meansofa setofprogramming constructs. These programming constructs allow and facilitate the manipulation of an agent’sbeliefs and goals and to structure its decision-making. GOAL agents are called rational because they satisfy a numberof basic rationality constraints and because they decide to perform actions to further their goals based uponareasoning scheme derived from practical reasoning. The programming concepts of belief and goal incorporated into GOAL provide the basis for this form of reasoning and are similarto their common sense counterparts used everyday to explain the actions that we perform. In addition, GOAL provides the means for agents to focus their attention on specic goals and to communicate at the knowledge level. This provides an intuitive basis for writing high-level agent programs. At the same time these concepts and programming constructs have a well-dened, formal semantics. The formal semantics provides the basis for deninga verication framework for GOAL for verifying and reasoning about GOAL agents whichis similar to some of the wellknownagent logics introduced in the literature.

[1]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[2]  Stephen A. Cook,et al.  A Complete Axiomatization for Blocks World , 2002, J. Log. Comput..

[3]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[4]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[5]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

[6]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[7]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

[8]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[9]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[10]  John K. Slaney,et al.  Blocks World revisited , 2001, Artif. Intell..

[11]  D. Davidson.  Actions, Reasons, And Causes , 1980 .

[12]  John McCarthy,et al.  Programs with common sense , 1960 .

[13]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[14]  Koen V. Hindriks,et al.  Modules as Policy-Based Intentions: Modular Agent Programming in GOAL , 2007, PROMAS.

[15]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[16]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[17]  Koen V. Hindriks,et al.  Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming , 2008, DALT.

[18]  Koen V. Hindriks,et al.  A verification framework for agent programming with declarative goals , 2007, J. Appl. Log..

[19]  Malik Ghallab,et al.  Chapter 14 – Temporal Planning , 2004 .

[20]  K. Mani Chandy.  Parallel program design , 1989 .

[21]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

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

[23]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[24]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[25]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[26]  大西 仁,et al.  Pearl, J. (1988, second printing 1991). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan-Kaufmann. , 1994 .

[27]  Fred I. Dretske.  Explaining Behavior: Reasons in a World of Causes , 1990 .

[28]  D. Davidson.  Essays on actions and events , 1980 .

[29]  Koen V. Hindriks,et al.  Exploring Heuristic Action Selection in Agent Programming , 2009, ProMAS.

[30]  Peter Jackson,et al.  Introduction to expert systems , 1986 .

[31]  Judea Pearl,et al.  Chapter 2 – BAYESIAN INFERENCE , 1988 .

[32]  Koen V. Hindriks,et al.  Agent programming with temporally extended goals , 2009, AAMAS.

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

[34]  Mehdi Dastani,et al.  Goals in conflict: semantic foundations of goals in agent programming , 2009, Autonomous Agents and Multi-Agent Systems.

[35]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[36]  Koen V. Hindriks,et al.  GOAL Agents Instantiate Intention Logic , 2008, JELIA.

[37]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[38]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[39]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

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

[41]  Koen V. Hindriks,et al.  Combining Multiple Knowledge Representation Technologies into Agent Programming Languages , 2008, DALT.