A dynamic logic programming based system for agents with declarative goals

Vivek Nigam, João Leite

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies IV
Subtitle of host publication4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
EditorsMatteo Baldoni, Ulle Endriss
Place of PublicationBerlin
PublisherSpringer-Verlag
Pages174-190
Number of pages17
ISBN (Print)9783540689591
DOIs
Publication statusPublished - 2006
Event4th International Workshop on Declarative Agent Languages and Technologies IV, DALT 2006 - Hakodate, Japan
Duration: 8 May 20068 May 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4327 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Workshop on Declarative Agent Languages and Technologies IV, DALT 2006
CountryJapan
CityHakodate
Period8/05/068/05/06

Keywords

  • Logic Program
  • Achievement Goal
  • Stable Model
  • White Wine
  • Belief Base

Fingerprint

Dive into the research topics of 'A dynamic logic programming based system for agents with declarative goals'. Together they form a unique fingerprint.

Cite this