Toward Decision-Theoretic CIRCA with Application to Real-Time Computer Security Control

Contents

We report our on-going work toward extending the CIRCA (Cooperative Intelligent Real-Time Control Architecture) with decision-theoretic reasoning capabilities. By explicitly modeling uncertainty using probabilities, and goals using utilities, the new CIRCA planner can now appeal to the powerful 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.