Therapy Plan Generation as Program Synthesis

Abstract

. There has been developed and implemented an algorithm for the automatic synthesis of therapy plans for complex dynamic systems. This algorithm 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 planning algorithm may be understood as an inductive program synthesis procedure. Its fundamentals are introduced and its key ideas are sketched. The dichotomy between executability and consistency is investigated. 1 Motivation and Introduction The main intention of the present paper is to establish a new link between two areas of research: Program Synthesis and Therapy Planning. Thus, the authors wish to advance both areas of research they are active in. For program synthesis, the intended integration may result in new and exciting problems characterized by particular constraints not investigated in the classical approaches, so far. Our approach may widen the view at automat..