Graphical Languages for Preference ... - Sylvain Bouveret

Logical and bidding languages – Propositional logicBinary variablesParticular case: binary variables → D i = {⊤,⊥} for all i.Can be used to represent subsets of elements.A set of elements O = {o 1 ,...,o p} → binary variables {O 1 ,...,O n}, whereeach variable O i stands for the presence or absence of o i .→ each instantiation / interpretation represents a subset π of OExample of application: allocation of indivisible goodsExample: o 1 ō 2 ō 3 o 4 ō 5 represents subset {o 1 ,o 4 }.Graphical Languages for Preference Representation and Applications24 / 112