Using Dynamic Logic Programming to Obtain Agents with Declarative Goals – preliminary report

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 AnswerSet 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 are obtained by using such representation.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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