Skip to main content
SpringerLink
Log in

Semantics for Modelling Reason-Based Preferences

  • Conference paper
  • First Online:
PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9387))

  • 1495 Accesses

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    MathSciNet  MATH  Google Scholar 

  2. Brandt, F., Conitzer, V., Endriss, U.: Computational social choice. In: Multiagent Systems, MIT Press (2012)

    Google Scholar 

  3. Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. Artif. Intell. 157(1–2), 203–237 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Calardo, E., Governatori, G., Rotolo, A.: A sequence semantics for deontic logic. Under submission (2015)

    Google Scholar 

  6. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Springer (1983)

    Google Scholar 

  11. Gaertner, W.: A Primer in Social Choice Theory: Revised Edition. Oup Oxford (2009)

    Google Scholar 

  12. Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rational behind the concept of goal. Theory and Practice of Logic Programming, forthcoming

    Google Scholar 

  13. 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)

    MathSciNet  MATH  Google Scholar 

  14. Hansen, J.: Conflicting imperatives and dyadic deontic logic. J. Applied Logic 3(3–4), 484–511 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hansson, B.: An analysis of some deontic logics. Nous 3, 373–398 (1969)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Google Scholar 

  17. Lang, J.: Logical preference representation and combinatorial vote. Ann. Math. Artif. Intell. 42(1–3), 37–71 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  18. Osherson, D., Weinstein, S.: Preference based on reasons. The Review of Symbolic Logic 5, 122–147 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  19. Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  20. Sen, A.: Social choice theory: A re-examination. Econometrica 45(1), 53–89 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  21. van Benthem, J., Grossi, D., Liu, F.: Priority structures in deontic logic. Theoria (2013)

    Google Scholar 

  22. van der Torre, L.: Reasoning about obligations: defeasibility in preference-based deontic logic. PhD thesis, Erasmus University Rotterdam (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CIRSFID, University of Bologna, Bologna, Italy

    Erica Calardo & Antonino Rotolo

  2. Software Systems Research Group, NICTA, Brisbane, QLD, Australia

    Guido Governatori

Authors
  1. Erica Calardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonino Rotolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Guido Governatori .

Editor information

Editors and Affiliations

  1. Jinan University, Guangzhou, China

    Qingliang Chen

  2. Università di Bologna, Bologna, Italy

    Paolo Torroni

  3. Inria - Sophia Antipolis-Méditerran, Sophia Antipolis, France

    Serena Villata

  4. National Taiwan University, Taipei, Taiwan

    Jane Hsu

  5. Università di Bologna, Bologna, Italy

    Andrea Omicini

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation