基于LOBA邏輯的情感主體更新模型

張桂蕓, 王元元

(1.天津師范大學計算機與信息工程學院 天津300387; 2.解放軍理工大學計算機系 江蘇南京210007)

基于LOBA邏輯的情感主體更新模型

張桂蕓1, 王元元2

(1.天津師范大學計算機與信息工程學院 天津300387; 2.解放軍理工大學計算機系 江蘇南京210007)

為使智能主體能夠有效處理情感,提出一種基于情感強度的情感主體更新體系結(jié)構(gòu),以及基于LOBA邏輯的情感主體更新模型.該模型為構(gòu)建支持情感推理的情感規(guī)則庫提供了理論依據(jù).

LOBA邏輯;情感主體;情感更新模型

0 引言

心理學對情感的一種解釋是:情感是智能主體對自身狀態(tài)以及智能主體及環(huán)境間關(guān)系狀況的評價[1].神經(jīng)生理學家Damasio研究發(fā)現(xiàn),由于控制邏輯推理的大腦皮層和控制情感的邊緣系統(tǒng)之間通道的缺損,病人盡管具有正常甚至超常的理性思維和邏輯推理能力,但嚴重阻礙了決策能力的運用[2].目前的計算機從原理上講主要是基于邏輯推理式系統(tǒng),根本不存在情感能力,人工智能也只是邏輯推理能力的體現(xiàn).然而,作為一個擁有智能的主體,情感方面的能力也是主體智能向人類智能演化過程中不可缺少的一部分.

文[3-7]的情感模型采用的基本上是非形式化的描述框架,沒有給出統(tǒng)一的形式表示語言及在此基礎(chǔ)上建立的推理機制.

情感也是構(gòu)建可信主體的一個重要工具.情感使得主體的心理過程更符合人類的一般規(guī)律,從而提高主體的可信性.可信主體邏輯LOBA[8](logic of believable agents)是在KARO邏輯和LORA邏輯的基礎(chǔ)上發(fā)展出來的一種多模態(tài)邏輯,試圖通過邏輯的方法對可信主體建立一個主體認知過程模型,并用LOBA進行形式化表示.在主體認知過程的模型中,考慮包括主體的感知、信念、情緒、期望、目標、意圖、承諾在內(nèi)的各種認知成分,通過引入相應(yīng)的認知動作和非認知產(chǎn)生的情感進行推理,以此更新情感主體.LOBA邏輯擴展了KARO邏輯和LORA邏輯,將主體的情緒和認知動作都作為模態(tài)算子進行處理,LOBA可以在更細的粒度上來刻畫主體情感的動態(tài)更新過程.

本文將6種基本情感納入到主體的邏輯模型中,并加入情感強度的計算與判斷,提出一種情感主體更新的體系結(jié)構(gòu),以及基于LOBA邏輯的情感主體描述模型,以期構(gòu)建通用的情感主體描述模型和情感更新機制.

1 情感智能主體更新的體系結(jié)構(gòu)

1.1 情感強度與激活閾值

情感強度受很多因素的影響,包括內(nèi)部的影響因子(如情感的自我衰減)和外部的影響因子(如外部事件的刺激).這些影響因子直接和相應(yīng)的情感產(chǎn)生器對應(yīng),并且根據(jù)對情感強度的加強或削弱作用分為興奮性的因子和抑制性的因子.

假設(shè)有k種基本情感,則情感強度可以定義為

其中,Iei,t表示在時刻t情感ei的強度值;Ψ()是衰減函數(shù),指定情感ei衰減的方式;δt(el)是在t時刻所有情感產(chǎn)生器的總效應(yīng)和;λki是情感ek對情感ei的影響因子(包括抑制性的和興奮性的),若情感ei抑制情感ej,則λij<0(抑制性因子);若情感ei加強情感ej,則λij>0(興奮性因子);若情感ei對情感ej沒有直接影響或i =j,則λij=0.

某種情感的強度達到一定程度就會激活這種情感,這時情感強度的大小就稱為此情感的激活閾值.個體的性格差異直接影響著激活閾值的水平,激活閾值描述為

其中,ω表示激活閾值;ω0是激活閾值常量,表示個體的平均激活水平;ε表示性格對情感閾值的影響因子.

