Abstract
In recent years, more and more AI systems have been included in various aspects of human life, forming human-machine partnership and collaboration. The term Digital Companion can be referred to the embodiment of AI as human’s co-worker. Explanations why the AI arrived at specific decisions will be highly beneficial in enabling AI to operate more robustly, clarifying to the user why the AI brought certain choices, and significantly increase the trust between humans and AI. A number of symbolic planners exist, which use heuristic search methods to come up with a sequence of actions to reach a certain goal. So far the explanations to why a planner follows certain decision making series are mostly embedded within the planner’s operating style, composing so called glass box explanations. The integration of AI Planning (using PDDL) and Ontologies (using OWL) gives the possibility to use reasoning and generate explanations why, subsequently why-not, certain actions were considered by the AI planner, without relying on the planner’s functionality. An extended knowledge base is proportional to aiding the construct of more precise clarifications of the decision making process of the planner. In this paper we present a general architecture for black box plan explanations independent of the nature of the planner and illustrate the approach of integrating PDDL and OWL, as well as using justifications in ontologies to explain why a planner has taken certain actions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2, 189–208 (1971)
Nebel, B.: On the compilability and expressive power of propositional planning formalisms. J. Artif. Intell. Res. 12, 271–315 (2000)
W3C OWL Working Group: OWL 2 web ontology language: document overview. W3C recommendation, 27 October 2009. https://www.w3.org/TR/owl2-overview/
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press, Cambridge (2007)
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ASWC/ISWC -2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-76298-0_20
Fox, M., Long, D., Magazzeni, D.: Explainable planning, clinical orthopaedics and related research (CoRR) (2017)
Balakirsky, S., Kootbally, Z.: An ontology based approach to action verification for agile manufacturing. In: 2nd International Coonference on Robot Intelligence Technology and Application (2013)
Klusch, M., Gerber, A., Schmidt, M.: Semantic web service composition planning with OWLS-Xplan. In: 1st International AAAI Fall Symposium on Agents and the Semantic Web (2005)
Mehdi, G., Brandt, S., Roshchin, M., Runkler, T.: Towards semantic reasoning in knowledge management systems. In: Mercier-Laurent, E., Boulanger, D. (eds.) AI4KM 2016. IAICT, vol. 518, pp. 132–146. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92928-6_9
Gil, Y.: Description logics and planning. AI Mag. 26(2), 73 (2005)
Steven, M.: LaValle: Planning Algorithms. Cambridge University Press, Cambridge (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Gocev, I., Grimm, S., Runkler, T.A. (2018). Explanation of Action Plans Through Ontologies. In: Panetto, H., Debruyne, C., Proper, H., Ardagna, C., Roman, D., Meersman, R. (eds) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. OTM 2018. Lecture Notes in Computer Science(), vol 11230. Springer, Cham. https://doi.org/10.1007/978-3-030-02671-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-030-02671-4_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02670-7
Online ISBN: 978-3-030-02671-4
eBook Packages: Computer ScienceComputer Science (R0)