Status, Abstract

Gunther Schmidt

Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg, Germany

Relational Measures and Integration
in Preference Modeling

.pdf .bib

Special Issue of the Journal of Logic and Algebraic Programming; 76/1 (2007) 112--129

Substantially extended version of an earlier paper

Rudolf Berghammer

Institut für Informatik
Christian-Albrechts-Universität zu Kiel
Olshausenstr. 40, 24098 Kiel, Germany
August 2007
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interval [0,1] in IR to the ordinal or even to the qualitative level. We proceed further and introduce relational measures and relational integration. First ideas of this kind, but for the real-valued linear orderings stem from Choquet (1950s) and Sugeno (1970s). We generalize to not necessarily linear orders and handle it algebraically and in a point-free manner. We thus open this area of research for treatment with theorem provers which would be extremely di cult for the classical presentation of Choquet and Sugeno integrals. Our speci cation of the relational integral is operational. It can immediately be translated into the programming language of RelView and, hence, the tool can be used for solving practical problems.