In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We prove that the plan existence problem is decidable for actions described in fragments of ALCQIO. More precisely, we show that its computational complexity coincides with the one of projection for DLs between ACC and ALCQIO if operators contain only unconditional post-conditions. If we allow for conditional post-conditions, the plan existence problem is shown to be in 2-EXPSPACE. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Miličić, M. (2007). Complexity of planning in action formalisms based on description logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4790 LNAI, pp. 408–422). https://doi.org/10.1007/978-3-540-75560-9_30
Mendeley helps you to discover research relevant for your work.