DMCA
Programming Rational Agents in a Modal Action Logic (2004)
| Venue: | Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation |
| Citations: | 36 - 30 self |
BibTeX
@ARTICLE{Baldoni04programmingrational,
author = {Matteo Baldoni and Alberto Martelli and Viviana Patti and Laura Giordano},
title = {Programming Rational Agents in a Modal Action Logic},
journal = {Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation},
year = {2004},
volume = {41},
pages = {207--257}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
Keyphrases
rational agent complex action modal action logic conditional plan proof procedure planning problem persistency assumption frame problem modal inclusion axiom agent behavior adaptive web-based system non-monotonic solution dynamic domain incomplete knowledge abductive characterization logic programming setting temporal projection modal approach
