發(fā)布時(shí)間：2021-04-18 19:35

　　隨著計(jì)算機(jī)網(wǎng)絡(luò)以及基于網(wǎng)絡(luò)的分布式計(jì)算的發(fā)展，對于Agent系統(tǒng)的研究，已成為 人工智能領(lǐng)域中一個(gè)新的研究熱點(diǎn)，也成為分布式人工智能的重要研究方向�；贏gent 的技術(shù)被認(rèn)為是軟件領(lǐng)域中的一次重大突破。 本文提出了一種基于動(dòng)態(tài)邏輯的Agent的BDIK_h形式化模型；定義了信念、知識(shí)、愿 望、目標(biāo)、意愿和Know-how；描述了它們的邏輯；討論了Agent所具有的性質(zhì)；給出了 這個(gè)模型的完備性的證明；在一定條件下避免了邏輯全知問題；解決了無為而治問題以及 理論與實(shí)踐分離的問題；同時(shí)動(dòng)態(tài)邏輯的靈活性和動(dòng)態(tài)性更好地描述了Agent的動(dòng)態(tài)性質(zhì)。 

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

【文章頁數(shù)】：151 頁

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

【文章目錄】：
基于動(dòng)態(tài)邏輯的Agent的形式化模型
"><中文摘要>
"><中文關(guān)鍵詞>
    1 概述
    2 基于動(dòng)態(tài)邏揖的Agent的形式化模型
h模型的可靠性和完備性">    3 BDIK_h模型的可靠性和完備性
h模型的應(yīng)用─行為預(yù)測">    4 BDIK_h模型的應(yīng)用─行為預(yù)測
    5 結(jié)論
"><參考文獻(xiàn)>
A Dynamic Logic-Based Formal Model of Agent
"><英文摘要>
"><英文關(guān)鍵詞>
    1 Introduction
    2 The dynamic logic-based formal model of agents system
h model">    3 The completeness of BDIK_h model
    4 Application-Action Prediction
    5 Conclusion
"><參考文獻(xiàn)>
Agent系統(tǒng)綜述
"><中文摘要>
    1 分布式人工智能的研究進(jìn)展
"><參考文獻(xiàn)>
    2 Agent系統(tǒng)
"><參考文獻(xiàn)>
    3 Agent思維狀態(tài)模型
"><參考文獻(xiàn)>
Agent System:a survey
"><英文摘要>
    1 Distributed Artificial Intelligence
"><參考文獻(xiàn)>
    2 Agent System
"><參考文獻(xiàn)>
    3 Agent mental states models
"><參考文獻(xiàn)>


【參考文獻(xiàn)】：
期刊論文
[1]Agent計(jì)算的理論框架[J]. 毛新軍,王懷民,陳火旺,劉鳳歧.  計(jì)算機(jī)研究與發(fā)展. 1999(11)
[2]適用于Agent非正規(guī)模態(tài)算子的一種語義解釋[J]. 胡山立,石純一.  計(jì)算機(jī)研究與發(fā)展. 1999(10)
[3]Agent:特性與分類[J]. 楊鯤,翟永順,劉大有.  計(jì)算機(jī)科學(xué). 1999(09)
[4]多Agent系統(tǒng)的理論、技術(shù)及其應(yīng)用[J]. 胡舜耕,張莉,鐘義信.  計(jì)算機(jī)科學(xué). 1999(09)
[5]認(rèn)知邏輯中邏輯全知問題及其解決方法[J]. 楊鯤,陳建中,孫德剛,劉大有.  吉林大學(xué)自然科學(xué)學(xué)報(bào). 1999(03)
[6]Agent思維狀態(tài)模型[J]. 馬光偉,徐晉暉,石純一.  軟件學(xué)報(bào). 1999(04)
[7]Internet環(huán)境中的軟件Agent[J]. 周立柱,趙洪彪.  計(jì)算機(jī)科學(xué). 1999(03)
[8]“信念-愿望-意向”Agent的研究與進(jìn)展[J]. 路軍,王亞東,王曉龍.  計(jì)算機(jī)科學(xué). 1999(02)
[9]Agent規(guī)范與編程語言SPLAW的語法和語義[J]. 樊曉聰,徐殿祥,候建民,鄭國梁.  計(jì)算機(jī)學(xué)報(bào). 1998(08)
[10]認(rèn)識(shí)邏輯（1）:關(guān)于知識(shí)和信念的邏輯框架[J]. 劉瑞勝,孫吉貴,劉敘華.  計(jì)算機(jī)學(xué)報(bào). 1998(07)



本文編號：3146053