Therapy Plan Generation in Complex Dynamic Environments

There has been developed a methodology for the automatic synthesis of therapy plans for complex dynamic systems. An algorithm has been implemented and testet. This is the core of some control synthesis module which is embedded in a larger knowledge-based system for control, diagnosis and therapy. There are several applications.The approach is based on certain concepts of structured graphs. The overall search space is a family of hierarchically structured plans. Together with some goal specification it is forming a so-called rooted family. Simple concepts of graph substitution and rewriting are introduced. The output of the planner is a hierarchically structured plan. This has a uniquely determined normal form taken for execution.Plan generation is interpreted as inductive program synthesis. Indeed, the planner developed and implemented works as an inductive inference machine. It turns out that consistency and executability are two fundamental, but distinguished concepts. When describing the program synthesis algorithm, we focus on constraint monitoring. This is taken as a basis for generating programs being consistent with the underlying technology representation.

ICSI Technical Report tr-94-054

Technical Report