论文信息 - Agent Programming in Dribble: From Beliefs to Goals with Plans

Agent Programming in Dribble: From Beliefs to Goals with Plans

In research on agents, besides architectures, the areas of agent theories and agent programming languages are distinguished. Theories concern descriptions of (the behaviour of) agents. Agents are often described using logic [8,10]. Concepts that are commonly incorporated in such logics are for instance knowledge, beliefs, desires, intentions, commitments, goals and plans.

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

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

[3] Wolfgang Thomas,et al. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

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

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

[6] F. S. deBoer. Agent Programming in 3APL , 1999 .

[7] John-Jules Ch. Meyer,et al. Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.

[8] W. Hoek,et al. Formalising abilities and opportunities of agents , 1998 .

[9] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10] Yoav Shoham,et al. Agent-Oriented Programming , 1992, Artif. Intell..

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

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

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

[14] Koen V. Hindriks,et al. A Formal Embedding of AgentSpeak(L) in 3APL , 1998, Australian Joint Conference on Artificial Intelligence.