Skip to main content

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

TitleA Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Publication TypeBook Chapter
Year of Publication2012
AuthorsTorroni, P., F. Chesani, P. Mello, and M. Montali
EditorSakama, C., S. Sardina, W. Vasconcelos, and M. Winikoff
Book TitleDeclarative Agent Languages and Technologies IX
Series TitleLecture Notes in Computer Science
Volume7169
Pagination120-127
PublisherSpringer Berlin / Heidelberg
ISBN Number978-3-642-29112-8
Abstract

Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition in which we proposed a layered architecture for modeling and reasoning about social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to diverse commitment theories, and expressive enough to model realistic scenarios. We grounded the framework on two formalisms: the Reactive Event Calculus (REC) and the Commitment Modeling Language (CML). In this retrospective, we review recent developments of this line of work, and discuss our contribution in a broader context of related research.

URLhttp://dx.doi.org/10.1007/978-3-642-29113-5_13