[en] A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower, called Norms, Organization and Argumentation. We present a framework for arguing about agreements based on norms, roles and dependence, together with a case study from the sharing economy.
Disciplines :
Computer science
Author, co-author :
CAIRE, Patrice ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Villata, Serena; INRIA, sophia antipollis
Language :
English
Title :
Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies.
Publication date :
November 2013
Event name :
BNAIC'13. 25th Benelux Conference on Artificial Intelligence.
Event date :
from 7-11-2013 to 8-11-2013
Main work title :
25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8.
M. Abraham, D. M. Gabbay, and U. J. Schild. Obligations and prohibitions in talmudic deontic logic. Artif. Intell. Law, 19(2-3):117-148, 2011.
H. Billhardt, R. Centeno, C. E. Cuesta, A. Fernández, R. Hermoso, R. Ortiz, S. Ossowski, J. S. Pérez-Sotelo, and M. Vasirani. Organisational structures in next-generation distributed systems: Towards a technology of agreement. Multiagent and Grid Systems, 7(2-3):109-125, 2011.
G. Boella and L. van der Torre. Reasoning for agreement technologies. In Proc. of ECAI, pages 895-896, 2012.
P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: An agent-oriented software development methodology. JAAMAS, 8:203-236, 2004.
P. Caire, L. van der Torre, and S. Villata. Argumentation theoretic foundations for abstract dependence networks. In Proc. of AT, 2013.
P. Caire, S. Villata, G. Boella, and L. van der Torre. Conviviality masks in multiagent systems. In Proc. of AAMAS, pages 1265-1268. IFAAMAS, 2008.
C. Castelfranchi, A. Cesta, R. Conte, and M. Miceli. Foundations for Interaction: The Dependency Theory. In Proc. of AI∗IA, LNCS 728, pages 59-64. Springer, 1993.
P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell., 77(2):321-358, 1995.
D. M. Gabbay. Fibring argumentation frames. Studia Logica, 93(2-3):231-295, 2009.
S. Ossowski, editor. Agreement Technologies. Law, Governance and Technology Series, Springer, 2013.
L. Sauro. Qualitative criteria of admissibility for enforced agreements. CMOT, 12(2-3):147-168, 2006.
J. S. Sichman and R. Conte. Multi-agent dependence by dependence graphs. In Proc. of AAMAS, pages 483-490. IFAAMAS, 2002.
J. van Benthem. Logical Dynamics of Information and Interaction. Cambridge University Press, 2011.
J. von Neumann and O. Morgenstern. Theory of Games and Economic Behaviour. Princeton Univeristy Press, 1944.
E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, 1995.