Inference and Prediction of Uncertain Events in Active Systems: A Language and Execution Model.

摘要: This paper presents initial research into a framework (specification and execution model) for inference, prediction, decision making with uncertain events in active systems. work is motivated by the observation that many cases, there gap between reported are used as direct input to an system, actual upon which system must act. motivates work, surveys other efforts this area, preliminary ideas both specification model.