Authors		Title	Status, Abstract
Gunther Schmidt	Fakultät für Informatik Universität der Bundeswehr München 85577 Neubiberg, Germany Gunther.Schmidt@UniBw.de	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 rub@informatik.uni-kiel.de	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.