ISSN:
1573-8787
Keywords:
Single agent planning
;
knowledge representation
;
ontology
;
formalization
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
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 provideintelligent 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 thekowledge andinformation that must berepresented rather than onplan generation strategies.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01976184
