天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

基于Em-BDI-VSK邏輯的Agent系統(tǒng)形式化模型的研究

發(fā)布時間:2021-10-15 16:18
  隨著人工智能的發(fā)展,有關(guān)Agent理論和技術(shù)的研究和應(yīng)用引起了人們的高度關(guān)注和重視.在Agent的理論研究中,人們常常從較高層次利用基于意向觀點(diǎn)的抽象工具來研究和認(rèn)識主體.除基于意向觀點(diǎn)從抽象層次來認(rèn)識主體和劃分認(rèn)知成分外,還需要一種嚴(yán)格的數(shù)學(xué)工具把這些認(rèn)知成分表示出來,并讓它們來影響Agent的行為.邏輯工具很好的完成這個目標(biāo).針對各種問題和實(shí)際應(yīng)用,人們提出了多種邏輯系統(tǒng).隨著發(fā)展的不斷深入,出現(xiàn)了將多種邏輯結(jié)合起來,或者擴(kuò)展各種邏輯來表示Agent的方法.縱觀以往的Agent研究,集中在理智Agent的構(gòu)造上.雖有認(rèn)知型Agent的代表BDI模型表示了其內(nèi)部的思維狀態(tài).但隨著生物學(xué)和心理學(xué)的發(fā)展,人們發(fā)現(xiàn)情感對于人的推理,規(guī)劃和學(xué)習(xí)也有重要的作用.因此,把情感加入Agent中,也越來越受到計(jì)算機(jī)科學(xué)家的關(guān)注.把情感加入計(jì)算機(jī)中,首先,要研究情感的類型:其次,人們希望把情感加入到Agent的體系結(jié)構(gòu)中參與Agent內(nèi)部推理和決策.人們從心理學(xué)和認(rèn)知學(xué)的角度,提出了很多模型.其中,OCC模型被認(rèn)為更加適合在計(jì)算機(jī)中實(shí)現(xiàn).更多細(xì)節(jié)請參看綜述2.3.3節(jié).目前,人們在Agent體系中構(gòu)建... 

【文章來源】:云南師范大學(xué)云南省

【文章頁數(shù)】:234 頁

【學(xué)位級別】:碩士

【部分圖文】:

基于Em-BDI-VSK邏輯的Agent系統(tǒng)形式化模型的研究


OCC模型

體系結(jié)構(gòu)圖,行為選擇,體系結(jié)構(gòu),事件


圖3.3行為選擇體系結(jié)構(gòu)情感系統(tǒng)是激發(fā)agent以某種方式行為的過程的主要因素之一,它引起了對激發(fā)行為趨勢的事件的評價,agent受情感和其它認(rèn)知過程影響引起它實(shí)際態(tài)度或特殊行為方面的改變。Broadbent提出了從事件到反應(yīng)的情感過程階段。首先,事件被個人偵測。一件或多件事件被選擇和進(jìn)一步執(zhí)行,從而引起agent去改變關(guān)于這些事件和相關(guān)事件可能性的信念,然后改變它的期望(expectancies)。關(guān)于事件的信息,個人的知識knowledge和先前的期望三部分被整合起來。例如,關(guān)于事件類型發(fā)生

【參考文獻(xiàn)】:
期刊論文
[1]情感理論及基于情感的決策理論與模型研究[J]. 江道平,班曉娟,尹怡欣,石為人.  計(jì)算機(jī)科學(xué). 2007(04)
[2]個體軟件人情感控制模型研究[J]. 寧淑榮,班曉娟,艾冬梅,曾廣平,涂序彥.  計(jì)算機(jī)工程. 2007(08)
[3]基于人工心理理論的情感模型構(gòu)建方法研究[J]. 谷學(xué)靜,王志良,魏哲華,王超.  微計(jì)算機(jī)信息. 2006(05)
[4]情感建模研究進(jìn)展[J]. 楊國亮,王志良.  自動化技術(shù)與應(yīng)用. 2004(11)
[5]Agent邏輯和真假子集語義[J]. 胡山立,石純一.  軟件學(xué)報. 2002(11)
[6]理性Agent的意圖維護(hù)模型[J]. 胡山立,石純一.  計(jì)算機(jī)研究與發(fā)展. 2001(09)
[7]Agent-BDI邏輯[J]. 胡山立,石純一.  軟件學(xué)報. 2000(10)
[8]一個改進(jìn)的理性Agent-BDI模型[J]. 胡山立,石純一.  計(jì)算機(jī)研究與發(fā)展. 2000(09)
[9]Agent的意圖模型[J]. 胡山立,fzu.edu.cn,石純一.  軟件學(xué)報. 2000(07)
[10]Agent形式化研究的邏輯工具[J]. 胡山立,石純一.  計(jì)算機(jī)科學(xué). 1999(12)

碩士論文
[1]基于VSK-t邏輯的Agent形式化模型[D]. 伍曉敏.云南師范大學(xué) 2004
[2]基于時序邏輯的協(xié)商公理體系多Agent系統(tǒng)的形式化模型[D]. 尹紅麗.云南師范大學(xué) 2004
[3]基于能力與思維的協(xié)商公理體系多Agent 系統(tǒng)模型[D]. 李晶.云南師范大學(xué) 2003
[4]基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型[D]. 孫瑜.云南師范大學(xué) 2002
[5]基于動態(tài)邏輯的Agent的形式化模型[D]. 張春霞.云南師范大學(xué) 2000



本文編號:3438265

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/3438265.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶4c47a***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com