PP-2011-02: van Benthem, Johan and Grossi, Davide (2011) Normal Forms for Priority Graphs. [Report]
Preview |
Text (Full Text)
PP-2011-02.text.pdf Download (151kB) | Preview |
Text (Abstract)
PP-2011-02.abstract.txt Download (569B) |
Abstract
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 |