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

  • Edgardo Ferretti
  • Marcelo Errecalde
  • Alejandro J. García
  • Guillermo R. Simari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4483)

Abstract

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.

Keywords

Mobile Robot Knowledge Representation Strict Rule Strong Negation Defeasible Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    K-Team: Khepera 2 (2002), http://www.k-team.com
  2. 2.
    Michel, O.: Webots: Professional mobile robot simulation. Journal of Advanced Robotics Systems 1(1), 39–42 (2004), http://www.ars-journal.com/ars/SubscriberArea/Volume1/39-42.pdf Google Scholar
  3. 3.
    Gat, E.: On three-layer architectures. In: Artificial Intelligence and Mobile Robots (1998)Google Scholar
  4. 4.
    Estlin, T., et al.: Decision-making in a robotic architecture for autonomy. In: International Symposium, on AI, Robotics and Automation for Space (2001)Google Scholar
  5. 5.
    Rotstein, N.D., García, A.J.: Defeasible reasoning about beliefs and desires. In: Proc. of the 11th Int. Workshop on Non-Monotonic Reasoning, pp. 429–436 (2006)Google Scholar
  6. 6.
    Ferretti, E., Errecalde, M.: Khedelp: A framework to support defeasible logic programming for the khepera robots. In: ISRA06 (2006)Google Scholar
  7. 7.
    García, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory and Practice of Logic Programming (2004)Google Scholar
  8. 8.
    Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence (1992)Google Scholar
  9. 9.
    Lifschitz, V.: Foundations of logic programming. In: Principles of Knowledge Representation, CSLI, Stanford (1996)Google Scholar
  10. 10.
    Parsons, S., et al.: Robots with the Best of Intentions. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 329–338. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  11. 11.
    Bench-Capon, T.J.M., Modgil, S., Atkinson, K.: Argumentation for Decision Support. In: Bressan, S., Küng, J., Wagner, R. (eds.) DEXA 2006. LNCS, vol. 4080, pp. 822–831. Springer, Heidelberg (2006)Google Scholar
  12. 12.
    Kakas, A., Moraitis, P.: Argumentation based decision making for autonomous agents. In: AAMAS (2003)Google Scholar
  13. 13.
    Parsons, S., Fox, J.: Argumentation and decision making: A position paper. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS, vol. 1085, Springer, Heidelberg (1996)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Edgardo Ferretti
    • 1
  • Marcelo Errecalde
    • 1
  • Alejandro J. García
    • 2
    • 3
  • Guillermo R. Simari
    • 3
  1. 1.Laboratorio de Investigación y Desarrollo en Inteligencia Computacional, Universidad Nacional de San LuisArgentina
  2. 2.Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) 
  3. 3.Department of Computer Science and Engineering, Universidad Nacional del Sur, Bahía BlancaArgentina

Personalised recommendations