Reasoning about reasons behind preferences using modal logic

Truls Pedersen (), Sjur Dyrkolbotn and Thomas Ågotnes
Additional contact information
Truls Pedersen: University of Bergen
Sjur Dyrkolbotn: Durham University
Thomas Ågotnes: University of Bergen

Information Systems Frontiers, 2015, vol. 17, issue 4, No 2, 713-724

Abstract: Abstract Preferences play a crucial role in the theory of rationality, and therefore also to computational social choice and artificial intelligence. In formal models it is usually assumed that preferences are primitive objects, and little concern is devoted to the question of how they are formed or where they come from. Recent work in rational choice theory challenges this assumption, however, and aims to give more internal structure to the notion of a preference. The focus so far has been on modeling faculties of individual agents, such as their mood, mindset, and motivating reasons. In this paper we contribute to this development by developing a modal logic for reasoning about preferences that depend on a set of motivationally salient properties. The main result is a translation showing how reasoning in this logic can be captured by reasoning in a standard modal logic (KT with universal modality). It follows that reasoning systems and algorithms developed for modal logic (with universal modality) can be employed for reasoning about reason-based preferences. We then discuss how the approach can be generalised to the multi-agent case, and allows us to reason about agents who disagree because they are motivated by different factors, and who might be able to reach consensus simply by changing their perspective.

Keywords: Reason-based preferences; Modal logic; Agreement technologies; Typology of disagreement (search for similar items in EconPapers)
Date: 2015
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s10796-014-9520-7 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:infosf:v:17:y:2015:i:4:d:10.1007_s10796-014-9520-7

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10796

DOI: 10.1007/s10796-014-9520-7

Access Statistics for this article

Information Systems Frontiers is currently edited by Ram Ramesh and Raghav Rao

More articles in Information Systems Frontiers from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().