Argumentation-based scene interpretation using defeasible logic programming

In an agent system that needs to operate in a real world, the problem of maintaining a consistent world model in the face of unreliable, incomplete and inconsistent sensory data should be solved. In this paper, we present an approach that addresses this problem by applying an argumentation-based scene interpretation framework for accurately modelling and representing the observations and beliefs of an agent. Our approach is based on temporal and probabilistic defeasible logic programming for reasoning. The performance of our approach is evaluated on simulation experiments in the Stage Robot Simulator. We also show that our approach is applicable to real world scenarios with an autonomous Pioneer 3-AT robot.

[1]  Guillermo Ricardo Simari,et al.  A logic programming framework for possibilistic argumentation: Formalization and logical properties , 2008, Fuzzy Sets Syst..

[2]  Hulya Yalcin,et al.  Extracting Spatial Relations Among Objects for Failure Detection , 2013, KIK@KI.

[3]  Henrik I. Christensen,et al.  Efficient Organized Point Cloud Segmentation with Connected Components , 2013 .

[4]  Richard Vaughan,et al.  Massively multi-robot simulation in stage , 2008, Swarm Intelligence.

[5]  Jos Elfring,et al.  Semantic world modeling using probabilistic multiple hypothesis anchoring , 2013, Robotics Auton. Syst..

[6]  Guido Governatori,et al.  Temporal Extensions to Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

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

[8]  Lluis Godo,et al.  Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights , 2012, JELIA.

[9]  Anthony Hunter,et al.  An inquiry dialogue system , 2008, Autonomous Agents and Multi-Agent Systems.

[10]  Guido Governatori,et al.  Towards a model of UAVs navigation in urban canyon through defeasible logic , 2013, J. Log. Comput..

[11]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[12]  Guillermo Ricardo Simari,et al.  An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment , 2007, LPNMR.

[13]  Guillermo Ricardo Simari,et al.  A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[14]  FuaPascal,et al.  Gradient Response Maps for Real-Time Detection of Textureless Objects , 2012 .

[15]  Hulya Yalcin,et al.  Scene Interpretation for Self-Aware Cognitive Robots , 2014, AAAI Spring Symposia.

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