"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.
A retrospective on the reactive event calculus and commitment modeling language
TORRONI, PAOLO;CHESANI, FEDERICO;MELLO, PAOLA;
2012
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
