Therapy Plan Generation in Complex Dynamic Environments

TitleTherapy Plan Generation in Complex Dynamic Environments
Publication TypeTechnical Report
Year of Publication1994
AuthorsArnold, O.., & Jantke K.. P.
Other Numbers924

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.

Bibliographic Notes

ICSI Technical Report tr-94-054

Abbreviated Authors

O. Arnold and K. P. Jantke

ICSI Publication Type

Technical Report