A contextual reading of conditional commitments

Authors:
Juan Manuel Serrano;Sergio Saugar;Rosario Laurendi;Francesco Buccafurri
Affiliations:
University Rey Juan Carlos, Madrid, Spain, email: juanmanuel.serrano@urjc.es, sergio.saugar@urjc.es;University Rey Juan Carlos, Madrid, Spain, email: juanmanuel.serrano@urjc.es, sergio.saugar@urjc.es;DIMET --Universita' Mediterranea di Reggio Calabria, Italy, email: rosario.laurendi@unirc.it, bucca@unirc.it;DIMET --Universita' Mediterranea di Reggio Calabria, Italy, email: rosario.laurendi@unirc.it, bucca@unirc.it
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 5
Cited 0

A logic programming approach to knowledge-state planning, II: the DLVk system

Artificial Intelligence
Agent communication and artificial institutions

Autonomous Agents and Multi-Agent Systems
A modular action description language for protocol composition

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Representing and reasoning about commitments in business processes

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Semantical considerations on dialectical and practical commitments

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational notion of social context, in such a way that conditional commitments are represented as rules in context. This approach enables the manipulation of conditional commitments in terms of the manipulation of the social interactions which provide their social contexts. Moreover, it allows the programmer to exploit the ASP metatheory underlying action language K to analyze, simplify and transform commitment-based protocols.