Sequence Semantics for Modelling Reason-based Preferences
File version
Accepted Manuscript (AM)
Author(s)
Governatori, Guido
Rotolo, Antonino
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
License
Abstract
We study how the non-classical n-ary operator ⊗, originally intended to capture the concept of reparative obligation, can be used in the context of social choice theory to model preferences. A novel possible-world model-theoretic semantics, called sequence semantics, was proposed for the operator. In this paper, we propose a sound and complete axiomatisation of a minimal modal logic for the operator, and we extend it with axioms suitable to model social choice consistency principles such as extension consistency and contraction consistency. We provide completeness results for such extensions.
Journal Title
FUNDAMENTA INFORMATICAE
Conference Title
Book Title
Edition
Volume
158
Issue
1-Mar
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2018 FUNDAMENTA INFORMATICAE. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal website for access to the definitive, published version.
Item Access Status
Note
Access the data
Related item(s)
Subject
Artificial intelligence