Abstract | ||
---|---|---|
Work in fuzzy modeling has recently made its way from the interval
[0,1] Í</font
> \mathordI R[0,1]\subseteq {\mathord{\rm I \! R}} 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 order and handle it algebraically and in a componentfree manner. We thus open this area of research
for treatment with theorem provers which would be extremely difficult for the classical presentation of Choquet and Sugeno
integrals.
|
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11828563_23 | Relational Methods in Computer Science |
Keywords | Field | DocType |
plausibility,theorem provers,qualitative level,sugeno integral,evidence and belief,and possibility measures,relational integration,classical presentation,relational measure,necessity,relation algebra,real-valued linear ordering,relational measure.,componentfree manner,linear order,choquet integral,fuzzy modeling,theorem prover | Discrete mathematics,Measure (mathematics),Ordinal number,Sugeno integral,Fuzzy logic,Fuzzy measure theory,Proof theory,Relational algebra,Choquet integral,Mathematics | Conference |
Volume | ISSN | ISBN |
4136 | 0302-9743 | 3-540-37873-1 |
Citations | PageRank | References |
2 | 0.39 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gunther Schmidt | 1 | 203 | 30.70 |