[en] We present a logical viewpoint on agreement technologies by combining reasoning methods for aggregation, norms, dependence, argumentation, and trust. Starting from the agreement technologies tower, we introduce an architecture for the agreement process with interacting reasoning processes. We discuss the input/output perspective on reasoning for agreement technologies, the combination of reasoning methods, the role of abstraction, and game theoretic foundations.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2012-547
Auteur, co-auteur :
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