個體在t時刻的情感狀態(tài)由向量Et給出,Et=(e0,t,e1,t,…,ei,t,…,ek,t),i=0,…,k,

人的情感狀態(tài)可能會隨著時間的推移而不斷變遷,隨著情感狀態(tài)的變遷,情感狀態(tài)向量也不斷更新.

1.2 情感主體更新過程與體系結(jié)構(gòu)

認知在情感產(chǎn)生過程中發(fā)揮了關(guān)鍵作用,但是認知過程又異常復雜,目前在認知科學和心理學上都還沒有公認的模型[9].我們通過主體信念、愿望、規(guī)范等認知要素協(xié)同作用,根據(jù)情感強度的計算和判斷以及主體知識中已有的關(guān)于情感產(chǎn)生的規(guī)則,使主體更新自己的情感,并通過相應(yīng)的行為將情感表達出來.主體情感的更新過程包括如下步驟:

step1主體通過感知模塊感知外部環(huán)境事件,并和已有信念通過信念更新模塊更新自己的信念.

step2主體根據(jù)新的信念,在情感規(guī)則庫的指導下,與已有愿望、規(guī)范、偏好等相互作用,計算情感強度,做閾值判斷,實施情感激活.

step3通過情感更新模塊作用于智能主體情感產(chǎn)生新的情感狀態(tài).

step4主體在新信念和新情感狀態(tài)的作用下,通過愿望更新模塊產(chǎn)生新的愿望,繼而產(chǎn)生新的目標、意圖,直至在意圖、承諾作用下產(chǎn)生行為作用于外部環(huán)境.

我們將情感更新模塊嵌入到原有BD I主體的模型中,提出一種基于情感強度計算與判斷的情感主體體系結(jié)構(gòu),包含了上述情感更新過程,如圖1所示.圖中的“情感更新模塊”代表了認知評價部分,一個擁有正常情感的主體,將在環(huán)境中不斷重復著上述過程,對外部環(huán)境中的變化做出情感更新與響應(yīng).

圖1 情感智能主體更新體系結(jié)構(gòu)圖Fig.1 Structure fo r emotional agent update

2 情感智能主體的模型描述

2.1 模型動作描述

首先,說明模型中的動作語法符號.

對動作算子的解釋借鑒了可信主體邏輯LOBA[8],將動作區(qū)分為非認知動作和認知動作,將情感的更新過程也看作認知動作,從而在認知動作中對其進行更細粒度的刻畫,公式定義為

這里,我們選取最具一般性的人類的6種基本情感:快樂、悲傷、恐懼、憤怒、驚訝、厭惡,來對它們的推理過程進行建模.Happyiφ,Sadiφ,Fearfuliφ,Angryiφ,Surp riseiφ,Disgustiφ表示主體對φ分別具有上述6種情感,從而將情感作為新的算子引入BD I模型.

Doneiα表示i執(zhí)行了非認知動作α;Abliα表示i有能力執(zhí)行非認知動作α;Comiα表示i承諾執(zhí)行非認知動作α;Obli(j,α)表示i認為j有義務(wù)執(zhí)行非認知動作α;Fbdi(j,α)表示i認為j不應(yīng)該執(zhí)行非認知動作α; [doi(γ)]φ表示如果i執(zhí)行動作γ則必然φ.

需要說明的是,Doneiα、Abliα、Comiα、Obli(j,α)、Fbdi(j,α)并不是嚴格意義上的模態(tài)算子,而是在特定模型上解釋的謂詞.

將一個全局狀態(tài)定義為δ=〈e,mi〉,其中e表示環(huán)境狀態(tài),mi表示主體i的心智狀態(tài).在此基礎(chǔ)上,我們對情感智能主體給出如下定義.

2.2 情感智能主體的形式化描述

定義1一個情感主體心智狀態(tài)模型S是一個十元組:

其中Δ={δ},{RT},{RPi},{RBi},{RDi},{RGi},{RIi},{RCi},{REi}都是Δ上的可達關(guān)系,RT為時序上的可達關(guān)系,RPi,RBi,RDi,RGi,RIi,RCi,REi分別表示主體感知、信念、愿望、目標、意圖、承諾、情感上的可達關(guān)系.

fp rop:Δ→2{p}是從全局狀態(tài)集合Δ到原子命題集合{p}的冪集上的映射.

