A modal temporal logic and its models underlying variants of planning algorithms

The focus of the paper is on the introduction of some modal temporal logic and its application to knowledge processing under the particularly difficult circumstances of disturbed complex dynamic processes. The development of this logic has been driven by the overall approach to knowledge-based process supervision and control. Within this comprehensive approach, therapy control is playing a crucial role. The therapy control concept comprises the generation of therapy or repair plans, plan execution and constraint monitoring and includes plan revision. The incompleteness and vagueness of available information about an accidentally disturbed process requires a particularly tailored logical approach. The basic concepts are introduced and exploited for developing a collection of planning algorithms properly exceeding previous approaches.