Event Calculus and Probabilistic Knowledge Base of Conditional Events in Complex Systems Management
Francesco Rago · ASME Press eBooks · 2007
Technological environments are growing in complexity and their governance is difficult. To improve the timeliness and accuracy of nonhuman decision-making in a system environment we are faced with an array of crucial problems, including how to handle large amounts of incoming and uncertain information from disparate sources coded as events of different type. Artificial Intelligence has developed theories to manage events and actions (McCarthy, Kowalski) and we present an event calculus formalism featuring events and action integrated with temporal logic. We have designed and realized an algorithm that permits to a software system to be able to forecast future actions...