Skip to main content
SpringerLink
Log in

A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling

  • Conference paper
Logic, Rationality, and Interaction (LORI 2011)

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

Included in the following conference series:

Abstract

The paper introduces a logic which allows to represent different kinds of mental states of an agent such as knowledge, graded belief, and graded goal, and the notion of epistemic action (as the action of learning that a certain fact φ is true.) The logic is applied to the formalization of expectation-based emotions such as hope, fear, disappointment and relief, and of their intensity.

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. Adam, C., Herzig, A., Longin, D.: A logical formalization of the OCC theory of emotions. Synthese 168(2), 201–248 (2009)

    Article  MATH  Google Scholar 

  2. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. of Symbolic Logic 50(2), 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  3. Aucher, G.: A combined system for update logic and belief revision. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 1–17. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Proc. of LOFT 7, Texts in Logic and Games, vol. 3, pp. 13–60. Amsterdam University Press, Amsterdam (2008)

    Google Scholar 

  5. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. J. of Philosophical Logic 38(5), 491–526 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Castelfranchi, C., Lorini, E.: Cognitive anatomy and functions of expectations. In: Sun, R. (ed.) Proc. of IJCAI 2003 Workshop on Cognitive Modelling of Agents and Multi-Agent Interactions, pp. 29–36 (2003)

    Google Scholar 

  7. van Ditmarsch, H.: Prolegomena to dynamic logic for belief revision. Synthese 147(2), 229–275 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Heidelberg (2007)

    Book  MATH  Google Scholar 

  9. Gratch, J., Marsella, S.: A domain independent framework for modeling emotion. J. of Cognitive Systems Research 5(4), 269–306 (2004)

    Article  Google Scholar 

  10. Grove, A.: Two modellings for theory change. J. of Philosophical Logic 17, 157–170 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  11. Klein, P.D.: A proposed definition of propositional knowledge. J. of Philosophy 68, 471–482 (1971)

    Article  Google Scholar 

  12. Laverny, N., Lang, J.: From knowledge-based programs to graded belief-based programs, part II: off-line reasoning. In: Proc. of IJCAI 2005, pp. 497–502 (2005)

    Google Scholar 

  13. Lorini, E., Castelfranchi, C.: The cognitive structure of surprise: looking for basic principles. Topoi: an International Review of Philosophy 26(1), 133–149 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  14. Lorini, E., Schwarzentruber, F.: A logic for reasoning about counterfactual emotions. Artificial Intelligence 175(3-4), 814–847 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Meyer, J.J.: Reasoning about emotional agents. International J. of Intelligent Systems 21(6), 601–619 (2006)

    Article  MATH  Google Scholar 

  16. Ortony, A., Clore, G.L., Collins, A.: The cognitive structure of emotions. Cambridge University Press, Cambridge (1988)

    Book  Google Scholar 

  17. Reisenzein, R.: Emotions as metarepresentational states of mind: naturalizing the belief-desire theory of emotion. Cognitive Systems Research 10, 6–20 (2009)

    Article  Google Scholar 

  18. Rott, H.: Stability, strength and sensitivity: converting belief into knowledge. Erkenntnis 61, 469–493 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  19. Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Causation in Decision, Belief Change and Statistics, pp. 105–134. Kluwer, Dordrecht (1998)

    Google Scholar 

  20. Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies 128, 169–199 (2006)

    Article  MathSciNet  Google Scholar 

  21. Steunebrink, B., Dastani, M., Meyer, J.J.: A formal model of emotions: integrating qualitative and quantitative aspects. In: Proc. of ECAI 2008, pp. 256–260 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Toulouse, IRIT-CNRS, France

    Emiliano Lorini

Authors
  1. Emiliano Lorini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Sevilla, Camilo José Cela s/n, 41018, Sevilla, Spain

    Hans van Ditmarsch

  2. Université Paul Sabatier, IRIT, 118 Route de Narbonne, 31062, Toulouse Cedex 04, France

    Jérôme Lang

  3. Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, 510275, Guangzhou, China

    Shier Ju

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lorini, E. (2011). A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling. In: van Ditmarsch, H., Lang, J., Ju, S. (eds) Logic, Rationality, and Interaction. LORI 2011. Lecture Notes in Computer Science(), vol 6953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24130-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24130-7_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24129-1

  • Online ISBN: 978-3-642-24130-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation