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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K-Team: Khepera 2 (2002), http://www.k-team.com
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
Gat, E.: On three-layer architectures. In: Artificial Intelligence and Mobile Robots (1998)
Estlin, T., et al.: Decision-making in a robotic architecture for autonomy. In: International Symposium, on AI, Robotics and Automation for Space (2001)
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)
Ferretti, E., Errecalde, M.: Khedelp: A framework to support defeasible logic programming for the khepera robots. In: ISRA06 (2006)
García, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory and Practice of Logic Programming (2004)
Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence (1992)
Lifschitz, V.: Foundations of logic programming. In: Principles of Knowledge Representation, CSLI, Stanford (1996)
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)
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)
Kakas, A., Moraitis, P.: Argumentation based decision making for autonomous agents. In: AAMAS (2003)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Ferretti, E., Errecalde, M., García, A.J., Simari, G.R. (2007). An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. In: Baral, C., Brewka, G., Schlipf, J. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2007. Lecture Notes in Computer Science(), vol 4483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72200-7_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-72200-7_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72199-4
Online ISBN: 978-3-540-72200-7
eBook Packages: Computer ScienceComputer Science (R0)