What happened to my commitment? exception diagnosis among misalignment and misbehavior

Authors:
Özgür Kafali;Federico Chesani;Paolo Torroni
Affiliations:
Department of Computer Engineering, Boğaziçi University, Bebek, İstanbul, Turkey;DEIS, University of Bologna, Bologna, Italy;DEIS, University of Bologna, Bologna, Italy
Venue:
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Year:
2010

Citing 7
Cited 5

A logic-based calculus of events

New Generation Computing
Flexible protocol specification and execution: applying event calculus planning using commitments

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Temporal representation and reasoning in artificial intelligence: Issues and approaches

Annals of Mathematics and Artificial Intelligence
Multiagent commitment alignment

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Commitment tracking via the reactive event calculus

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Social commitments in time: satisfied or compensated

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Detecting exceptions in commitment protocols: discovering hidden states

LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems

Collaborative diagnosis of exceptions to contracts

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Diagnosing commitments: delegation revisited

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Social commitment delegation and monitoring

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Reasoning about Exceptions to Contracts

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A retrospective on the reactive event calculus and commitment modeling language

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies misalignment of commitments associated with temporal constraints. We propose a diagnosis algorithm where agents reason based on the current states of their commitments. We also provide an alignment policy that can be applied by an agent when the diagnosis algorithm identifies a misalignment. We formalize a delivery process from e-commerce using REC, and present a case study to demonstrate the workings of our approach.