Programming Rational Agents in a Modal Action Logic

  • Authors:

  • Matteo Baldoni;Alberto Martelli;Viviana Patti;Laura Giordano

  • Affiliations:

  • Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera 185, I-10149 Torino, Italy e-mail: baldoni@di.unito.it;Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera 185, I-10149 Torino, Italy e-mail: mrt@di.unito.it;Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera 185, I-10149 Torino, Italy e-mail: patti@di.unito.it;Dipartimento di Informatica, Università degli Studi del Piemonte Orientale, Spalto Marengo, 33, I-15100 Alessandria, Italy e-mail: laura@di.unito.it

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

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.