Abstract
For a service robot to perform a given task without human intervention, the robot must be able to make a plan, i.e., a sequence of high-level actions and execute it autonomously. Recently, a few researchers have investigated Description Logic-based task planning techniques. In this paper we discuss our implementation methods of Description Logic-based task planning and execution. Some knowledge representation scheme is investigated and a simple planning algorithm is conceived. Some techniques are conceived to bridge the gap between the symbolic world and the program world in order to execute the task plan. We also explain our experiments and the results we have got.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)
Stollberg, M., Rhomberg, F.: Survey on Goal-driven architecture. Technical Report: DERI-TR-2006-06-04, Digital Enterprise Research Institute, DERI (2006)
Galindo, C., Fernandez-Madrigal, J., Gonzalez, J., Saffiotti, A.: Robot task planning using semantic maps. Robotics and Autonomous Systems 56(11), 955–966 (2008)
Wu, X., Zeng, G., Han, F., Wang, R.: Goal representation and Reasoning based on Description Logics(DLs). In: International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2007 (2007)
De Giacomo, G., Iocchi, L., Nardi, D., Rosati, R.: A theory and implementation of cognitive mobile robots. J. of Logic and Computation 9(5), 759–785 (1999)
Baader, F., Lutz, C., Miličić, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: 20th National Conference on Artificial Intelligence, AAAI 2005 (2005)
Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3-4), 189–208 (1971)
Miličić, M.: Complexity of planning in action formalisms based on description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 408–422. Springer, Heidelberg (2007)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
OWL: Web Ontology Language Reference. W3C (2004), http://www.w3c.org/TR/owl-ref/
SWRL: A Semantic Web Rule Language combining OWL and RuleML. W3C (2004), http://www.w3c.org/Submission/SWRL/
Hugues, L., Bredeche, N., Futurs, T.I.: Simbad: an Autonomous Robot Simulation Package for Education and Research. In: Nolfi, S., et al. (eds.) SAB 2006. LNCS (LNAI), vol. 4095, pp. 831–842. Springer, Heidelberg (2006)
Horridge, M., Bechhofer, S.: The OWL API: A Java API for working with OWL 2 ontologies. In: OWL: Experiences and Directions, OWLED 2009 (2009)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Semantics 5(2), 51–53 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cho, J., Kim, H., Sohn, J. (2010). Implementing Automated Robot Task Planning and Execution Based on Description Logic KB. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds) Simulation, Modeling, and Programming for Autonomous Robots. SIMPAR 2010. Lecture Notes in Computer Science(), vol 6472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17319-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-17319-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17318-9
Online ISBN: 978-3-642-17319-6
eBook Packages: Computer ScienceComputer Science (R0)