Name
Abstract | ||
|---|---|---|
Since its introduction, the Event Calculus (ℰ𝒞) 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 ℰ𝒞 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 overcome this issue. However, they lack a strong formal basis and cannot guarantee formal properties. As a consequence, the applicability of ℰ𝒞 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 ℰ𝒞, called ℛℰ𝒞, 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. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.3233/FI-2010-361 | Fundam. Inform. |
Keywords | Field | DocType |
formal property,excellent framework,time reactivity,logic-based axiomatization,solid formal background,logic-based formalization,event processing,reactive calculus,logic-based framework,goal-oriented reasoning,strong formal basis,event calculus,computational logic | Computational logic,Event calculus,Programming language,Computer science,Proof calculus,Complex event processing,Implementation,Theoretical computer science,Abductive logic programming,Non-monotonic logic,Logic programming | Journal |
Volume | Issue | ISSN |
105 | 1-2 | 0169-2968 |
Citations | PageRank | References |
22 | 0.85 | 25 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| federico chesani | 1 | 801 | 46.41 |
| Paola Mello | 2 | 444 | 21.33 |
| Marco Montali | 3 | 1280 | 99.36 |
| Paolo Torroni | 4 | 1167 | 80.57 |