A Modal Logic Framework for an A.I. Planning System.
R. Preston McAfee, Andrew B. Whinston · 1980
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)