论文信息 - Tangent Circle Algebras

Tangent Circle Algebras

In relational reasoning, one is concerned with the algebras generated by a given set of relations, when one allows only basic relational operations such as the Boolean operations, relational composition, and converse. According to a result by A. Tarski, the relations obtained in this way are exactly the relations which are definable in the three-variable fragment of first order logic. Thus, a relation algebra is a first indicator of the expressive power of a given set of relations.In this paper, we investigate relation algebras which arise in the context of preference relations. In particular, we study the tangent circle orders introduced in [1].

Ivo Düntsch | Marc Roubens

[1] Edward R. Scheinerman,et al. On circle containment orders , 1988 .

[2] Peter C. Fisi-Iburn. Nontransitive preferences in decision theory , 1991 .

[3] B. Jonsson. Maximal algebras of binary relations , 1984 .

[4] M. Kane. Measurement theory. , 1980, NLN publications.

[5] D. Bridges,et al. Representations of Preferences Orderings , 1995 .

[6] Ivo Düntsch,et al. Binary Relations and Permutation Groups , 1995, Math. Log. Q..

[7] J. Fodor,et al. Parametrized preference structures and some geometrical interpretation , 1997 .

[8] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.

[9] P. Fishburn. Intransitive indifference with unequal indifference intervals , 1970 .

[10] A. Tarski,et al. A Formalization Of Set Theory Without Variables , 1987 .

[11] Ivo Düntsch,et al. A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

[12] P. Fishburn. Nontransitive preferences in decision theory , 1991 .

[13] Magalì E. Zuanon,et al. Representation of preference orderings on totally ordered semigroups , 2000 .

[14] T. D. Laguna. Point, Line, and Surface, as Sets of Solids , 1922 .

[15] Ivo Düntsch,et al. Relations Algebras in Qualitative Spatial Reasoning , 1999, Fundam. Informaticae.