Nonmonotonic planning consistency

In this theorem, any proposition p can represent an operator (i.e., an operation step), whereas the situations t and s represent any intermediate state of the process. Although the validity of the theorem is general, its practical utility is confined to monotonic planning with STRIPS-like operators. For example, in nonmonotonic planning the plans are at any point when partially specified and a new mechanism is needed to guarantee that when the partial plan is completed, a given proposition (i.e., a given operation) is still true (i.e., consistent). 

The synthesis of operating procedures for a chemical plant, using nonmonotonic planning ideas, consists of two distinct phases (1) formula-... 

---