DSpace Zespół:
http://hdl.handle.net/11320/20
Sun, 05 Jul 2020 06:15:37 GMT2020-07-05T06:15:37ZIntroduction to Formal Preference Spaces
http://hdl.handle.net/11320/3691
Tytuł: Introduction to Formal Preference Spaces
Autorzy: Niewiadomska, Eliza; Grabowski, Adam
Abstrakt: In the article the formal characterization of preference spaces [1] is given. As the preference relation is one of the very basic notions of mathematical economics [9], it prepares some ground for a more thorough formalization of consumer theory (although some work has already been done - see [17]). There was an attempt to formalize similar results in Mizar, but this work seems still unfinished [18].
There are many approaches to preferences in literature. We modelled them in a rather illustrative way (similar structures were considered in [8]): either the consumer (strictly) prefers an alternative, or they are of equal interest; he/she could also have no opinion of the choice. Then our structures are based on three relations on the (arbitrary, not necessarily finite) set of alternatives. The completeness property can however also be modelled, although we rather follow [2] which is more general [12]. Additionally we assume all three relations are disjoint and their set-theoretic union gives a whole universe of alternatives.
We constructed some positive and negative examples of preference structures; the main aim of the article however is to give the characterization of consumer preference structures in terms of a binary relation, called characteristic relation [10], and to show the way the corresponding structure can be obtained only using this relation. Finally, we show the connection between tournament and total spaces and usual properties of the ordering relations.Tue, 01 Jan 2013 00:00:00 GMThttp://hdl.handle.net/11320/36912013-01-01T00:00:00ZRepresentation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
http://hdl.handle.net/11320/3562
Tytuł: Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
Autorzy: Jastrzębska, Magdalena
Abstrakt: In the paper we show how to express the Fibonacci numbers and Lucas numbers using the floor and ceiling operations.Fri, 01 Jan 2010 00:00:00 GMThttp://hdl.handle.net/11320/35622010-01-01T00:00:00ZOn the Lattice of Intervals and Rough Sets
http://hdl.handle.net/11320/3550
Tytuł: On the Lattice of Intervals and Rough Sets
Autorzy: Grabowski, Adam; Jastrzębska, Magdalena
Abstrakt: Rough sets, developed by Pawlak [6], are an important tool to describe a situation of incomplete or partially unknown information. One of the algebraic models deals with the pair of the upper and the lower approximation. Although usually the tolerance or the equivalence relation is taken into account when considering a rough set, here we rather concentrate on the model with the pair of two definable sets, hence we are close to the notion of an interval set. In this article, the lattices of rough sets and intervals are formalized. This paper, being essentially the continuation of [3], is also a step towards the formalization of the algebraic theory of rough sets, as in [4] or [9].Thu, 01 Jan 2009 00:00:00 GMThttp://hdl.handle.net/11320/35502009-01-01T00:00:00Z