메뉴 건너뛰기




Volumn 175, Issue 3-4, 2011, Pages 814-847

A logic for reasoning about counterfactual emotions

Author keywords

Emotions; Modal logic; STIT

Indexed keywords

EMOTIONS; LOGICAL FRAMEWORKS; MODAL LOGIC; STIT; THEORETICAL COMPUTER SCIENCE;

EID: 78650731192     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.11.022     Document Type: Article
Times cited : (60)

References (71)
  • 1
    • 63949087626 scopus 로고    scopus 로고
    • A logical formalization of the OCC theory of emotions
    • C. Adam, A. Herzig, and D. Longin A logical formalization of the OCC theory of emotions Synthese 168 2 2009 201 248
    • (2009) Synthese , vol.168 , Issue.2 , pp. 201-248
    • Adam, C.1    Herzig, A.2    Longin, D.3
  • 4
    • 0042908709 scopus 로고    scopus 로고
    • Alternating-time temporal logic
    • R. Alur, and T. Henzinger Alternating-time temporal logic Journal of the ACM 49 2002 672 713
    • (2002) Journal of the ACM , vol.49 , pp. 672-713
    • Alur, R.1    Henzinger, T.2
  • 7
    • 46349111802 scopus 로고    scopus 로고
    • Alternative axiomatics and complexity of deliberative STIT theories
    • P. Balbiani, A. Herzig, and N. Troquard Alternative axiomatics and complexity of deliberative STIT theories Journal of Philosophical Logic 37 4 2008 387 406
    • (2008) Journal of Philosophical Logic , vol.37 , Issue.4 , pp. 387-406
    • Balbiani, P.1    Herzig, A.2    Troquard, N.3
  • 8
    • 0028477517 scopus 로고
    • The role of emotion in believable agents
    • J. Bates The role of emotion in believable agents Communications of the ACM 37 7 1994 122 125
    • (1994) Communications of the ACM , vol.37 , Issue.7 , pp. 122-125
    • Bates, J.1
  • 12
    • 33750720613 scopus 로고    scopus 로고
    • Embedding Alternating-time temporal logic in strategic STIT logic of agency
    • J. Broersen, A. Herzig, and N. Troquard Embedding Alternating-time temporal logic in strategic STIT logic of agency Journal of Logic and Computation 16 5 2006 559 578
    • (2006) Journal of Logic and Computation , vol.16 , Issue.5 , pp. 559-578
    • Broersen, J.1    Herzig, A.2    Troquard, N.3
  • 17
    • 0025403233 scopus 로고
    • Intention is choice with commitment
    • P.R. Cohen, and H.J. Levesque Intention is choice with commitment Artificial Intelligence 42 2-3 1990 213 261
    • (1990) Artificial Intelligence , vol.42 , Issue.23 , pp. 213-261
    • Cohen, P.R.1    Levesque, H.J.2
  • 19
    • 0036948051 scopus 로고    scopus 로고
    • Investigating the appraisal patterns of regret and disappointment
    • W.W. Dijk, and M. Zeelenberg Investigating the appraisal patterns of regret and disappointment Motivation and Emotion 26 4 2002 321 331
    • (2002) Motivation and Emotion , vol.26 , Issue.4 , pp. 321-331
    • Dijk, W.W.1    Zeelenberg, M.2
  • 22
    • 0003893572 scopus 로고
    • Cambridge University Press
    • N. Frijda The Emotions 1986 Cambridge University Press
    • (1986) The Emotions
    • Frijda, N.1
  • 27
    • 10344257211 scopus 로고    scopus 로고
    • A domain-independent framework for modelling emotions
    • J. Gratch, and S. Marsella A domain-independent framework for modelling emotions Journal of Cognitive Systems Research 5 4 2004 269 306
    • (2004) Journal of Cognitive Systems Research , vol.5 , Issue.4 , pp. 269-306
    • Gratch, J.1    Marsella, S.2
  • 28
    • 0026853865 scopus 로고
    • A guide to completeness and complexity for modal logics of knowledge and belief
    • J.Y. Halpern, and Y. Moses A guide to completeness and complexity for modal logics of knowledge and belief Artificial Intelligence 54 2 1992 319 379
    • (1992) Artificial Intelligence , vol.54 , Issue.2 , pp. 319-379
    • Halpern, J.Y.1    Moses, Y.2
  • 31
    • 0000569452 scopus 로고
    • The deliberative STIT: A study of action, omission, and obligation
    • J.F. Horty, and N. Belnap The deliberative STIT: A study of action, omission, and obligation Journal of Philosophical Logic 24 6 1995 583 644
    • (1995) Journal of Philosophical Logic , vol.24 , Issue.6 , pp. 583-644
    • Horty, J.F.1    Belnap, N.2
  • 33
    • 0000050520 scopus 로고
    • Norm theory: Comparing reality to its alternatives
    • D. Kahneman, and D.T. Miller Norm theory: comparing reality to its alternatives Psychological Review 93 2 1986 136 153
    • (1986) Psychological Review , vol.93 , Issue.2 , pp. 136-153
    • Kahneman, D.1    Miller, D.T.2
  • 35
    • 0000595575 scopus 로고
    • The computational complexity of provability in systems of modal propositional logic
    • R.E. Ladner The computational complexity of provability in systems of modal propositional logic SIAM Journal on Computing 6 3 1977 467 480
    • (1977) SIAM Journal on Computing , vol.6 , Issue.3 , pp. 467-480
    • Ladner, R.E.1
  • 37
    • 0000923828 scopus 로고
    • Regret theory: An alternative theory of rational choice under uncertainty
    • G. Loomes, and R. Sugden Regret theory: an alternative theory of rational choice under uncertainty Economic Journal 92 4 1982 805 824
    • (1982) Economic Journal , vol.92 , Issue.4 , pp. 805-824
    • Loomes, G.1    Sugden, R.2
  • 38
    • 84936628640 scopus 로고
    • Testing for regret and disappointment in choice under uncertainty
    • G. Loomes, and R. Sugden Testing for regret and disappointment in choice under uncertainty Economic Journal 97 1987 118 129
    • (1987) Economic Journal , vol.97 , pp. 118-129
    • Loomes, G.1    Sugden, R.2
  • 43
    • 0036466117 scopus 로고    scopus 로고
    • A modal logic for coalitional power in games
    • M. Pauly A modal logic for coalitional power in games Journal of Logic and Computation 12 1 2002 149 166
    • (2002) Journal of Logic and Computation , vol.12 , Issue.1 , pp. 149-166
    • Pauly, M.1
  • 46
    • 0004096821 scopus 로고
    • Building emotional agents
    • CMUCS-92-143, School of Computer Science, Carnegie Mellon University
    • W.S. Reilly, J. Bates, Building emotional agents, Tech. Rep., CMUCS-92-143, School of Computer Science, Carnegie Mellon University, 1992.
    • (1992) Tech. Rep.
    • Reilly, W.S.1    Bates, J.2
  • 47
    • 67249144314 scopus 로고    scopus 로고
    • Emotional experience in the computational belief-desire theory of emotion
    • R. Reisenzein Emotional experience in the computational belief-desire theory of emotion Emotion Review 1 3 2009 214 222
    • (2009) Emotion Review , vol.1 , Issue.3 , pp. 214-222
    • Reisenzein, R.1
  • 48
    • 0030636245 scopus 로고    scopus 로고
    • Counterfactual thinking
    • N.J. Roese Counterfactual thinking Psychological Bulletin 121 1 1997 133 148
    • (1997) Psychological Bulletin , vol.121 , Issue.1 , pp. 133-148
    • Roese, N.J.1
  • 49
    • 34247531797 scopus 로고    scopus 로고
    • The mechanics of imagination: Automaticity and control in counterfactual thinking
    • N.J. Roese, L.J. Sanna, and A.D. Galinsky The mechanics of imagination: automaticity and control in counterfactual thinking R.R. Hassin, J.S. Uleman, J.A. Bargh, The New Unconscious 2005 Oxford University Press
    • (2005) The New Unconscious
    • Roese, N.J.1    Sanna, L.J.2    Galinsky, A.D.3
  • 51
    • 0001126515 scopus 로고    scopus 로고
    • Appraisal determinants of emotions: Constructing a more accurate and comprehensive theory
    • I.J. Roseman, A.A. Antoniou, and P.E. Jose Appraisal determinants of emotions: constructing a more accurate and comprehensive theory Cognition and Emotion 10 1996 241 277
    • (1996) Cognition and Emotion , vol.10 , pp. 241-277
    • Roseman, I.J.1    Antoniou, A.A.2    Jose, P.E.3
  • 52
    • 0002088759 scopus 로고    scopus 로고
    • Appraisal considered as a process of multilevel sequential checking
    • K. Scherer Appraisal considered as a process of multilevel sequential checking K.R. Scherer, A. Schorr, T. Johnstone, Appraisal Processes in Emotion: Theory, Methods, Research 2001 Oxford University Press Oxford
    • (2001) Appraisal Processes in Emotion: Theory, Methods, Research
    • Scherer, K.1
  • 57
    • 0004200534 scopus 로고
    • University of Notre Dame Press Notre Dame
    • R.C. Solomon The Passions 1976 University of Notre Dame Press Notre Dame
    • (1976) The Passions
    • Solomon, R.C.1
  • 59
    • 0002335083 scopus 로고
    • Regret, recrimination and rationality
    • R. Sugden Regret, recrimination and rationality Theory and Decision 19 1 1985 77 99
    • (1985) Theory and Decision , vol.19 , Issue.1 , pp. 77-99
    • Sugden, R.1
  • 61
    • 46349093037 scopus 로고    scopus 로고
    • Ph.D. thesis, Univ. Paul Sabatier Toulouse III & Univ. degli studi di Trento
    • N. Troquard, Independent agents in branching time, Ph.D. thesis, Univ. Paul Sabatier Toulouse III & Univ. degli studi di Trento, 2007.
    • (2007) Independent Agents in Branching Time
    • Troquard, N.1
  • 64
    • 78650689720 scopus 로고    scopus 로고
    • Towards a dynamic logic of questions
    • Proceedings of Second International Workshop on Logic, Rationality and Interaction (LORI-II), Springer-Verlag
    • J. van Benthem, and S. Minicǎ Towards a dynamic logic of questions Proceedings of Second International Workshop on Logic, Rationality and Interaction (LORI-II) LNCS vol. 5834 2009 Springer-Verlag 27 41
    • (2009) LNCS , vol.5834 , pp. 27-41
    • Van Benthem, J.1    Minicǎ, S.2
  • 66
    • 4544383448 scopus 로고    scopus 로고
    • Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
    • W. van der Hoek, and M. Wooldridge Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications Studia Logica 75 2003 125 157
    • (2003) Studia Logica , vol.75 , pp. 125-157
    • Van Der Hoek, W.1    Wooldridge, M.2
  • 69
    • 0033919360 scopus 로고    scopus 로고
    • On bad decisions and disconfirmed expectancies: The psychology of regret and disappointment
    • M. Zeelenberg, W. van Dijk, A.S.R. Manstead, and J. van der Pligt On bad decisions and disconfirmed expectancies: The psychology of regret and disappointment Cognition and Emotion 14 4 2000 521 541
    • (2000) Cognition and Emotion , vol.14 , Issue.4 , pp. 521-541
    • Zeelenberg, M.1    Van Dijk, W.2    Manstead, A.S.R.3    Van Der Pligt, J.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.