A Modal Logic Framework for an A.I. Planning System

摘要

A formal development of planning systems is constructed in this paper. The problem solving system is developed in the framework of a modal logic and the concept of weakest precondition is introduced to guide the solution procedure. The procedure is a generalization of several well-known problem solving algorithms. Moreover, there may be some gains in practicality of the algorithm resulting from this extension, which is illustrated by an example. (Author)