{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:39:07Z","timestamp":1726083547060},"publisher-location":"Cham","reference-count":63,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061630"},{"type":"electronic","value":"9783030061647"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_19","type":"book-chapter","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T02:03:20Z","timestamp":1588903400000},"page":"629-650","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalization of Cognitive-Agent Systems, Trust, and Emotions"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Ben-Naim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Longin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Adam C, Herzig A, Longin D (2009) A logical formalization of the OCC theory of emotions. Synthese 168(2):201\u2013248. ftp:\/\/ftp.irit.fr\/IRIT\/LILAC\/Journaux_internationaux\/2009_Adam_et_al_Synthese.pdf","DOI":"10.1007\/s11229-009-9460-9"},{"key":"19_CR2","unstructured":"Adam C, Gaudou B, Longin D, Lorini E (2011) Logical modeling of emotions for ambient intelligence. In: Mastrogiacomo F, Chong NY (eds) Handbook of research on ambient intelligence and smart environments: trends and perspectives, IGI Global"},{"key":"19_CR3","unstructured":"Amgoud L, Rahwan I (2006) An argumentation-based approach for practical reasoning. In: Weiss G, Stone P (eds) Proceedings of the international joint conference on autonomous agents and multiagent systems (AAMAS 2006), ACM, pp 347\u2013354"},{"key":"19_CR4","unstructured":"Austin JL (1962) How to do things with words. Oxford University, Oxford"},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag A, Moss LS (2004) Logics for epistemic programs. Synthese 139(2):165\u2013224","journal-title":"Synthese"},{"key":"19_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: agents and choices in our indeterminist world","author":"N Belnap","year":"2001","unstructured":"Belnap N, Perloff M, Xu M (2001) Facing the future: agents and choices in our indeterminist world. Oxford University, New York"},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem J, Liu F (2007) Dynamic logic of preference upgrade. J Appl Non-Class Log 17(2):157\u2013182","journal-title":"J Appl Non-Class Log"},{"key":"19_CR8","unstructured":"Berreby F, Bourgne G J-G G (2015) Modelling moral reasoning and ethical responsibility with logical programming. In: Logic for programming, artificial intelligence, and reasoning, LNCS, vol 9450, Springer, Berlin, pp 532\u2013548"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1017\/S0269888913000064","volume":"29","author":"PA Bonatti","year":"2014","unstructured":"Bonatti PA, Oliveira EC, Sabater-Mir J, Sierra C, Toni F (2014) On the integration of trust with negotiation, argumentation and semantics. Knowl Eng Rev 29(1):31\u201350. https:\/\/doi.org\/10.1017\/S0269888913000064","journal-title":"Knowl Eng Rev"},{"key":"19_CR10","first-page":"1","volume":"22","author":"JF Bonnefon","year":"2009","unstructured":"Bonnefon JF, Longin D, Nguyen MH (2009) A logical framework for trust-related emotions. Electron Commun EASST, Form Methods Interact Syst 22:1\u201316","journal-title":"Electron Commun EASST, Form Methods Interact Syst"},{"key":"19_CR11","volume-title":"Intentions, plans, and practical reason","author":"M Bratman","year":"1987","unstructured":"Bratman M (1987) Intentions, plans, and practical reason. Harvard University, Cambridge"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Burgess JP (2002) Basic tense logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 7, 2nd edn. Kluwer, pp 1\u201342","DOI":"10.1007\/978-94-017-0462-5_1"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Castaneda HN (1975) Thinking and Doing. D. Reidel, Dordrecht","DOI":"10.1007\/978-94-010-9888-5"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s11229-006-9156-3","volume":"155","author":"C Castelfranchi","year":"2007","unstructured":"Castelfranchi C, Paglieri F (2007) The role of beliefs in goal dynamics: Prolegomena to a constructive theory of intentions. Synthese 155:237\u2013263","journal-title":"Synthese"},{"volume-title":"Trust and deception in virtual societies","year":"2001","key":"19_CR15","unstructured":"Castelfranchi C, Tan YH (eds) (2001) Trust and deception in virtual societies. Kluwer Academic Publishers, Dordrecht"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Chellas BF (1980) Modal logic: an introduction. Cambridge","DOI":"10.1017\/CBO9780511621192"},{"issue":"2\u20133","key":"19_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR Cohen","year":"1990","unstructured":"Cohen PR, Levesque HJ (1990) Intention is choice with commitment. Artif Intell J 42(2\u20133):213\u2013261","journal-title":"Artif Intell J"},{"volume-title":"Intentions in communication","year":"1990","key":"19_CR18","unstructured":"Cohen PR, Morgan J, Pollack ME (eds) (1990) Intentions in communication. MIT, Cambridge"},{"key":"19_CR19","volume-title":"Cognitive and social action","author":"R Conte","year":"1995","unstructured":"Conte R, Castelfranchi C (1995) Cognitive and social action. London University College of London, London"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic epistemic logic. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"19_CR21","unstructured":"Ditmarsch Hv, der Hoek Wv, Kooi B (2007) Dynamic epistemic logic. Kluwer Academic Publishers"},{"issue":"1","key":"19_CR22","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s11023-017-9426-5","volume":"27","author":"D Dubois","year":"2017","unstructured":"Dubois D, Lorini E, Prade H (2017) The strength of desires: a logical approach. Minds Mach 27(1):199\u2013231. https:\/\/doi.org\/10.1007\/s11023-017-9426-5","journal-title":"Minds Mach"},{"issue":"3","key":"19_CR23","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1010030809960","volume":"3","author":"MS El-Nasr","year":"2000","unstructured":"El-Nasr MS, Yen J, Ioerger TR (2000) FLAME: fuzzy logic adaptive model of emotions. Auton Agents Multi-Agent Syst 3(3):219\u2013257","journal-title":"Auton Agents Multi-Agent Syst"},{"key":"19_CR24","unstructured":"Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) (2013) Handbook of deontic logic and normative systems. College Publication. http:\/\/www.collegepublications.co.uk\/downloads\/handbooks00001.pdf"},{"key":"19_CR25","volume-title":"On social facts","author":"M Gilbert","year":"1989","unstructured":"Gilbert M (1989) On social facts. Routledge, London"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Gochet P, Gribomont P (2006) Epistemic logic. In: Gabbay D, Woods J (eds) Handbook of the history of logic, vol 7. Elsevier, pp 99\u2013195","DOI":"10.1016\/S1874-5857(06)80028-2"},{"key":"19_CR27","volume-title":"The structure of emotions","author":"R Gordon","year":"1987","unstructured":"Gordon R (1987) The structure of emotions. Cambridge University, New York"},{"issue":"3\u20134","key":"19_CR28","first-page":"215","volume":"19","author":"J Gratch","year":"2005","unstructured":"Gratch J, Marsella S (2005) Lessons from emotion psychology for the design of lifelike characters. J Appl Artif Intell (special issue on Educational Agents - Beyond Virtual Tutors) 19(3\u20134):215\u2013233","journal-title":"J Appl Artif Intell (special issue on Educational Agents - Beyond Virtual Tutors)"},{"key":"19_CR29","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel D, Kozen D, Tiuryn J (2000) Dynamic logic. MIT, Cambridge"},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"Herzig A, Lorini E, H\u00c3bner JF, Vercouter L, (2010) A logic of trust and reputation Logic. J IGPL 18(1):214\u2013244","DOI":"10.1093\/jigpal\/jzp077"},{"issue":"2","key":"19_CR31","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11229-006-9145-6","volume":"155","author":"W van der Hoek","year":"2007","unstructured":"van der Hoek W, Jamroga W, Wooldridge M (2007) Towards a theory of intention revision. Synthese 155(2):265\u2013290","journal-title":"Synthese"},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Kamvar SD, Schlosser MT, Garcia-Molina H (2003) The eigentrust algorithm for reputation management in P2P networks. In: 12th international conference on World Wide Web (WWW), ACM, pp 640\u2013651","DOI":"10.1145\/775152.775242"},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"Kooi B (2007) Expressivity and completeness for public update logic via reduction axioms. J Appl Non-Class Log 17(2):231\u2013253","DOI":"10.3166\/jancl.17.231-253"},{"issue":"1","key":"19_CR34","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1093\/logcom\/exs003","volume":"23","author":"A Koster","year":"2013","unstructured":"Koster A, Schorlemmer WM, Sabater-Mir J (2013) Opening the black box of trust: reasoning about trust models in a BDI agent. J Log Comput 23(1):25\u201358. https:\/\/doi.org\/10.1093\/logcom\/exs003","journal-title":"J Log Comput"},{"key":"19_CR35","doi-asserted-by":"crossref","unstructured":"Lane R, Nadel L (eds) (2000) The cognitive neuroscience of emotions., Oxford","DOI":"10.1093\/oso\/9780195118889.001.0001"},{"issue":"3","key":"19_CR36","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1080\/15427951.2004.10129091","volume":"1","author":"AN Langville","year":"2005","unstructured":"Langville AN, Meyer CD (2005) Deeper inside pagerank. Internet Math 1(3):335\u2013400","journal-title":"Internet Math"},{"key":"19_CR37","unstructured":"Laverny N, Lang J (2005) From knowledge-based programs to graded belief-based programs, part ii: off-line reasoning. In: Proceedings of IJCAI\u201905, Professional book center, pp 497\u2013502"},{"key":"19_CR38","doi-asserted-by":"crossref","unstructured":"Lazarus RS (1991) Emotion and adaptation. Oxford University, Oxford","DOI":"10.1093\/oso\/9780195069945.001.0001"},{"key":"19_CR39","doi-asserted-by":"crossref","unstructured":"van Linder B, van der Hoek WJJC, Meyer, (1998) Formalising abilities and opportunities. Fundamenta Informaticae 34:53\u2013101","DOI":"10.3233\/FI-1998-341203"},{"issue":"2","key":"19_CR40","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1257\/aer.90.2.426","volume":"90","author":"G Loewenstein","year":"2000","unstructured":"Loewenstein G (2000) Emotions in economic theory and economic behavior. Am Econ Rev 90(2):426\u2013432","journal-title":"Am Econ Rev"},{"key":"19_CR41","unstructured":"Lorini E (2011) The cognitive anatomy and functions of expectations revisited. In: Paglieri F, Tummolini L, Falcone R, Miceli M (eds) The goals of cognition: festschfit for cristiano castelfranchi, College Publications, London, to appear"},{"issue":"230","key":"19_CR42","first-page":"177","volume":"58","author":"E Lorini","year":"2016","unstructured":"Lorini E (2016) A logic for reasoning about moral agents. Log Anal 58(230):177\u2013218","journal-title":"Log Anal"},{"key":"19_CR43","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1016\/j.artint.2010.11.022","volume":"175","author":"E Lorini","year":"2011","unstructured":"Lorini E, Schwarzentruber F (2011) A logic for reasoning about counterfactual emotions. Artif Intell 175:814\u2013847","journal-title":"Artif Intell"},{"key":"19_CR44","doi-asserted-by":"crossref","unstructured":"Lorini E, Longin D, Gaudou B, Herzig A (2009) The logic of acceptance: grounding institutions on agents\u2019 attitudes. J Log Comput 19(6):901\u2013940. ftp:\/\/ftp.irit.fr\/IRIT\/LILAC\/JLC.pdf","DOI":"10.1093\/logcom\/exn103"},{"key":"19_CR45","unstructured":"Marsh S (1994) Formalising trust as a computational concept. Ph.D. thesis, Department of computing sciece and. mathematics, University of Sterling"},{"key":"19_CR46","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511571299","volume-title":"The cognitive structure of emotions","author":"A Ortony","year":"1988","unstructured":"Ortony A, Clore G, Collins A (1988) The cognitive structure of emotions. Cambridge University, Cambridge"},{"key":"19_CR47","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.knosys.2015.02.024","volume":"82","author":"N Osman","year":"2015","unstructured":"Osman N, Gutierrez P, Sierra C (2015) Trustworthy advice. Knowl-Based Syst 82:41\u201359. https:\/\/doi.org\/10.1016\/j.knosys.2015.02.024","journal-title":"Knowl-Based Syst"},{"key":"19_CR48","unstructured":"Page L, Brin S, Motwani R, Winograd T (1998) The PageRank Citation Ranking: Bringing Order to the Web. Technical report, Stanford Digital Library Technologies Project"},{"key":"19_CR49","doi-asserted-by":"publisher","first-page":"3539","DOI":"10.1098\/rstb.2009.0186","volume":"364","author":"C Pelachaud","year":"2009","unstructured":"Pelachaud C (2009) Modelling multimodal expression of emotion in a virtual agent. Philos Trans R Soc B 364:3539\u20133548","journal-title":"Philos Trans R Soc B"},{"issue":"1","key":"19_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10462-011-9277-z","volume":"40","author":"I Pinyol","year":"2013","unstructured":"Pinyol I, Sabater-Mir J (2013) Computational trust and reputation models for open multi-agent systems: a review. Artif Intell Rev 40(1):1\u201325. https:\/\/doi.org\/10.1007\/s10462-011-9277-z","journal-title":"Artif Intell Rev"},{"key":"19_CR51","unstructured":"Rao AS, Georgeff MP (1991) Modeling rational agents within a BDI-architecture. Morgan Kaufmann Publishers, pp 473\u2013484"},{"key":"19_CR52","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S1071-5819(03)00020-X","volume":"59","author":"F de Rosis","year":"2003","unstructured":"de Rosis F, Pelachaud C, Poggi I, Carofiglio V, De Carolis B (2003) From greta\u2019s mind to her face: modelling the dynamics of affective states in a conversational embodied agent. Int J Hum-Comput Stud 59:81\u2013118","journal-title":"Int J Hum-Comput Stud"},{"key":"19_CR53","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10462-004-0041-5","volume":"24","author":"J Sabater","year":"2005","unstructured":"Sabater J, Sierra C (2005) Review on computational trust and reputation models. Artif Intell 24:33\u201360","journal-title":"Artif Intell"},{"key":"19_CR54","doi-asserted-by":"crossref","unstructured":"Searle JR (1969) Speech acts: an essay in the philosophy of language. Cambridge","DOI":"10.1017\/CBO9781139173438"},{"key":"19_CR55","doi-asserted-by":"crossref","unstructured":"Searle JR (1983) Intentionality: an essay in the philosophy of mind. Cambridge","DOI":"10.1017\/CBO9781139173452"},{"issue":"3\u20134","key":"19_CR56","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF01028968","volume":"51","author":"K Segerberg","year":"1992","unstructured":"Segerberg K (1992) Getting started: Beginnings in the logic of action. Studia Logica 51(3\u20134):347\u2013378","journal-title":"Studia Logica"},{"issue":"4","key":"19_CR57","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1093\/jigpal\/3.4.535","volume":"3","author":"K Segerberg","year":"1995","unstructured":"Segerberg K (1995) Belief revision from the point of view of doxastic logic. Log J IGPL 3(4):535\u2013553","journal-title":"Log J IGPL"},{"key":"19_CR58","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"MP Singh","year":"1999","unstructured":"Singh MP (1999) An ontology for commitments in multiagent systems. Artif Intell Law 7:97\u2013113","journal-title":"Artif Intell Law"},{"key":"19_CR59","unstructured":"Steunebrink BR, Dastani M, Meyer JJC (2008) A formal model of emotions: integrating qualitative and quantitative aspects. In: Proceedings of the 18th European conference on artificial intelligence (ECAI 2008), IOS, pp 256\u2013260"},{"key":"19_CR60","doi-asserted-by":"crossref","unstructured":"Turrini P, Meyer JJC, Castelfranchi C (2010) Coping with shame and sense of guilt: a dynamic logic account. J AAMAS 20(3)","DOI":"10.1007\/s10458-009-9083-z"},{"key":"19_CR61","doi-asserted-by":"crossref","unstructured":"van Benthem J (1991) The logic of time. D. Reidel Publishing Company","DOI":"10.1007\/978-94-015-7947-6"},{"key":"19_CR62","doi-asserted-by":"crossref","unstructured":"Wooldridge M (2000) Reasoning about rational agents. MIT, USA","DOI":"10.7551\/mitpress\/5804.001.0001"},{"key":"19_CR63","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1006\/obhd.1998.2780","volume":"74","author":"M Zeelenberg","year":"1998","unstructured":"Zeelenberg M, van Dijk WW, Manstead ASR (1998) Reconsidering the relation between regret and responsibility. Organ Behav Hum Decis Process 74:254\u2013272","journal-title":"Organ Behav Hum Decis Process"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T14:00:00Z","timestamp":1722866400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_19","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}