Plan simulation using Bayesian networks

We describe the representation language and a set of algorithms that constitute the core of a Plan Simulation and Analysis tool (PSA). The main objective of the PSA is to provide capabilities for the testing and evaluation of sequences of actions in domains characterized by unavoidable uncertainties and difficult trade-offs between resources and objectives. The representation language, called action networks, is a semantically well founded framework for reasoning about actions and change under uncertainty based on probabilistic Bayesian networks. Action networks add primitives to Bayesian networks to represent canonical models of time-dependencies, and controllable variables to represent agents manipulations of the domain. In addition, action networks allow different methods for quantifying the uncertainty in causal relationships, which go beyond traditional probabilistic quantification. Inferences are performed via a set of algorithms for approximate computation of belief update, allowing the user to trade-off computational time for accuracy of the answer