Monitoring and Enactment with Reactive Event Calculus

2010 ◽  
pp. 305-341
Author(s):  
Marco Montali
Keyword(s):  
Event Calculus

scholarly journals CHICA, An Abductive Planning System Based on Event Calculus

1995 ◽  
Vol 5 (5) ◽  
pp. 579-602 ◽  
Author(s):  
LODE MISSIAEN ◽  
MAURICE BRUYNOOGHE ◽  
MARC DENECKER
Keyword(s):  
Planning System ◽  
Event Calculus

Service Composition and Execution Plan Generation of Composite Semantic WEB Services Using Abductive Event Calculus

2015 ◽  
Vol 32 (4) ◽  
pp. 711-737 ◽  
Author(s):  
D. Paulraj ◽  
S. Swamynathan ◽  
Daniel Chandran ◽  
K. Balasubadra ◽  
M. Vigilson Prem
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Service Composition ◽  
Semantic Web Services ◽  
Event Calculus ◽  
Execution Plan ◽  
Plan Generation

Formalizing commitments using the event calculus and RuleML

2021 ◽  
pp. 1-26
Author(s):  
Joost de Kruijff ◽  
Hans Weigand
Keyword(s):  
Deontic Logic ◽  
Autonomous Agents ◽  
Formal Logic ◽  
Smart Contracts ◽  
Event Calculus

Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological perspective, smart contracts create and automate the fulfillment of social commitments between actors. Whereas traditional deontic logic is used to make a legal determination in contractual multi-actor interactions, this paper focuses on the consequences of these actions resulting from that determination, thereby shifting the focus from monitoring to execution. The interactions between actors and the consequences in terms of commitments have not yet been formalized for smart contracts. The perspective of smart contracts is interesting, since they are considered to be autonomous agents, able to generate automated actions. We use the Event Calculus as a formal logic to represent and reason about the effects of these automated actions and the resulting commitments. Since the Event Calculus deals with local events and the consideration of time, this approach enables the uniform representation of commitments, including their operations and reasoning rules.

Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home

2008 ◽  
pp. 81-89 ◽  
Author(s):  
Liming Chen ◽  
Chris Nugent ◽  
Maurice Mulvenna ◽  
Dewar Finlay ◽  
Xin Hong ◽  
...  
Keyword(s):  
Smart Home ◽  
Event Calculus

A probabilistic interval-based event calculus for activity recognition

2019 ◽  
Vol 89 (1-2) ◽  
pp. 29-52
Author(s):  
Alexander Artikis ◽  
Evangelos Makris ◽  
Georgios Paliouras
Keyword(s):  
Activity Recognition ◽  
Event Calculus
Sign in / Sign up

Export Citation Format

Share Document