Open AccessDescription Logics and Planning
Author(s) -
Gil Yolanda
Publication year - 2005
Publication title -
ai magazine
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v26i2.1814
Subject(s) - computer science , plan (archaeology) , description logic , semantic web , class (philosophy) , ontology , web ontology language , automated planning and scheduling , knowledge management , artificial intelligence , epistemology , philosophy , archaeology , history
This article surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Description logics can reason about the logical definition of a class and automatically infer class‐subclass subsumption relations as well as classify instances into classes based on their definitions. Descriptions of actions, plans, and goals can be exploited during plan generation, plan recognition, or plan evaluation. These techniques should be of interest to planning practitioners working on knowledge‐rich application domains. Another emerging use of these techniques is the semantic web, where current ontology languages based on description logics need to be extended to reason about goals and capabilities for web services and agents.