Execution Monitoring of High-Level Programs.
Mikhail Soutchanski · 1999
My interest to interconnections between the hybrid systems and AI stems from 1) the well known perspective [3] that both planning and control address a similar problem: choos-ing actions to influence a process, based on some model of that process, and (2) from my research project on execution monitoring of high-level programs (programs specify plans to achieve certain goals as explained below). In my research, I look to an expressive and well studied knowledge repre-sentation framework for modeling processes called the sit-uation calculus. The situation calculus is a predicate logic language for representing and reasoning about actions and properties of dynamically changing worlds. It is employed to model continuous processes and physical systems [8; 9; 4], to diagnose what happened to the system [7] and to provide the foundations for a logic programming language Golog [9;