基于Em-BDI-VSK邏輯的Agent系統(tǒng)形式化模型的研究
發(fā)布時間:2021-10-15 16:18
隨著人工智能的發(fā)展,有關Agent理論和技術的研究和應用引起了人們的高度關注和重視.在Agent的理論研究中,人們常常從較高層次利用基于意向觀點的抽象工具來研究和認識主體.除基于意向觀點從抽象層次來認識主體和劃分認知成分外,還需要一種嚴格的數學工具把這些認知成分表示出來,并讓它們來影響Agent的行為.邏輯工具很好的完成這個目標.針對各種問題和實際應用,人們提出了多種邏輯系統(tǒng).隨著發(fā)展的不斷深入,出現了將多種邏輯結合起來,或者擴展各種邏輯來表示Agent的方法.縱觀以往的Agent研究,集中在理智Agent的構造上.雖有認知型Agent的代表BDI模型表示了其內部的思維狀態(tài).但隨著生物學和心理學的發(fā)展,人們發(fā)現情感對于人的推理,規(guī)劃和學習也有重要的作用.因此,把情感加入Agent中,也越來越受到計算機科學家的關注.把情感加入計算機中,首先,要研究情感的類型:其次,人們希望把情感加入到Agent的體系結構中參與Agent內部推理和決策.人們從心理學和認知學的角度,提出了很多模型.其中,OCC模型被認為更加適合在計算機中實現.更多細節(jié)請參看綜述2.3.3節(jié).目前,人們在Agent體系中構建...
【文章來源】:云南師范大學云南省
【文章頁數】:234 頁
【學位級別】:碩士
【部分圖文】:
OCC模型
圖3.3行為選擇體系結構情感系統(tǒng)是激發(fā)agent以某種方式行為的過程的主要因素之一,它引起了對激發(fā)行為趨勢的事件的評價,agent受情感和其它認知過程影響引起它實際態(tài)度或特殊行為方面的改變。Broadbent提出了從事件到反應的情感過程階段。首先,事件被個人偵測。一件或多件事件被選擇和進一步執(zhí)行,從而引起agent去改變關于這些事件和相關事件可能性的信念,然后改變它的期望(expectancies)。關于事件的信息,個人的知識knowledge和先前的期望三部分被整合起來。例如,關于事件類型發(fā)生
【參考文獻】:
期刊論文
[1]情感理論及基于情感的決策理論與模型研究[J]. 江道平,班曉娟,尹怡欣,石為人. 計算機科學. 2007(04)
[2]個體軟件人情感控制模型研究[J]. 寧淑榮,班曉娟,艾冬梅,曾廣平,涂序彥. 計算機工程. 2007(08)
[3]基于人工心理理論的情感模型構建方法研究[J]. 谷學靜,王志良,魏哲華,王超. 微計算機信息. 2006(05)
[4]情感建模研究進展[J]. 楊國亮,王志良. 自動化技術與應用. 2004(11)
[5]Agent邏輯和真假子集語義[J]. 胡山立,石純一. 軟件學報. 2002(11)
[6]理性Agent的意圖維護模型[J]. 胡山立,石純一. 計算機研究與發(fā)展. 2001(09)
[7]Agent-BDI邏輯[J]. 胡山立,石純一. 軟件學報. 2000(10)
[8]一個改進的理性Agent-BDI模型[J]. 胡山立,石純一. 計算機研究與發(fā)展. 2000(09)
[9]Agent的意圖模型[J]. 胡山立,fzu.edu.cn,石純一. 軟件學報. 2000(07)
[10]Agent形式化研究的邏輯工具[J]. 胡山立,石純一. 計算機科學. 1999(12)
碩士論文
[1]基于VSK-t邏輯的Agent形式化模型[D]. 伍曉敏.云南師范大學 2004
[2]基于時序邏輯的協商公理體系多Agent系統(tǒng)的形式化模型[D]. 尹紅麗.云南師范大學 2004
[3]基于能力與思維的協商公理體系多Agent 系統(tǒng)模型[D]. 李晶.云南師范大學 2003
[4]基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型[D]. 孫瑜.云南師范大學 2002
[5]基于動態(tài)邏輯的Agent的形式化模型[D]. 張春霞.云南師范大學 2000
本文編號:3438265
【文章來源】:云南師范大學云南省
【文章頁數】:234 頁
【學位級別】:碩士
【部分圖文】:
OCC模型
圖3.3行為選擇體系結構情感系統(tǒng)是激發(fā)agent以某種方式行為的過程的主要因素之一,它引起了對激發(fā)行為趨勢的事件的評價,agent受情感和其它認知過程影響引起它實際態(tài)度或特殊行為方面的改變。Broadbent提出了從事件到反應的情感過程階段。首先,事件被個人偵測。一件或多件事件被選擇和進一步執(zhí)行,從而引起agent去改變關于這些事件和相關事件可能性的信念,然后改變它的期望(expectancies)。關于事件的信息,個人的知識knowledge和先前的期望三部分被整合起來。例如,關于事件類型發(fā)生
【參考文獻】:
期刊論文
[1]情感理論及基于情感的決策理論與模型研究[J]. 江道平,班曉娟,尹怡欣,石為人. 計算機科學. 2007(04)
[2]個體軟件人情感控制模型研究[J]. 寧淑榮,班曉娟,艾冬梅,曾廣平,涂序彥. 計算機工程. 2007(08)
[3]基于人工心理理論的情感模型構建方法研究[J]. 谷學靜,王志良,魏哲華,王超. 微計算機信息. 2006(05)
[4]情感建模研究進展[J]. 楊國亮,王志良. 自動化技術與應用. 2004(11)
[5]Agent邏輯和真假子集語義[J]. 胡山立,石純一. 軟件學報. 2002(11)
[6]理性Agent的意圖維護模型[J]. 胡山立,石純一. 計算機研究與發(fā)展. 2001(09)
[7]Agent-BDI邏輯[J]. 胡山立,石純一. 軟件學報. 2000(10)
[8]一個改進的理性Agent-BDI模型[J]. 胡山立,石純一. 計算機研究與發(fā)展. 2000(09)
[9]Agent的意圖模型[J]. 胡山立,fzu.edu.cn,石純一. 軟件學報. 2000(07)
[10]Agent形式化研究的邏輯工具[J]. 胡山立,石純一. 計算機科學. 1999(12)
碩士論文
[1]基于VSK-t邏輯的Agent形式化模型[D]. 伍曉敏.云南師范大學 2004
[2]基于時序邏輯的協商公理體系多Agent系統(tǒng)的形式化模型[D]. 尹紅麗.云南師范大學 2004
[3]基于能力與思維的協商公理體系多Agent 系統(tǒng)模型[D]. 李晶.云南師范大學 2003
[4]基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型[D]. 孫瑜.云南師范大學 2002
[5]基于動態(tài)邏輯的Agent的形式化模型[D]. 張春霞.云南師范大學 2000
本文編號:3438265
本文鏈接:http://sikaile.net/shekelunwen/ljx/3438265.html