Formal model of single agent planning situations
Academic Article
Overview
Identity
Additional Document Info
Other
View All
Overview
abstract
Planning is perhaps the single most important activity in any domain, be it a business enterprise, academics or personal life. However most efforts in a Artificial Intelligence to provide intelligent planners have met with a very limited success. Successful, non-trivial applications are limited to very domain and situation specific cases. A generic component which can serve as a schema or template from which planning aids to any specific domain can be instantiated would be very much useful in building specific planning applications. A formal method for characterizing the needed capabilities of a generic component is required. In this paper we present such a method and illustrate its use through analysis of simple agent planiing situations. The result of this analysis is presented in the form of an ontology, and a formal languags with an associated model theoretic semantics. The results presented can be used as a framework for benchmarking to compare and discriminate between the knowledge/information representation capabilites of different software systems. The results also serve as a model for formalizing the description of a particular class of engineering, business or manufacturing planning activities. The focus of this paper is on the kowledge and information that must be represented rather than on plan generation strategies. 1994 Kluwer Academic Publishers.
