An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment

Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic Programming approach with an underlying argumentation based semantics, could be applied in a robotic domain for knowledge representation and reasoning about which task to perform next. At this end, we have selected a simple application domain, consisting of a micro-world environment using real and simulated robots for cleaning tasks.

[1]  Edgardo Ferretti,et al.  KheDeLP: A Framework to Support Defeasible Logic Programming for the Khepera Robots , 2006 .

[2]  V. Lifschitz,et al.  Foundations of Logic Programming , 1997 .

[3]  John Fox,et al.  Argumentation and Decision Making: A Position Paper , 1996, FAPR.

[4]  G. Brewka.  Principles of Knowledge Representation , 1996 .

[5]  Olivier Michel,et al.  Cyberbotics Ltd. Webots™: Professional Mobile Robot Simulation , 2004, ArXiv.

[6]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[7]  Alessandro Saffiotti,et al.  Robots with the Best of Intentions , 1999, Artificial Intelligence Today.

[8]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[9]  E. Gat.  On Three-Layer Architectures , 1997 .

[10]  Trevor J. M. Bench-Capon,et al.  Argumentation for Decision Support , 2006, DEXA.

[11]  Antonis C. Kakas,et al.  Argumentation based decision making for autonomous agents , 2003, AAMAS '03.

[12]  Olivier Michel,et al.  Cyberbotics Ltd. Webots™: Professional Mobile Robot Simulation , 2004 .

[13]  Nicolás D. Rotstein.  Defeasible Reasoning about Beliefs and Desires Defeasible Reasoning About Beliefs and Desires , 2006 .

[14]  Michael Wooldridge,et al.  Artificial Intelligence Today , 1999, Lecture Notes in Computer Science.

[15]  Tara Estlin,et al.  Decision making in a robotic architecture for autonomy , 2001 .

[16]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.