Teoria podejmowania decyzji Relacja preferencji. Binarny relations – properties Pre-orders and orders, relation of rational preferences Strict preference.

Slides:



Advertisements
Similar presentations
Relations Relations on a Set. Properties of Relations.
Advertisements

Discussion #27 Chapter 5, Sections /15 Discussion #27 Closures & Equivalence Relations.
Ch 4: Difference Measurement. Difference Measurement In Ch 3 we saw the kind of representation you can get with a concatenation operation on an ordered.
Relations - review A binary relation on A is a subset of A×A (set of ordered pairs of elements from A) Example: A = {a,b,c,d,e} R = { (a,a),(a,b),(b,b),(b,c),
Basic Properties of Relations
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
_ Rough Sets. Basic Concepts of Rough Sets _ Information/Decision Systems (Tables) _ Indiscernibility _ Set Approximation _ Reducts and Core.
Discrete Structures Chapter 5 Relations Nurul Amelina Nasharuddin Multimedia Department.
Chapter 3 Review MATH130 Heidi Burgiel. Relation A relation R from X to Y is any subset of X x Y The matrix of a Relation R is a matrix that has a 1 in.
CSE115/ENGR160 Discrete Mathematics 05/03/11 Ming-Hsuan Yang UC Merced 1.
Regular Expression (EXTRA)
Discussion #26 Chapter 5, Sections /15 Discussion #26 Binary Relations: Operations & Properties.
Equivalence Relations: Selected Exercises
Discrete Mathematics Lecture#11.
1 Section 7.1 Relations and their properties. 2 Binary relation A binary relation is a set of ordered pairs that expresses a relationship between elements.
Relations Chapter 9.
Sets.
Set theory Sets: Powerful tool in computer science to solve real world problems. A set is a collection of distinct objects called elements. Traditionally,
Logics for Data and Knowledge Representation Introduction to Algebra Chiara Ghidini, Luciano Serafini, Fausto Giunchiglia and Vincenzo Maltese.
Ordered Sets. Relations. Equivalence Relations 1.
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Discrete Math for CS Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation.
Set, Combinatorics, Probability & Number Theory Mathematical Structures for Computer Science Chapter 3 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Set,
Chapter 9. Section 9.1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Digraphs and Relations Warm Up. The Divisibility Relation Let “|” be the binary relation on N×N such that a|b (“a divides b”) iff there is an n ∈ N such.
Sets Define sets in 2 ways  Enumeration  Set comprehension (predicate on membership), e.g., {n | n  N   k  k  N  n = 10  k  0  n  50} the set.
April 14, 2015Applied Discrete Mathematics Week 10: Equivalence Relations 1 Properties of Relations Definition: A relation R on a set A is called transitive.
Formal Semantics of Programming Languages 虞慧群 Topic 1: Introduction.
Discrete Mathematics Relation.
Relations and their Properties
CHAPTER 3 FUZZY RELATION and COMPOSITION. 3.1 Crisp relation Product set Definition (Product set) Let A and B be two non-empty sets, the product.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.
Discrete Mathematics Lecture # 15 Types of Relations (contd.)
1 Discrete and Combinatorial Mathematics R. P. Grimaldi, 5 th edition, 2004 Chapter 5 Relations and Functions.
Discrete Structures – CNS2300
Problem Statement How do we represent relationship between two related elements ?
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Representing Relations Using Matrices A relation between finite sets can be represented using a zero-one matrix Suppose R is a relation from A = {a 1,
Chapter Relations and Their Properties
1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.
Relations Section 9.1, 9.3—9.5 of Rosen Spring 2012
RelationsCSCE 235, Spring Introduction A relation between elements of two sets is a subset of their Cartesian products (set of all ordered pairs.
1 Equivalence relations Binary relations: –Let S1 and S2 be two sets, and R be a (binary relation) from S1 to S2 –Not every x in S1 and y in S2 have such.
Relations and Functions ORDERED PAIRS AND CARTESIAN PRODUCT An ordered pair consists of two elements, say a and b, in which one of them, say a is designated.
ORDERED SETS. RELATIONS COSC-1321 Discrete Structures 1.
Relations Compare with function – Function: Set of ordered pairs where x’s don’t repeat x’s come from domain; y’s come from co-domain Purpose: to transform.
Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and B = {a,b} {( 0, a), (
Decision Theory Lecture 4. Decision Theory – the foundation of modern economics Individual decision making – under Certainty Choice functions Revelead.
1 CMSC 250 Discrete Structures CMSC 250 Lecture 41 May 7, 2008.
Week 8 - Wednesday.  What did we talk about last time?  Relations  Properties of relations  Reflexive  Symmetric  Transitive.
English for Economic Informatics I Tomáš Foltýnek Theoretical Foundations of Informatics.
Section 9.1. Section Summary Relations and Functions Properties of Relations Reflexive Relations Symmetric and Antisymmetric Relations Transitive Relations.
Chapter8 Relations 8.1: Relations and their properties.
Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation is a relation on.
Relations Chapter 9 Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill.
CSE15 Discrete Mathematics 05/03/17
Set, Combinatorics, Probability & Number Theory
Applied Discrete Mathematics Week 10: Relations
Cartesian product Given two sets A, B we define their Cartesian product is the set of all the pairs whose first element is in A and second in B. Note that.
CSE115/ENGR160 Discrete Mathematics 04/28/11
Relations: Operations & Properties
Applied Discrete Mathematics Week 9: Equivalence Relations
Properties of Relations
9.5 Equivalence Relations
Foundations of Discrete Mathematics
Agenda Lecture Content: Relations (Relasi)
Introductory Material
Presentation transcript:

Teoria podejmowania decyzji Relacja preferencji

Binarny relations – properties Pre-orders and orders, relation of rational preferences Strict preference and indifference relation Agenda 2

Preferences: – capability of making comparisons – capability of deciding, which of two alternatives is better/is not worse Mathematically – binary relations in the set of decision alternatives: – X – decision alternatives – X 2 – all pairs of decision alternatives – R  X 2 – binary relation in X, selected subset of ordered pairs of elements of X – if x is in relation R with y, then we write xRy or (x,y)  R Today – another approach to decision making 3

Examples of relations: – „Being a parent of” is a binary relation on a set of human beings – „Being a hat” is a binary relation on a set of objects – „x+y=z” is 3-ary relation on the set of numbers – „x is better than y more than x’ is better than y’ ” is a 4-ary relation on the set of alternatives.

Example – X={1,2,3,4} – R – a relation denoting „is smaller than” – xRy – means „x is smaller than y” Thus: – (1,2)  R; (1,3)  R; (1,4)  R; (2,3)  R; (2,4)  R; (3,4)  R – 1R2, 1R3, 1R4, 2R3, 2R4, 3R4 – eg. (2,1) doesn’t belong to R Binary relations – example # √√√ 2√√ 3√ 4

Example – X={1,2,3,4} – R – a relation with no (easy) interpretation – R={(1,2), (1,3), (2,3), (2,4), (3,2), (4,4)} Binary relations– example # √√ 2√√ 3√ 4√

complete: xRy or yRx reflexive: xRx (  x) antireflexive: not xRx (  x) transitive: if xRy and yRz, then xRz symmetric: if xRy, then yRx asymmetric: if xRy, then not yRx antisymmetric: if xRy and yRx, then x=y negatively transitive:if not xRy and not yRz, then not xRz – equivalent to: xRz implies xRy or yRz acyclic:if x 1 Rx 2, x 2 Rx 3, …, x n-1 Rx n imply x1 ≠ xn Binary relations – basic properties 7

R1R1 R2R2 R3R3 R4R4 R5R5 R6R6 complete√ reflexive√√√√ antireflexive√√ transitive√√√ symmetric√√√√ asymmetric√ antisymmetric√ negatively transitive√√ R 1 : (among people), to have the same colour of the eyes R 2 : (among people), to know each other R 3 : (in the family), to be an ancestor of R 4 : (among real numbers), not to have the same value R 5 : (among words in English), to be a synonym R 6 : (among countries), to be at least as good in a rank-table of summer olympics Exercise – check the properties of the following relations 8

R1R1 R2R2 R3R3 R4R4 R5R5 R6R6 complete√ reflexive√√√√ antireflexive√√ transitive√√√ symmetric√√√√ asymmetric√ antisymmetric√ negatively transitive√√ R 1 : (among people), to have the same colour of the eyes R 2 : (among people), to know each other R 3 : (in the family), to be an ancestor of R 4 : (among real numbers), not to have the same value R 5 : (among words in English), to be a synonym R 6 : (among countries), to be at least as good in a rank-table of summer olympics Exercise – check the properties of the following relations 9

Preferences – capability of making comparisons, of selecting not worse an alternative out of a pair of alternatives – we’ll talk about selecting a strictly better (or just as good) alternative later on Depending on its preferences we’ll use one of the relations: – preorder – partial order – complete preorder (rational preference relation) – complete order (linear order) Preference relation 10

R is a preorder in X, if it is: – reflexive – transitive We do not want R to be: – Complete – we cannot compare all the pairs of alternatives – Antisymmetric – if xRy and yRX, then not necessarily x=y Preorder 11

Michał is at a party and can pick from a buffet onto his plate: small tartares, cocktail tomatoes, sushi (maki), chunks of cheese A decision alternative is an orderd four-tuple, denoting number of respective pieces, there can be at most 20 pcs on the plate Michał preferes more pcs than fewer. At the same time, he prefers more tartare than less. Michał cannot tell, if he wants to have more pcs if it mean less tartare. Preorder – an example 12 ElementFormal notation Set of alternatives X X={x=(x 1,x 2,x 3,x 4 )  N 4 : x 1 +x 2 +x 3 +x 4 ≤20} Relation R „at least as good as” xRy  x 1 ≥y 1  x 1 +x 2 +x 3 +x 4 ≥y 1 +y 2 +y 3 +y 4 Is R reflexive? … transitive? … complete? … antisymmetric? Yes No (why?)

Michał is at a party and can pick from a buffet onto his plate: small tartares, cocktail tomatoes, sushi (maki), chunks of cheese A decision alternative is an orderd four-tuple, denoting number of respective pieces, there can be at most 20 pcs on the plate Michał preferes more pcs than fewer. At the same time, he prefers more tartare than less. Michał cannot tell, if he wants to have more pcs if it mean less tartare. Preorder – an example 13 ElementFormal notation Set of alternatives X X={x=(x 1,x 2,x 3,x 4 )  N 4 : x 1 +x 2 +x 3 +x 4 ≤20} Relation R „at least as good as” xRy  x 1 ≥y 1  x 1 +x 2 +x 3 +x 4 ≥y 1 +y 2 +y 3 +y 4 Is R reflexive? … transitive? … complete? … antisymmetric? Yes No (why?)

R is a partial order in X, if it is: – reflexive – transitive – antisymmetric (not needed in the preorder) We do not want it to be: – Complete – we cannot compare all the pairs of alternatives Partial order 14

Michał is at a party … Decision alternatives are ordered pairs : # of pcs, # of tartares Partial order – an example 15 ElementFormal notation Set of alternatives X X={x=(x 1,x 2 )  N 2 : x 2 ≤x 1 ≤20} Relation R „at least as good as” xRy  x 1 ≥y 1  x 2 ≥y 2 Is R reflexive? … transitive? … complete? … antisymmetric? Yes No (why?) Yes (why?)

Michał is at a party … Decision alternatives are ordered pairs : # of pcs, # of tartares Conclusion – different structure (of the same problem), different formal representation Partial order – an example 16 ElementFormal notation Set of alternatives X X={x=(x 1,x 2 )  N 2 : x 2 ≤x 1 ≤20} Relation R „at least as good as” xRy  x 1 ≥y 1  x 2 ≥y 2 Is R reflexive? … transitive? … complete? … antisymmetric? Yes No (why?) Yes (why?)

R is a complete preorder in X, if it is: – transitive – complete Completeness implies reflexivity We do not want it to be: – antisymmetric – equally good alternatives are allowed to differ In our example – if Michał didn’t value tartare (and just wanted to eat as much as possible) Complete preorder – rational preference relation 17

ElementFormal notation Set of alternatives X X={x=(x 1,x 2,x 3,x 4 )  N 4 : x 1 +x 2 +x 3 +x 4 ≤20} Relation R „at least as good as” xRy  x 1 +x 2 +x 3 +x 4 ≥y 1 +y 2 +y 3 +y 4 Is R reflexive? … transitive? … complete? … antisymmetric? Yes No Complete preorder – rational preference relation

R is a complete order in X, if it is: – transitive – complete – antisymmetric In our example: – Michał wants to eat as much as possible – we represent alternatives as # of pcs Complete order (linear) 19

ElementFormal notation Set of alternatives X X={x=x 1  N: x 1 ≤20} Relation R „at least as good as” xRy  x 1 ≥y 1 Is R reflexive? … transitive? … complete? … antisymmetric? Yes Complete order (linear)

Preference relations 21 PreorderPartial order Complete preorder Complete order reflexive √√√√ total √√ transitive √√√√ antisymmetric √√

Let R be a complete preorder (transitive, complete) – xRy means „x is at least as good as y” R generates strict preference relation – P: – xPy, if xRy and not yRx – xPy means „x is better than y” R generates indifference relation – I: – xIy, if xRy and yRx – xIy means „x just as good as y” Preference and indifference relation 22

X={a,b,c,d} R={(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,c), (c,d), (d,d)} Find P and I P={(a,c), (a,d), (b,c), (b,d), (c,d)} I={(a,a), (a,b), (b,a), (b,b), (c,c), (d,d)} R=P  I An exercise 23

Let P and I be generated by R – a complete preorder P is: – asymmetric – negatively transitive – antireflexive – acycylic – transitive I is an equivalence relation: – reflexive – transitive – symmetric Properties of P and I (of previous slides) 24

reflexive (xIx) – obvious – using reflexivity of R we get xRx transitive (xIy  yIz  xIz) – predecessor means that xRy  yRx  yRz  zRy – using transitivity we get xRz  zRx, QED symmetric (xIy  yIx) – predecessor means that xRy  yRx, QED Proof of the properties of I (xIy  xRy  yRx) 25

Logical preliminary pq ∼p∼p ∼q∼qp ⇒ q ∼ p ∨ q ∼ q ⇒ ∼ p pq ∼p∼p ∼q∼qp ∨ q ∼( p ∨ q) ∼ q ∧ ∼ p ⇔ ⇔ ⇔

R is complete iff P is asymmetric R is transitive iff P is negatively transitive P vs R (xPy  xRy   yRx) 27

1. Prove that xRy  yPz  xPz 2. Show that  x,y: xPy  xIy  yPx Homework 28

Let’s start with relation P: – asymmetric – negatively transitive Then we say that – xIy, if  xPy   yPx – xRy, if xPy  xIy Homework. Prove that with such definitions: – I is an equivalence relation – R is a complete preorder Another definition of rational preferences 29

X={a,b,c,d} P={(a,d), (c,d), (a,b), (c,b)} Find R and I I={(a,a), (a,c), (b,b), (b,d), (c,a), (c,c), (d,b), (d,d)} R=P  I Exercise 30

Can we start with I? – reflexive – symmetric – transitive No – we wouldn’t be able to order the abstraction classes Another definition of rational preferences 31

Is it enough to use P? – asymmetric – acyclic (not necessarily negatively transitive) No – let’s see an example Another definition of rational preferences 32

Mr X got ill and for years to come will have to take pills twice a day in an interval of exactly 12 hours. He can choose the time however. All the decision alternatives are represented by a circle with a circumference 12 (a clock). Let’s denote the alternatives by the length of an arc from a given point (midnight/noon). Mr X has very peculiar preferences – he prefers y to x, if y=x+ , otherwise he doesn’t care Thus yPx, if y lies on the circle  units farther (clockwise) than x P from the previous slide – an example 33

What properties does P have? – asymmetry – negative transitivity – transitivity – acyclicity P generates „weird” preferences: – 1+2  better than 1+ , 1+  better than 1, 1+2  equally good as 1 – 1 equally good as 1+  /2, 1+  /2 equally good as 1+  1 worse than 1+  Exercise 34

What if we take P? – asymmetric – transitive (not necessarily negatively transitive) – thus acyclic First let’s try to find an example Then let’s think about such preferences Another definition of rational preferences 35

Asymmetric, transitive, not negatively transitive relation – intuition

X={R + }, xPy  x>y+5 (I want more, but I am insensitive to small changes) Properties of P: – asymmetric – obviously – transitive – obviously – negatively transitive? 11 P 5, but neither 11 P 8, nor 8 P 5 Thus I is not transitive: 11 I 8 and 8 I 5, but not 11 I 5 Real example – non-inferiority testing – H 0 :  1 =  2 vs H 1 :  1 ≠  2 – H 0 :  1 ≤  2 -  vs H 1 :  1 >  2 Asymmetric, transitive, not negatively transitive relation – example 37

Properties of preferences – a summary 38 R („at least as good as”) – transitive, complete P („better than”) – asymmetric, negatively transitive P („better than”) – asymmetric, transitive P („better than”) – asymmetric, acyclic colours, insensitiviness to small changes eg. Mr X

Another way of talking about choice making is to talk about binary relations - preferences Depending on the structure of a decision problem at hand we can use relations: preorder, total preorder, partial order, total order – the same problem can be sometimes described in different ways Relation of weak preference generates strict preference relation and indifference relation. We can also start from the strict preference – asymmetric and negatively transitive Summary 39