Abstract
In [13] the authors developed a logical system based on the definition of a new non-classical connective \(\otimes \) originally capturing the notion of reparative obligation. The operator \(\otimes \) and the system were proved to be appropriate for rather handling well-known contrary-to-duty paradoxes. Later on, a suitable model-theoretic possible-world semantics has been developed [4, 5]. In this paper we show how a version of this semantics can be used to develop a sound and complete logic of preference and offer a suitable possible-world semantics. The semantics is a sequence-based non-normal one extending and generalising semantics for classical modal logics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. J. Artif. Intell. Res. (JAIR) 21, 135–191 (2004)
Brandt, F., Conitzer, V., Endriss, U.: Computational social choice. In: Multiagent Systems, MIT Press (2012)
Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artif. Intell. 157(1–2), 203–237 (2004)
Calardo, E., Governatori, G., Rotolo, A.: A preference-based semantics for CTD reasoning. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds.) DEON 2014. LNCS, vol. 8554, pp. 49–64. Springer, Heidelberg (2014)
Calardo, E., Governatori, G., Rotolo, A.: A sequence semantics for deontic logic. Under submission (2015)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)
Coste-Marquis, S., Lang, J., Liberatore, P., Marquis, P.: Expressive power and succinctness of propositional languages for preference representation. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), pp. 203–212, Whistler, Canada, June 2–5, 2004 (2004)
Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.W.N.: Preferences of agents in defeasible logic. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 695–704. Springer, Heidelberg (2005)
Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.W.N.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621–636. Springer, Heidelberg (2005)
Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Springer (1983)
Gaertner, W.: A Primer in Social Choice Theory: Revised Edition. Oup Oxford (2009)
Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rational behind the concept of goal. Theory and Practice of Logic Programming, forthcoming
Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2006)
Hansen, J.: Conflicting imperatives and dyadic deontic logic. J. Applied Logic 3(3–4), 484–511 (2005)
Hansson, B.: An analysis of some deontic logics. Nous 3, 373–398 (1969)
Jiang, G., Zhang, D., Perrussel, L., Zhang, H.: A logic for collective choice. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, pp. 979–987, Istanbul, Turkey, May 4–8, 2015 (2015)
Lang, J.: Logical preference representation and combinatorial vote. Ann. Math. Artif. Intell. 42(1–3), 37–71 (2004)
Osherson, D., Weinstein, S.: Preference based on reasons. The Review of Symbolic Logic 5, 122–147 (2012)
Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)
Sen, A.: Social choice theory: A re-examination. Econometrica 45(1), 53–89 (1977)
van Benthem, J., Grossi, D., Liu, F.: Priority structures in deontic logic. Theoria (2013)
van der Torre, L.: Reasoning about obligations: defeasibility in preference-based deontic logic. PhD thesis, Erasmus University Rotterdam (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Calardo, E., Governatori, G., Rotolo, A. (2015). Semantics for Modelling Reason-Based Preferences. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds) PRIMA 2015: Principles and Practice of Multi-Agent Systems. PRIMA 2015. Lecture Notes in Computer Science(), vol 9387. Springer, Cham. https://doi.org/10.1007/978-3-319-25524-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-25524-8_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25523-1
Online ISBN: 978-3-319-25524-8
eBook Packages: Computer ScienceComputer Science (R0)