123,123,123

內(nèi)容簡(jiǎn)介

　　張曉君著的《信念-愿望-意圖邏輯及其應(yīng)用研究》以Agent（主體）不確定性行為決策和推理為主要研究?jī)?nèi)容。靠前章是BDI邏輯及其擴(kuò)展的研究與其應(yīng)用概況介紹；第二章是基于BDI邏輯的主體行為表征研究；第三章是基于擴(kuò)展BDI邏輯的主體行為表征研究；第四章是基于擴(kuò)展的BDI邏輯的主體行為規(guī)范研究；創(chuàng)新內(nèi)容主要集中在第三章。本研究能夠?yàn)閮?yōu)選分布式仿真、人工智能和系統(tǒng)工程等領(lǐng)域提供形式支持，具有重要的理論價(jià)值和實(shí)踐意義。本專著適合于現(xiàn)代邏輯、優(yōu)選分布式仿真、人工智能和系統(tǒng)工程等領(lǐng)域以及對(duì)信念-愿望-意圖邏輯及其應(yīng)用感興趣的教師、研究生和科研人員閱讀。

作者簡(jiǎn)介

暫缺《信念-愿望：意圖邏輯及其應(yīng)用研究》作者簡(jiǎn)介

圖書目錄

●  緒論
●  研究背景及研究意義
●第二節(jié)  國(guó)內(nèi)外研究現(xiàn)狀
●2.1 BDI邏輯的產(chǎn)生與發(fā)展
●2.2 擴(kuò)展的BDI邏輯的產(chǎn)生與發(fā)展
●第三節(jié)  研究目標(biāo)、主要內(nèi)容、基本思路和方法、重點(diǎn)難點(diǎn)、主要觀點(diǎn)和創(chuàng)新
●3.1 研究目標(biāo)
●3.2 主要內(nèi)容
●3.3 基本思路與方法
●3.4 重點(diǎn)與難點(diǎn)
●3.5 主要觀點(diǎn)
●3.6 主要?jiǎng)?chuàng)新
●第四節(jié)  信息時(shí)代呼喚更多的連續(xù)值柔性高等邏輯的誕生
●本章小結(jié)
●第二章  基于BDI（信念-愿望-意圖）邏輯的Agent行為表征研究
●  Bratman的信念-愿望-意圖理論
●第二節(jié)  Cohen和：Levesque關(guān)于意圖的方法
●2.1 行動(dòng)與時(shí)間
●2.2 信念和偏好
●2.3 行動(dòng)、時(shí)間、信念和偏好邏輯
●部分目錄