caa a22 4500 606229132 CHVBK 20210128101207.0 cr unu---uuuuu 210128e20150801xx s 000 0 eng 10.1007/s10796-014-9520-7 doi (NATIONALLICENCE)springer-10.1007/s10796-014-9520-7 Reasoning about reasons behind preferences using modal logic [Elektronische Daten] [Truls Pedersen, Sjur Dyrkolbotn, Thomas Ågotnes] 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. Springer Science+Business Media New York, 2014 Reason-based preferences nationallicence Modal logic nationallicence Agreement technologies nationallicence Typology of disagreement nationallicence Pedersen Truls Department of Information Science and Media Studies, University of Bergen, Bergen, Norway aut Dyrkolbotn Sjur Durham Law School, Durham University, Durham, United Kingdom aut Ågotnes Thomas Department of Information Science and Media Studies, University of Bergen, Bergen, Norway aut Information Systems Frontiers Springer US; http://www.springer-ny.com 17/4(2015-08-01), 713-724 1387-3326 17:4<713 2015 17 10796 https://doi.org/10.1007/s10796-014-9520-7 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10796-014-9520-7 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Pedersen Truls Department of Information Science and Media Studies, University of Bergen, Bergen, Norway aut NATIONALLICENCE 700 1- Dyrkolbotn Sjur Durham Law School, Durham University, Durham, United Kingdom aut NATIONALLICENCE 700 1- Ågotnes Thomas Department of Information Science and Media Studies, University of Bergen, Bergen, Norway aut NATIONALLICENCE 773 0- Information Systems Frontiers Springer US; http://www.springer-ny.com 17/4(2015-08-01), 713-724 1387-3326 17:4<713 2015 17 10796