Toward Decision-Theoretic CIRCA with Application to Real-Time Computer Security Control
Vu Ha, David J. Musliner · 2002
We report our on-going work toward extending the CIRCA (Cooperative Intelligent Real-Time Control Architecture) with decision-theoretic reasoning capabilities. By explic-itly modeling uncertainty using probabilities, and goals using utilities, the new CIRCA planner can now appeal to the pow-erful decision-theoretic paradigm of maximizing expected utility to find the best plan. We discuss representational and computational issues encountered, as well as a preliminary application in the domain of planning for computer security. The Original CIRCA World Model CIRCA is an architecture for real-time intelligent control. The original CIRCA world model is introduced by Musliner, Durfee, & Shin in (1993; 1995). The CIRCA planner searches for a plan that is guaranteed to be safe, by making