- Authors
- Maja Milicic
- title
- Action, Time and Space in Description Logics
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-ds-1220871815669-38852
- Date of submission
- 08.04.2008
- Date of defense
- 19.06.2008
- Abstract (EN)
- Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms designed to represent and reason about static conceptual knowledge in a semantically well-understood way. On the other hand, standard action formalisms are KR formalisms based on classical logic designed to model and reason about dynamic systems. The largest part of the present work is dedicated to integrating DLs with action formalisms, with the main goal of obtaining decidable action formalisms with an expressiveness significantly beyond propositional. To this end, we offer DL-tailored solutions to the frame and ramification problem. One of the main technical results is that standard reasoning problems about actions (executability and projection), as well as the plan existence problem are decidable if one restricts the logic for describing action pre- and post-conditions and the state of the world to decidable Description Logics. A smaller part of the work is related to decidable extensions of Description Logics with concrete datatypes, most importantly with those allowing to refer to the notions of space and time.
- Keywords (DE)
- Wissensrepräsentation, Beschreibungslogiken
- Keywords (EN)
- Knowledge Representation, Description Logics, Action Formalisms, Computational Complexity
- Classification (DDC)
- 004
- Classification (RVK)
- ST 125
- Examiner
- Prof. Dr.-Ing. Franz Baader
- Prof. Dr. rer. nat. Bernhard Nebel
- Prof. Dr. rer. nat. habil. Michael Thielscher
- Supervisor
- Prof. Dr.-Ing. Franz Baader
- Publishing house
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-ds-1220871815669-38852
- Qucosa date of publication
- 08.09.2008
- Document type
- doctoral_thesis
- Document language
- English
- licence