Back to Search Start Over

Programming Rational Agents in a Modal Action Logic.

Authors :
Matteo Baldoni
Alberto Martelli
Viviana Patti
Laura Giordano
Source :
Annals of Mathematics & Artificial Intelligence; Aug2004, Vol. 41 Issue 2-4, p207-257, 51p
Publication Year :
2004

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. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
10122443
Volume :
41
Issue :
2-4
Database :
Complementary Index
Journal :
Annals of Mathematics & Artificial Intelligence
Publication Type :
Academic Journal
Accession number :
20166196