Reasoning about Exceptions to Contracts

作者: Özgür Kafalı , Francesca Toni , Paolo Torroni

DOI: 10.1007/978-3-642-22359-4_16

关键词:

摘要: We show an application of Assumption-Based Argumentation for reasoning about and handling exceptions in multiagent contracts. that this solution enjoys interesting properties regarding the ABA semantics results obtained determinism diagnostic answers. As a case study, we present workings framework on delivery process from e-commerce.

参考文章(37)
Meir Kalech, Gal A. Kaminka, On the design of social diagnosis algorithms for multi-agent teams international joint conference on artificial intelligence. pp. 370- 375 ,(2003)
Özgür Kafalı, Pınar Yolum, 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. pp. 112- 127 ,(2009) , 10.1007/978-3-642-13338-1_7
Munindar P. Singh, An ontology for commitments in multiagent systems Artificial Intelligence and Law. ,vol. 7, pp. 97- 113 ,(1999) , 10.1023/A:1008319631231
Peter Struss, Luca Console, Claudia Picardi, Oskar Dressler, Rosanna Bray, Philippe Dague, Fulvio Cascio, Christian Vallée, Berndt Rehfus, David Millet, IDD: integrating diagnosis in the design of automotive systems european conference on artificial intelligence. pp. 628- 632 ,(2002)
Gianfranco Lamperti, Marina Zanella, EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems Applied Intelligence. ,vol. 18, pp. 55- 77 ,(2003) , 10.1023/A:1020974704946
Phan Minh Dung, Robert A. Kowalski, Francesca Toni, Assumption-Based Argumentation Applied Artificial Intelligence. pp. 199- 218 ,(2009) , 10.1007/978-0-387-98197-0_10
Luca Console, Oskar Dressler, Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining international joint conference on artificial intelligence. pp. 1393- 1400 ,(1999)
Luca Console, Daniele Theseider Dupre, Pietro Torasso, Towards the integration of different knowledge sources in model-based diagnosis Trends in Artificial Intelligence. pp. 177- 186 ,(1991) , 10.1007/3-540-54712-6_230
Erik C. W. Krabbe, Douglas Walton, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning State University of New York Press. ,(1995)
Yannick Pencolé, M-O Cordier, Laurence Rozé, Incremental decentralized diagnosis approach for the supervision of a telecommunication network conference on decision and control. ,vol. 1, pp. 435- 440 ,(2002) , 10.1109/CDC.2002.1184533