定義2一個情感主體心智更新模型N是一個二元組,N=〈{〈S,δ〉},{Rβ}〉,其中〈S,δ〉為全局狀態(tài)δ及其所對應(yīng)的主體心智狀態(tài)模型S的序?qū)?{Rβ}為認知動作β在主體心智狀態(tài)序?qū)蟵〈S,δ〉}上的可達關(guān)系集合,表示主體心智狀態(tài)隨認知動作的更新.所有的認知動作可達關(guān)系應(yīng)當滿足:任一認知動作β作用于心智狀態(tài)時,只會影響該認知動作所涉及的可達關(guān)系,而心智狀態(tài)其余內(nèi)容保持不變.

基于此形式化描述的公理(后續(xù)論文給出)將作為情感更新的規(guī)則,被置入情感規(guī)則庫中.當新信念形成時,情感更新模塊將它與已有愿望或規(guī)范通過公理進行模式上的匹配,以及情感激活的計算與閾值判斷、推理,從而確定主體會產(chǎn)生何種情感更新.

3 結(jié)束語

情感的可計算模型在虛擬環(huán)境交互、決策支持、主體協(xié)作中都極其有用.本文比較系統(tǒng)地將情感納入到主體的邏輯模型中,構(gòu)建了通用的情感主體更新模型,并描述情感更新的機制.該模型能夠充分體現(xiàn)情感主體的本質(zhì)特征和運行機制,使情感主體有較強的表達能力和擴展能力,為構(gòu)建支持情感推理的情感規(guī)則庫提供理論依據(jù).

[1] O rtony A,Clore G,Collins A.The Cognitive Structure of Emotions[M].Cambridge,UK:Cambridge University Press,1988.

[2] Damasio A.Descartes’Error:Emotion,Reason,and the Human Brain[M].New York:Harper Perennial,1995.

[3] M eyer J J C.Reasoning about emo tional agents[J].International Journal of Intelligence System s,2006,21(6): 601-619.

[4] Adam C,Gaudou B,Herzig A,et al.OCC’s emotions:a fo rmalization in a BD Ilogic[C]//Proceedingsof 12th International Conference on A rtificial Intelligence:Methodology,Systems and App lications.Varna,Bulgaria,2006:24-32.

[5] Ochs M,Niew iadomski R,Pelachaud C,et al.Intelligent exp ressions of emotions[C]//Proceedings of the 1st International Conference on Affective Computing and Intelligent Interaction.Beijing,2005:707-714.

[6] 張冬蕾,史忠植,潘瑜.情感主體形式模型[J].模式識別與人工智能,2009,22(3):381-387.

[7] Pan Yu,Cao Cungen,Sui Yuefei.A logic of believable agents[C]//Proceedingsof the 5th IEEE International Conference on Cognitive Info rmatics.Beijing,2006:185-194.

[8] 潘瑜曹存根眭躍飛.基于LOBA邏輯的言語行為表示[J].計算機研究與發(fā)展,2007,44(3):420-426.

[9] Gratch J,Marsella S.A domain independent framework for modeling emotion[J].Journal of Cognitive System s Research,2004,5(4):269-306.

Model of Emotional Agent Based on the LOBA

ZHANG Gui-yun1, WANG Yuan-yuan2
(1.School of Com puter and Inform ation Engineering,Tianjin Norm al University,Tianjin 300387,China;2.Department of Com puter Science,PLA University of Science and Technology,N anjing 210007,China)

To enable intelligent agents effectively deal w ith emotion,the architecture of emotional agent update p rocess is p resented.A nd based on the LOBA logic the fo rmal descrip tion and axiom s derived about emotional agent are described.The model p rovides theoretical foundation for the construction of emotional rule base that suppo rts emotion reasoning.

LOBA logic;emotional agent;model of emotion update

TP 181

A

1671-6841(2010)03-0067-04

2010-02-24

國家自然科學基金資助項目,編號60970060;天津市科技支撐計劃重點資助項目,編號09ZCKFGX00500;天津市教委資助項目,編號20071328;天津師范大學博士基金資助項目,編號52LX17.

張桂蕓(1965-),女,教授,主要從事人工智能和數(shù)據(jù)挖掘研究,E-mail:dyxy1999@126.com.