Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

In this paper we address the problem of planning in rich domains, where knowledge representation is a key aspect for managing the complexity and size of the planning domain. We follow the approach of Description Logic (DL) based Dynamic Knowledge Bases, where a state of the world is represented conc...

Full description

Bibliographic Details
Main Authors: Valerio Senni, Michele Stawowy
Format: Article
Language:English
Published: Open Publishing Association 2014-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1407.7934v1