PP-2011-02: Normal Forms for Priority Graphs

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

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2011-02.text.pdf

Download (151kB) | Preview
[thumbnail of Abstract] 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 View Item