PP-2011-02: Normal Forms for Priority Graphs

PP-2011-02: van Benthem, Johan and Grossi, Davide (2011) Normal Forms for Priority Graphs. [Report]

Text (Full Text)

Download (151kB) | Preview
[img] Text (Abstract)

Download (569B)


This brief note compares a few ways of deriving pre-orders over sets of objects from strict partial orders over properties of those objects —so-called priority graphs that have recently been used by logicians as a rich explicit model of preference merge, belief revision, norm change, and other aspects of agency. Our note establishes equivalence results between three popular formats for priority graphs, and defines a normal form for them.

Item Type: Report
Report Nr: PP-2011-02
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: Priority graphs, preference logic
Subjects: Logic
Depositing User: dgrossi1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/406

Actions (login required)

View Item View Item