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.
Cite
Text
Arnold and Jantke. "Therapy Plan Generation as Program Synthesis." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_52Markdown
[Arnold and Jantke. "Therapy Plan Generation as Program Synthesis." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/arnold1994alt-therapy/) doi:10.1007/3-540-58520-6_52BibTeX
@inproceedings{arnold1994alt-therapy,
title = {{Therapy Plan Generation as Program Synthesis}},
author = {Arnold, Oksana and Jantke, Klaus P.},
booktitle = {International Conference on Algorithmic Learning Theory},
year = {1994},
pages = {40-55},
doi = {10.1007/3-540-58520-6_52},
url = {https://mlanthology.org/alt/1994/arnold1994alt-therapy/}
}