目錄 國家社科基金后期資助項(xiàng)目出版說明 前言 第一章 緒論 1 第一節(jié) 學(xué)術(shù)背景和研究價(jià)值 1 第二節(jié) 國內(nèi)外研究狀況 6 第二章 一階動(dòng)態(tài)邏輯的基礎(chǔ)系統(tǒng)——命題動(dòng)態(tài)邏輯 10 第一節(jié) 正則命題動(dòng)態(tài)邏輯的句法 11 第二節(jié) 正則命題動(dòng)態(tài)邏輯的語義 13 第三節(jié) 正則命題動(dòng)態(tài)邏輯的計(jì)算序列 16 第四節(jié) 正則命題動(dòng)態(tài)邏輯的可滿足性和有效性 17 第五節(jié) 正則命題動(dòng)態(tài)邏輯的演繹系統(tǒng) 18 第六節(jié) 正則命題動(dòng)態(tài)邏輯的基本性質(zhì) 19 一、源于模態(tài)邏輯的基本性質(zhì) 19 二、選擇算子∪、復(fù)合算子；和測試算子？的性質(zhì) 20 三、逆算子 的性質(zhì) 22 四、迭代算子*的性質(zhì) 25 五、自返傳遞閉包和歸納 26 第七節(jié) 編碼霍爾邏輯與正則命題動(dòng)態(tài)邏輯 29 第八節(jié) 正則命題動(dòng)態(tài)邏輯的演繹完全性 30 一、正則命題動(dòng)態(tài)邏輯的公理 30 二、推理規(guī)則 30 三、演繹完全性 31 四、邏輯后承 35 第三章 一階動(dòng)態(tài)邏輯系統(tǒng)及其復(fù)雜性與表達(dá)力 37 第一節(jié) 一階動(dòng)態(tài)邏輯系統(tǒng) 37 一、一階動(dòng)態(tài)邏輯的基本句法 38 二、帶有更豐富程序的一階動(dòng)態(tài)邏輯 41 三、一階動(dòng)態(tài)邏輯的語義 45 四、可滿足性和有效性 51 第二節(jié) 一階動(dòng)態(tài)邏輯與靜態(tài)邏輯的關(guān)系 51 一、非解釋性推理 52 二、解釋性推理 57 第三節(jié) 一階動(dòng)態(tài)邏輯的復(fù)雜性 61 一、有效性問題 61 二、譜復(fù)雜性 65 第四節(jié) 一階動(dòng)態(tài)邏輯的公理化 72 一、非解釋性層面的公理化 72 二、解釋性層面的公理化 77 第五節(jié) 一階動(dòng)態(tài)邏輯的表達(dá)力 84 一、展開性質(zhì) 85 二、譜和表達(dá)力 87 三、有界不確定性 93 四、無界存儲(chǔ) 105 五、帶有布爾棧的一階動(dòng)態(tài)邏輯的表達(dá)力 111 六、無界不確定性 111 第六節(jié) 一階動(dòng)態(tài)邏輯的重要變種 113 一、算法邏輯 113 二、非標(biāo)準(zhǔn)的一階動(dòng)態(tài)邏輯 114 三、良基 116 四、動(dòng)態(tài)代數(shù) 119 五、概率程序 121 六、并發(fā)與交流 123 第四章 基于類型命題動(dòng)態(tài)邏輯的行動(dòng)類型與Agent能力推理 125 第一節(jié) 引言 125 第二節(jié) 類型命題動(dòng)態(tài)邏輯的句法和語義 128 一、τPDL邏輯的語言和直觀語義 128 二、τPDL邏輯的框架和模型 130 三、關(guān)于τPDL邏輯的一些事實(shí) 132 第三節(jié) 類型命題動(dòng)態(tài)邏輯可滿足性問題的判定性 137 第四節(jié) 類型命題動(dòng)態(tài)邏輯的證明系統(tǒng)和完全性 146 一、矢列式和規(guī)則 146 二、τPDL邏輯在類型語義中的可靠性和完全性 153 三、標(biāo)準(zhǔn)語義中τPDL邏輯的完全性 165 第五節(jié) 結(jié)論和開問題 165 一、τPDL邏輯與其他演算的關(guān)系 166 二、τPDL邏輯的應(yīng)用和擴(kuò)展 171 第五章 基于規(guī)劃修訂動(dòng)態(tài)邏輯的Agent規(guī)劃修訂推理 176 第一節(jié) 引言177 第二節(jié) 相關(guān)研究 178 第三節(jié) Agent編程語言3APL 180 一、3APL語言的句法 180 二、3APL語言的語義 181 第四節(jié) 規(guī)劃修訂動(dòng)態(tài)邏輯PRDL 184 一、PRDL邏輯的句法 185 二、PRDL邏輯的語義 185 第五節(jié) 規(guī)劃修訂動(dòng)態(tài)邏輯PRDL的公理系統(tǒng) 186 一、公理系統(tǒng)ASRule的可靠性 188 二、公理系統(tǒng)ASRule的完全性 190 第六節(jié) 不受限規(guī)劃性質(zhì)的證明 196 一、從受限規(guī)劃到不受限規(guī)劃 196 二、相關(guān)實(shí)例分析與證明 197 第七節(jié) 規(guī)劃修訂規(guī)則與過程 204 一、對(duì)規(guī)劃修訂規(guī)則而言的Scott歸納規(guī)則 204 二、施歸納于規(guī)劃修訂規(guī)則的應(yīng)用次數(shù) 206 第八節(jié) 結(jié)論與未來的工作 208 第六章 基于RASA語言的命題動(dòng)態(tài)邏輯的Agent交互協(xié)議推理 209 第一節(jié) 引言 209 第二節(jié) RASA框架 212 一、建模信息 212 二、建模協(xié)議 213 三、外延語義 217 第三節(jié) 協(xié)議蘊(yùn)涵 220 一、關(guān)于RASA語言的命題動(dòng)態(tài)邏輯（即Lα邏輯）的句法 221 二、Lα邏輯的語義 221 三、Lα邏輯的表達(dá)力 223 第四節(jié) 關(guān)于RASA語言的命題動(dòng)態(tài)邏輯的證明系統(tǒng) 224 一、有窮Lα邏輯的演繹證明系統(tǒng) 224 二、無窮Lα邏輯的演繹證明系統(tǒng) 227 三、Lα邏輯與命題動(dòng)態(tài)邏輯的關(guān)系 232 第五節(jié) 從無窮Lα邏輯到有窮Lα邏輯 234 一、迭代算子*和+算子的性質(zhì) 234 二、遞歸協(xié)議的性質(zhì) 235 三、相關(guān)討論 241 第六節(jié) 實(shí)驗(yàn)性評(píng)估 242 一、證明系統(tǒng)的實(shí)現(xiàn) 242 二、表征和匹配協(xié)議 242 三、表征方法與證明系統(tǒng)的測試 242 第七節(jié) 相關(guān)研究 243 一、協(xié)議說明 243 二、Lα邏輯與命題動(dòng)態(tài)邏輯的關(guān)系 244 三、行動(dòng)語言 245 四、面向目標(biāo)的規(guī)劃 245 五、遞歸消除 246 第八節(jié) 結(jié)論與未來的工作 247 第七章 相關(guān)問題的哲學(xué)反思與展望性研究 249 第一節(jié) 人工智能視域下的意義理論 249 一、周禮全先生之前的意義理論 250 二、周禮全先生的四層次意義理論 252 三、意義理論的動(dòng)態(tài)轉(zhuǎn)向 253 四、意義的算法理論 254 五、信息與智能交互視域下的意義理論 256 第二節(jié) 一階動(dòng)態(tài)邏輯的結(jié)構(gòu)主義特征　258 一、引言 258 二、結(jié)構(gòu)主義的四大學(xué)派及其基本觀點(diǎn) 260 三、現(xiàn)代邏輯學(xué)具有結(jié)構(gòu)主義特征 262 四、結(jié)構(gòu)主義思想在一階動(dòng)態(tài)邏輯中的具體體現(xiàn) 264 五、結(jié)論與未來的工作 266 第三節(jié) 基于一階動(dòng)態(tài)邏輯的人工智能邏輯的柔性化和泛邏輯化——展望性研究框架 267 一、本選題的學(xué)術(shù)依據(jù)和提出背景 267 二、國內(nèi)外研究狀況與研究價(jià)值 269 三、本選題的研究內(nèi)容、總體框架、基本思路和研究目標(biāo) 270 四、研究的可行性 274 參考文獻(xiàn) 275 后記 297