A Dynamic Logic Programming Based System for Agents with Declarative Goals

Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of Answer-Set Programming that allows for the representation of knowledge that changes with time, to represent the goals of the agent and their evolution, in a simple, declarative, fashion. In this paper, we represent agent's goals as a DLP, discuss and show how to represent some situations where the agent should adopt or drop goals, and investigate some properties that emerge from using such representation.

[1]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[2]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

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

[4]  Mehdi Dastani,et al.  Programming Multi-Agent Systems in 3APL , 2005, Multi-Agent Programming.

[5]  Fahiem Bacchus,et al.  Utility Independence in a Qualitative Decision Theory , 1996, KR.

[6]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[7]  Frank Dignum,et al.  Intentional Agents and Goal Formation , 1997, ATAL.

[8]  Álvaro F. Moreira,et al.  Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication , 2003, DALT.

[9]  José Júlio Alferes,et al.  $$\mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A}$$- A Dynamic Logic Programming Agent Architecture , 2001 .

[10]  Luís Moniz Pereira,et al.  Generalizing Updates: From Models to Programs , 1997, LPKR.

[11]  Michael Wooldridge,et al.  Multi-Agent systems: an introduction , 2001 .

[12]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[13]  Nicholas R. Jennings,et al.  Applied Artificial Intelligence: An International Journal , 2022 .

[14]  João Leite,et al.  Adding Knowledge Updates to 3APL , 2006, PROMAS.

[15]  Frank Dignum,et al.  Dynamics of Declarative Goals in Agent Programming , 2004, DALT.

[16]  Mehdi Dastani,et al.  Semantics of declarative goals in agent programming , 2005, AAMAS '05.

[17]  João Leite On Some Differences Between Semantics of Logic Program Updates , 2004, IBERAMIA.

[18]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[19]  José Júlio Alferes,et al.  The Refined Extension Principle for Semantics of Dynamic Logic Programming , 2005, Stud Logica.

[20]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[21]  José Júlio Alferes,et al.  On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints , 2001, EPIA.