Explaining Transition Systems through Program Induction


Explaining and reasoning about processes which underlie observed black-box phenomena enables the discovery of causal mechanisms, derivation of suitable abstract representations and the formulation of more robust predictions. We propose to learn high level functional programs in order to represent abstract models which capture the invariant structure in the… (More)


4 Figures and Tables

Cite this paper

@article{Penkov2017ExplainingTS, title={Explaining Transition Systems through Program Induction}, author={Svetlin Penkov and Subramanian Ramamoorthy}, journal={CoRR}, year={2017}, volume={abs/1705.08320} }