A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco

doi:10.1007/978-3-642-29113-5_13

Cited by 5 publications

(4 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Reactive Event Calculus (REC) stems from SCIFF [57,58,59] and exploits the idea that, every time a new event (or set of events) is delivered to an agent, it must react by extending the narrative and by consequently extending and revising previously computed results. REC axiomatization can be based on Abductive Logic Programming (ALP), or alternatively on a lightweight form of Cached Event Calculus (CEC) [60], that exploits assert and retract predicates to cache and revise the maximal validity intervals of fluents.…”

Section: Related Workmentioning

confidence: 99%

Self-checking Logical Agents

Costantini¹

2021

Preprint

View full text Add to dashboard Cite

This paper presents a comprehensive framework for run-time selfchecking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified by using an agent-oriented interval temporal logic defined to this purpose. We define syntax, semantics and pragmatics for this new logic, specifically tailored for application to agents. In the resulting framework, we encompass and extend our past work.

show abstract

Section: Related Workmentioning

confidence: 99%

Self-checking Logical Agents

Costantini¹

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…Finally, in [16], we used the results discussed in [17] to enhance agent-based simulation, but with no support for conditional commitment. A retrospective on our research done on the REC in relation with social commitments can be found in [63]. Here we present a comprehensive axiomatization of the commitments, where significant extensions (some of them proposed in previous works, while other newly introduced in this paper) have been taken into account, and supported within the framework.…”

Section: Introductionmentioning

confidence: 98%

Representing and monitoring social commitments using the event calculus

Chesani

Mello

Montali

et al. 2012

Auton Agent Multi-Agent Syst

Self Cite

View full text Add to dashboard Cite

“…Literature about commitment-based protocols static and run-time verification is so wide as to make it impossible to mention all relevant work here. About run-time verification we mention [9,10,11], about static (a priori) verification we mention (among many) [12,13,14,15]. In [5], a semantics is proposed for the most common FIPA primitives [16] in terms of commitments.…”

Section: Introductionmentioning

confidence: 99%

Committment-Based Data-Aware Multi-Agent-Contexts Systems

Costantini¹

2014

Preprint

View full text Add to dashboard Cite

Communication and interaction among agents have been the subject of extensive investigation since many years. Commitment-based communication, where communicating agents are seen as a debtor agent who is committed to a creditor agent to bring about something (possibly under some conditions) is now very well-established. The approach of DACMAS (Data-Aware Commitmentbased MAS) lifts commitment-related approaches proposed in the literature from a propositional to a first-order setting via the adoption the DRL-Lite Description Logic. Notably, DACMASs provide, beyond commitments, simple forms of inter-agent event-based communication. Yet, the aspect is missing of making a MAS able to acquire knowledge from contexts which are not agents and which are external to the MAS. This topic is coped with in Managed MCSs (Managed Multi-Context Systems), where however exchanges are among knowledge bases and not agents. In this paper, we propose the new approach of DACmMCMASs (Data-Aware Commitment-based managed Multi-Context MAS), so as to obtain a commitment-based first-order agent system which is able to interact with heterogeneous external information sources. We show that DACmMCMASs retain the nice formal properties of the original approaches.

show abstract

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

Cited by 5 publications

References 20 publications

Self-checking Logical Agents

Self-checking Logical Agents

Representing and monitoring social commitments using the event calculus

Committment-Based Data-Aware Multi-Agent-Contexts Systems

Contact Info

Product

Resources

About