Access the full text.
Sign up today, get DeepDyve free for 14 days.
P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos (2004)
Tropos: an agent-oriented software development methodologyAuton. Agent. Multi-Ag., 8
NR Jennings, P Faratin, TJ Norman, P O’Brien, B Odgers (2000)
Autonomous agents for business process managementAppl. Artif. Intell., 14
G Lamperti, M Zanella (2003)
An intelligent software environment for diagnosis of discreteevent systemsAppl. Intell., 18
L Chittaro, A Montanari (2000)
Temporal representation and reasoning in artificial intelligence: Issues and approachesAnn. Math. Artif. Intell., 28
N Roos, C Witteveen (2009)
Models and methods for plan diagnosisAuton. Agent. Multi-Ag., 19
MP Singh (1998)
Agent communication languages: rethinking the principlesIEEE Comput., 31
R Kowalski, M Sergot (1986)
A logic-based calculus of eventsNew Gener. Comput., 4
GA Kaminka, M Tambe (2000)
Robust agent teams via socially-attentive monitoringJ. Artif. Intell. Res., 12
MP Singh (1999)
An ontology for commitments in multiagent systems: toward a unification of normative conceptsArtif. Intell. Law, 7
JF Allen (1983)
Maintaining knowledge about temporal intervalsCommun. ACM, 26
M Schroeder, R Schweimeier (2002)
Arguments and misunderstandings: fuzzy unification for negotiating agentsElectr. Notes Theor. Comput. Sci., 70
R Micalizio, P Torasso, G Torta (2006)
On-line monitoring and diagnosis of a team of service robots: a model-based approachAI Commun., 19
T Bylander, D Allemang, MC Tanner, JR Josephson (1991)
The computational complexity of abductionArtif. Intell., 49
PJF Lucas (1998)
Analysis of notions of diagnosisArtif. Intell., 105
AU Mallya, MP Singh (2007)
An algebra for commitment protocolsAuton. Agent. Multi-Ag., 14
M Klein, J Rodriguez-Aguilar, C Dellarocas (2003)
Using domain-independent exception handling services to enable robust open multi-agent systems: the case of agent deathAuton. Agent. Multi-Ag., 7
M Klein, C Dellarocas (2000)
A knowledge-based approach to handling exceptions in workflow systemsComput. Support. Coop. Work, 9
We propose a diagnosis procedure that agents can use to explain exceptions to contract executions. Contracts are expressed by social commitments associated with temporal constraints. The procedure reasons from the relations among such commitments, and returns one amongst different possible mismatches that may have caused an exception. In particular, we consider two possibilities: misalignment, when two agents have two different views of the same commitment, and misbehavior, when there is no misalignment, but a debtor agent fails to oblige. We also provide a realignment policy that can be applied in case of a misalignment. Our formalization uses a reactive form of Event Calculus. We illustrate the workings of our approach by discussing a delivery process from e-commerce as a case study.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Mar 8, 2012
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.