掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
基于一階動態(tài)邏輯的AGENT行為推理及其哲學反思 版權(quán)信息
- ISBN：9787030734150
- 條形碼：9787030734150 ; 978-7-03-073415-0
- 裝幀：平裝
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
基于一階動態(tài)邏輯的AGENT行為推理及其哲學反思 內(nèi)容簡介
本書以國內(nèi)外新近相關(guān)文獻為基礎(chǔ)，**章是"緒論"。第二章是"一階動態(tài)邏輯的基礎(chǔ)系統(tǒng)命題動態(tài)邏輯"。第三章是"一階動態(tài)邏輯系統(tǒng)及其復雜性與表達力"。第四章是"基于類型命題動態(tài)邏輯的行動類型與Agent能力推理"。第五章是"基于規(guī)劃修訂動態(tài)邏輯的Agent規(guī)劃修訂推理"。第六章是"基于動態(tài)邏輯的Agent交互協(xié)議推理"。第七章是"相關(guān)問題的哲學反思與展望性研究"。
基于一階動態(tài)邏輯的AGENT行為推理及其哲學反思 目錄
目錄國家社科基金后期資助項目出版說明 前言 **章 緒論 1 **節(jié) 學術(shù)背景和研究價值 1 第二節(jié) 國內(nèi)外研究狀況 6 第二章 一階動態(tài)邏輯的基礎(chǔ)系統(tǒng)——命題動態(tài)邏輯 10 **節(jié) 正則命題動態(tài)邏輯的句法 11 第二節(jié) 正則命題動態(tài)邏輯的語義 13 第三節(jié) 正則命題動態(tài)邏輯的計算序列 16 第四節(jié) 正則命題動態(tài)邏輯的可滿足性和有效性 17 第五節(jié) 正則命題動態(tài)邏輯的演繹系統(tǒng) 18 第六節(jié) 正則命題動態(tài)邏輯的基本性質(zhì) 19 一、源于模態(tài)邏輯的基本性質(zhì) 19 二、選擇算子∪、復合算子；和測試算子？的性質(zhì) 20 三、逆算子 的性質(zhì) 22 四、迭代算子*的性質(zhì) 25 五、自返傳遞閉包和歸納 26 第七節(jié) 編碼霍爾邏輯與正則命題動態(tài)邏輯 29 第八節(jié) 正則命題動態(tài)邏輯的演繹完全性 30 一、正則命題動態(tài)邏輯的公理 30 二、推理規(guī)則 30 三、演繹完全性 31 四、邏輯后承 35 第三章 一階動態(tài)邏輯系統(tǒng)及其復雜性與表達力 37 **節(jié) 一階動態(tài)邏輯系統(tǒng) 37一、一階動態(tài)邏輯的基本句法 38 二、帶有更豐富程序的一階動態(tài)邏輯 41 三、一階動態(tài)邏輯的語義 45 四、可滿足性和有效性 51 第二節(jié) 一階動態(tài)邏輯與靜態(tài)邏輯的關(guān)系 51 一、非解釋性推理 52 二、解釋性推理 57 第三節(jié) 一階動態(tài)邏輯的復雜性 61 一、有效性問題 61 二、譜復雜性 65 第四節(jié) 一階動態(tài)邏輯的公理化 72 一、非解釋性層面的公理化 72 二、解釋性層面的公理化 77 第五節(jié) 一階動態(tài)邏輯的表達力 84 一、展開性質(zhì) 85 二、譜和表達力 87 三、有界不確定性 93 四、無界存儲 105 五、帶有布爾棧的一階動態(tài)邏輯的表達力 111 六、無界不確定性 111 第六節(jié) 一階動態(tài)邏輯的重要變種 113 一、算法邏輯 113 二、非標準的一階動態(tài)邏輯 114 三、良基 116 四、動態(tài)代數(shù) 119 五、概率程序 121 六、并發(fā)與交流 123 第四章 基于類型命題動態(tài)邏輯的行動類型與Agent能力推理 125 **節(jié) 引言 125 第二節(jié) 類型命題動態(tài)邏輯的句法和語義 128一、τPDL邏輯的語言和直觀語義 128 二、τPDL邏輯的框架和模型 130 三、關(guān)于τPDL邏輯的一些事實 132 第三節(jié) 類型命題動態(tài)邏輯可滿足性問題的判定性 137 第四節(jié) 類型命題動態(tài)邏輯的證明系統(tǒng)和完全性 146 一、矢列式和規(guī)則 146 二、τPDL邏輯在類型語義中的可靠性和完全性 153 三、標準語義中τPDL邏輯的完全性 165 第五節(jié) 結(jié)論和開問題 165 一、τPDL邏輯與其他演算的關(guān)系 166 二、τPDL邏輯的應(yīng)用和擴展 171 第五章 基于規(guī)劃修訂動態(tài)邏輯的Agent規(guī)劃修訂推理 176 **節(jié) 引言177 第二節(jié) 相關(guān)研究 178 第三節(jié) Agent編程語言3APL 180 一、3APL語言的句法 180 二、3APL語言的語義 181 第四節(jié) 規(guī)劃修訂動態(tài)邏輯PRDL 184 一、PRDL邏輯的句法 185 二、PRDL邏輯的語義 185 第五節(jié) 規(guī)劃修訂動態(tài)邏輯PRDL的公理系統(tǒng) 186 一、公理系統(tǒng)ASRule的可靠性 188 二、公理系統(tǒng)ASRule的完全性 190 第六節(jié) 不受限規(guī)劃性質(zhì)的證明 196 一、從受限規(guī)劃到不受限規(guī)劃 196 二、相關(guān)實例分析與證明 197 第七節(jié) 規(guī)劃修訂規(guī)則與過程 204 一、對規(guī)劃修訂規(guī)則而言的Scott歸納規(guī)則 204 二、施歸納于規(guī)劃修訂規(guī)則的應(yīng)用次數(shù) 206 第八節(jié) 結(jié)論與未來的工作 208第六章 基于RASA語言的命題動態(tài)邏輯的Agent交互協(xié)議推理 209 **節(jié) 引言 209 第二節(jié) RASA框架 212 一、建模信息 212 二、建模協(xié)議 213 三、外延語義 217 第三節(jié) 協(xié)議蘊涵 220 一、關(guān)于RASA語言的命題動態(tài)邏輯（即Lα邏輯）的句法 221 二、Lα邏輯的語義 221 三、Lα邏輯的表達力 223 第四節(jié) 關(guān)于RASA語言的命題動態(tài)邏輯的證明系統(tǒng) 224 一、有窮Lα邏輯的演繹證明系統(tǒng) 224 二、無窮Lα邏輯的演繹證明系統(tǒng) 227 三、Lα邏輯與命題動態(tài)邏輯的關(guān)系 232 第五節(jié) 從無窮Lα邏輯到有窮Lα邏輯 234 一、迭代算子*和 算子的性質(zhì) 234 二、遞歸協(xié)議的性質(zhì) 235 三、相關(guān)討論 241 第六節(jié) 實驗性評估 242 一、證明系統(tǒng)的實現(xiàn) 242 二、表征和匹配協(xié)議 242 三、表征方法與證明系統(tǒng)的測試 242 第七節(jié) 相關(guān)研究 243 一、協(xié)議說明 243 二、Lα邏輯與命題動態(tài)邏輯的關(guān)系 244 三、行動語言 245 四、面向目標的規(guī)劃 245 五、遞歸消除 246 第八節(jié) 結(jié)論與未來的工作 247 第七章 相關(guān)問題的哲學反思與展望性研究 249 **節(jié) 人工智能視域下的意義理論 249 一、周禮全先生之前的意義理論 250 二、周禮全先生的四層次意義理論 252 三、意義理論的動態(tài)轉(zhuǎn)向 253 四、意義的算法理論 254 五、信息與智能交互視域下的意義理論 256 第二節(jié) 一階動態(tài)邏輯的結(jié)構(gòu)主義特征 258 一、引言 258 二、結(jié)構(gòu)主義的四大學派及其基本觀點 260 三、現(xiàn)代邏輯學具有結(jié)構(gòu)主義特征 262 四、結(jié)構(gòu)主義思想在一階動態(tài)邏輯中的具體體現(xiàn) 264 五、結(jié)論與未來的工作 266 第三節(jié) 基于一階動態(tài)邏輯的人工智能邏輯的柔性化和泛邏輯化——展望性研究框架 267 一、本選題的學術(shù)依據(jù)和提出背景 267 二、國內(nèi)外研究狀況與研究價值 269 三、本選題的研究內(nèi)容、總體框架、基本思路和研究目標 270 四、研究的可行性 274 參考文獻 275 后記 297
展開全部
基于一階動態(tài)邏輯的AGENT行為推理及其哲學反思 作者簡介
郝一江，男，漢族，山西陽泉人。2002年獲得浙江大學哲學博士學位。2005年在中國社會科學院博士后出站后，留在中國社會科學院哲學所科技室工作，助理研究員，現(xiàn)在華中科技大學做兼職博士后。主要研究方向：科技哲學、現(xiàn)代邏輯、西方哲學等。發(fā)表論文10多篇，其中英文2篇，被人大復印報刊資料全文轉(zhuǎn)載3篇。曾主持各類課題3個，參與各類課題4個。
書友推薦
- >
唐代進士錄
- >
月亮與六便士
- >
名家?guī)阕x魯迅:故事新編
- >
姑媽的寶刀
- >
月亮虎
- >
我與地壇
- >
伊索寓言-世界文學名著典藏-全譯本
- >
大紅狗在馬戲團-大紅狗克里弗-助人
