Reasoning for Agreement Technologies

摘要

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.