Sammanfattning Detta papper formaliserar en del av en välkänd psykologisk modell av känslor. I synnerhet den logiska struktur som ligger till grund för de förhållanden som utlöser känslor studeras och sedan hierarkiskt organiseras. De insikter som vunnits därifrån används för att vägleda en formalisering av känsloutlösare, som fortskrider i tre steg. Det första steget fångar upp de förhållanden som utlöser känslor på ett semiformellt sätt, d.v.s. utan att binda sig till en underliggande formalism och semantik. Det andra steget fångar de viktigaste psykologiska föreställningarna som används i känslomodellen i dynamisk doxastisk logik. Genom den tredje etappen införs en BDI-baserad ram (trovärdig avsikt) med mål för uppnåendet, som används för att ge en fast grund för de föregående etapperna. Resultatet är en formalisering av känsloutlösare för BDI-agenter med måluppfyllelse. Tanken med att gå vidare i dessa skeden är att ge olika nivåer av engagemang för formalismer, så att det förblir relativt lätt att förlänga eller ersätta de använda formalismerna utan att behöva börja från grunden. Slutligen visar vi att formaliseringen gör egenskaper hos känslor som är i linje med den psykologiska modell som den bygger på.
Enligt författarna, denna formalisering i tre steg tillåter systemet att "ge olika nivåer av engagemang för formalismer, så att det underlättar att förlänga eller ersätta de använda formalismer utan att behöva börja från grunden" REF.
A formal model of emotion triggers: an approach for BDI agents
{'venue': 'Synthese', 'journal': 'Synthese', 'mag_field_of_study': ['Mathematics', 'Computer Science']}