Agent Programming Language with Incomplete Knowledge - Agentspeak(I)

This paper proposes an agent programming language called AgentSpeak(I). This new language allows agent programs (1) to effectively perform while having incomplete knowledge of the environment, (2) to detect no-longer possible goals and re-plan these goals correspondingly, and (3) to behave reactively to changes of environment. Specifically, AgentSpeak(I) uses default theory as agent belief theory, agent always act with preferred default extension at current time point (i.e. preference may changes over time). A belief change operator for default theory is also provided to assist agent program to update its belief theory. Like other BDI agent programming languages, AgentSpeak(I) uses semantics of transitional system. It appears that the language is well suited for intelligent applications and high level control robots, which are required to perform in highly dynamic environment.

[1]  Thomas Eiter,et al.  Prioritizing Default Logic , 2000, Intellectics and Computational Logic.

[2]  Michael Luck,et al.  Engineering AgentSpeak(L): A Formal Computational Model , 1998, J. Log. Comput..

[3]  Michael Wooldridge,et al.  Reasoning about rational agents MIT Press , 2000 .

[4]  M. Birna van Riemsdijk,et al.  Agent programming in dribble: from beliefs to goals using plans , 2003, AAMAS '03.

[5]  Laura Giordano,et al.  On Cumulative Default Logics , 1994, Artif. Intell..

[6]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[7]  Wayne Wobcke.  Intention and Rationality for PRS-Like Agents , 2002, Australian Joint Conference on Artificial Intelligence.

[8]  Adnan Darwiche,et al.  A Logical Notion of Conditional Independence: Properties and Application , 1997, Artif. Intell..

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

[10]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[11]  Abdul Sattar,et al.  Iterated Belief Change , 2004, Comput. Intell..

[12]  Thomas Andreas Meyer,et al.  Non-Prioritized Ranked Belief Change , 2001, J. Philos. Log..

[13]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

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

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

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

[17]  Randy Goebel,et al.  Belief States as Default Theories: Studies in Non-Prioritized Belief Change , 1998, ECAI.

[18]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[19]  José Júlio Alferes,et al.  Belief Revision in Non-Monotonic Reasoning and Logic Programming , 1996, Fundam. Informaticae.

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

[21]  Torsten Schaub,et al.  Alternative Approaches to Default Logic , 1994, Artif. Intell..

[22]  Frank Dignum,et al.  Programming agent deliberation: an approach illustrated using the 3APL language , 2003, AAMAS '03.

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

[24]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..