Results 21 -
27 of
27
IOS Press A Logic-Based, Reactive Calculus of Events
"... Abstract. Since its introduction, the Event Calculus (EC) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its formalization inside logic-based frameworks has been mainly based on backward, goal-oriented r ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Since its introduction, the Event Calculus (EC) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its formalization inside logic-based frameworks has been mainly based on backward, goal-oriented reasoning: given a narrative (also called execution trace) and a goal, logic-based formalizations of EC focus on proving the goal, i.e., establishing if a property (called fluent) holds. These approaches are therefore unsuitable in dynamic environments, where the narrative typically evolves over time: indeed, each occurrence of a new event requires to restart the reasoning process from scratch. Ad-hoc, procedural methods and implementations have been then proposed to over-come this issue. However, they lack a strong formal basis and cannot guarantee formal properties. As a consequence, the applicability of EC has been somehow limited in large application domains such as run-time monitoring and event processing, which require at the same time reactivity features as well as formal properties to provide guarantees about the computed response. We overcome the highlighted issues by proposing a Reactive and logic-based axiomatization of EC, called REC, on top of the SCIFF Abductive Logic Programming framework. Our solution exhibits the features of a reactive verification facility, while maintaining a solid formal background.
reasoning on temporal clinical data for therapeutic assessments, and modeling
, 2006
"... doi:10.1016/j.artmed.2006.10.001tasks, such as monitoring intensive care patients, providing treatments for chronic patients, as well as planning and scheduling clinical routine activities within complex healthcare organizations. Methodology: The authors jointly identified significant research areas ..."
Abstract
- Add to MetaCart
doi:10.1016/j.artmed.2006.10.001tasks, such as monitoring intensive care patients, providing treatments for chronic patients, as well as planning and scheduling clinical routine activities within complex healthcare organizations. Methodology: The authors jointly identified significant research areas based on their importance as for temporal representation and reasoning issues; the subjects were considered to be promising topics of future activity. Every subject was addressed in detail by one or two authors and then discussed with the entire team to achieve a consensus about future fields of research.Temporal representation and reasoning in medicine: Research directions and challenges
Temporal Reasoning in Propositional Interval Neighborhood Logic
"... Interval-based temporal reasoning is an important field of various areas of Computer Science and Artificial Intelligence, such as planning and natural language processing. In this paper we show that the satisfiability problem for one of the most important formalisms for interval-based reasoning, nam ..."
Abstract
- Add to MetaCart
(Show Context)
Interval-based temporal reasoning is an important field of various areas of Computer Science and Artificial Intelligence, such as planning and natural language processing. In this paper we show that the satisfiability problem for one of the most important formalisms for interval-based reasoning, namely Allen’s Interval Algebra, can be reduced to the satisfiability problem for Propositional Neighborhood Logic. 1.
