Programming Rational Agents in a Modal Action Logic

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.

[1]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[2]  Andreas Herzig,et al.  Modal Tableaux for Reasoning About Actions and Plans , 1997, ECP.

[3]  Frank Dignum,et al.  Issues in Agent Communication: An Introduction , 2000, Issues in Agent Communication.

[4]  Cristina Baroglio,et al.  Using a rational agent in an adaptive web-based tutoring system , 2002 .

[5]  Laura Giordano,et al.  Reasoning about Communicating Agents in the Semantic Web , 2003, PPSWR.

[6]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[7]  Peter Brusilovsky,et al.  Methods and techniques of adaptive hypermedia , 1996, User Modeling and User-Adapted Interaction.

[8]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[9]  Laura Giordano,et al.  Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach , 2001, ICTCS.

[10]  Hector J. Levesque,et al.  On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.

[11]  Danny De Schreye,et al.  Representing Incomplete Knowledge in Abductive Logic Programming , 1993, J. Log. Comput..

[12]  Fahiem Bacchus,et al.  A Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2002, AIPS.

[13]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[14]  Giuseppe De Giacomo,et al.  Moving a Robot: The KR&R Approach at Work , 1996, KR.

[15]  Paolo Torroni,et al.  Dialogues for Negotiation: Agent Varieties and Dialogue Sequences , 2001, ATAL.

[16]  Alberto Martelli,et al.  Reasoning about Conversation Protocols in a Logic-Based Agent Language , 2003, AI*IA.

[17]  Giuseppe De Giacomo,et al.  Minimal Knowledge Approach to Reasoning about Actions and Sensing , 1999, Electron. Trans. Artif. Intell..

[18]  Cristina Baroglio,et al.  Structureless, intention-guided web sites: planning based adaptation , 2001, HCI.

[19]  Laura Giordano,et al.  A Tableau for Multimodal Logics and Some (Un)Decidability Results , 1998, TABLEAUX.

[20]  Matteo Baldoni,et al.  Normal multimodal logics with interaction axioms , 2000 .

[21]  Hector J. Levesque,et al.  Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.

[22]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[23]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[24]  Jorge Lobo,et al.  Adding Knowledge to the Action Description Language A , 1997, AAAI/IAAI.

[25]  South Branch.  V.A.1 , 2002 .

[26]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[27]  Giuseppe De Giacomo,et al.  Planning with Sensing for a Mobile Robot , 1997, ECP.

[28]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[29]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[30]  M. Baldoni,et al.  A Tableau Calculus for Multimodal Logics and Some ( Un ) Decidability Results , 1998 .

[31]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[32]  Laura Giordano,et al.  Ramification and causality in a modal action logic , 2000, J. Log. Comput..

[33]  Cristina Baroglio,et al.  Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems , 2003 .

[34]  Tran Cao Son,et al.  Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information , 1997, ILPS.

[35]  Helmut Prendinger,et al.  Reasoning about action and change , 1996, J. Log. Lang. Inf..

[36]  Camilla B. Schwind.  A Logic Based Framework for Action Theories , 1996 .

[37]  Peter Brusilovsky,et al.  Adaptive Hypermedia , 2001, User Modeling and User-Adapted Interaction.

[38]  M. Baldoni.  Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension , 1998 .

[39]  Cristina Baroglio,et al.  Programming Goal-Driven Web Sites Using an Agent Logic Language , 2001, PADL.

[40]  Laura Giordano,et al.  An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming , 1996, NMELP.

[41]  Maurizio Lenzerini,et al.  PDL-based framework for reasoning about actions , 1995, AI*IA.

[42]  Alberto Martelli,et al.  Reasoning about Self and Others: Communicating Agents in a Model Action Logic , 2003, ICTCS.