Programming rational agents in a modal action logic

Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

In this paper we describe a language for reasoning about actions that can be used for modelling and for programming rational agents. We propose a modal approach for reasoning about dynamic domains in a logic programming setting. Agent behavior is specified by means of complex actions which are defined using modal inclusion axioms. The language is able to handle knowledge producing actions as well as actions which remove information. The problem of reasoning about complex actions with incomplete knowledge is tackled and the temporal projection and planning problems is addressed; more specifically, a goal directed proof procedure is defined, which allows agents to reason about complex actions and to generate conditional plans. We give a non-monotonic solution for the frame problem by making use of persistency assumptions in the context of an abductive characterization. The language has been used for implementing an adaptive web-based system.

Lingua originaleInglese
pagine (da-a)207-257
Numero di pagine51
RivistaAnnals of Mathematics and Artificial Intelligence
Volume41
Numero di pubblicazione2-4
DOI
Stato di pubblicazionePubblicato - ago 2004

Fingerprint

Entra nei temi di ricerca di 'Programming rational agents in a modal action logic'. Insieme formano una fingerprint unica.

Cita questo