幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

基於一階動態邏輯的Agent行為推理及其哲學反思

  • 作者：郝一江|責編:胡慶家//李香葉
  • 出版社：科學
  • ISBN：9787030734150
  • 出版日期：2023/05/01
  • 裝幀：平裝
  • 頁數：296
人民幣：RMB 138 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書從人工智慧的視角，研究了「基於一階動態邏輯及其擴展系統的Agent行為推理」，並對相關問題進行了哲學反思。具體內容包括：作為一階動態邏輯的基礎系統的命題動態邏輯、一階動態邏輯系統及其複雜性與表達力、基於類型命題動態邏輯的行動類型與Agent能力推理、基於規劃修訂動態邏輯的Agent規劃修訂推理、基於動態邏輯的Agent交互協議推理、相關問題的哲學反思與展望性研究。
    本書適合現代邏輯、科學哲學、人工智慧等領域以及對一階動態邏輯和Agent行為推理感興趣的教師、研究生和科研人員閱讀。
作者介紹
郝一江|責編:胡慶家//李香葉
    郝一江，男，漢族，山西陽泉人。2002年獲得浙江大學哲學博士學位。2005年在中國社會科學院博士后出站后，留在中國社會科學院哲學所科技室工作，助理研究員，現在華中科技大學做兼職博士后。主要研究方向：科技哲學、現代邏輯、西方哲學等。發表論文10多篇，其中英文2篇，被人大複印報刊資料全文轉載3篇。曾主持各類課題3個，參與各類課題4個。
目錄
國家社科基金後期資助項目出版說明
前言
第一章  緒論
  第一節  學術背景和研究價值
  第二節  國內外研究狀況
第二章  一階動態邏輯的基礎系統——命題動態邏輯
  第一節  正則命題動態邏輯的句法
  第二節  正則命題動態邏輯的語義
  第三節  正則命題動態邏輯的計算序列
  第四節  正則命題動態邏輯的可滿足性和有效性
  第五節  正則命題動態邏輯的演繹系統
  第六節  正則命題動態邏輯的基本性質
    一、源於模態邏輯的基本性質
    二、選擇運算元U、複合運算元；和測試運算元？的性質
    三、逆運算元-的性質
    四、迭代運算元*的性質
    五、自返傳遞閉包和歸納
  第七節  編碼霍爾邏輯與正則命題動態邏輯
  第八節  正則命題動態邏輯的演繹完全性
    一、正則命題動態邏輯的公理
    二、推理規則
    三、演繹完全性
    四、邏輯后承
第三章  一階動態邏輯系統及其複雜性與表達力
  第一節  一階動態邏輯系統
    一、一階動態邏輯的基本句法
    二、帶有更豐富程序的一階動態邏輯
    三、一階動態邏輯的語義
    四、可滿足性和有效性
  第二節  一階動態邏輯與靜態邏輯的關係
    一、非解釋性推理
    二、解釋性推理
  第三節  一階動態邏輯的複雜性
    一、有效性問題
    二、譜複雜性
  第四節  一階動態邏輯的公理化
    一、非解釋性層面的公理化
    二、解釋性層面的公理化
  第五節  一階動態邏輯的表達力
    一、展開性質
    二、譜和表達力
    三、有界不確定性
    四、無界存儲
    五、帶有布爾棧的一階動態邏輯的表達力
    六、無界不確定性
  第六節  一階動態邏輯的重要變種
    一、演算法邏輯
    二、非標準的一階動態邏輯
    三、良基
    四、動態代數

    五、概率程序
    六、併發與交流
第四章  基於類型命題動態邏輯的行動類型與Agent能力推理
  第一節  引言
  第二節  類型命題動態邏輯的句法和語義
    一、τPDL邏輯的語言和直觀語義
    二、τPDL邏輯的框架和模型
    三、關於τPDL邏輯的一些事實
  第三節  類型命題動態邏輯可滿足性問題的判定性
  第四節  類型命題動態邏輯的證明系統和完全性
    一、矢列式和規則
    二、τPDL邏輯在類型語義中的可靠性和完全性
    三、標準語義中τPDL邏輯的完全性
  第五節  結論和開問題
    一、τPDL邏輯與其他演算的關係
    二、τPDL邏輯的應用和擴展
第五章  基於規劃修訂動態邏輯的Agent規劃修訂推理
  第一節  引言
  第二節  相關研究
  第三節  Agent編程語言3APL
    一、3APL語言的句法
    二、3APL語言的語義
  第四節  規劃修訂動態邏輯PRDL
    一、PRDL邏輯的句法
    二、PRDL邏輯的語義
  第五節  規劃修訂動態邏輯PRDL的公理系統
    一、公理系統ASRule的可靠性
    二、公理系統ASRule的完全性
  第六節  不受限規劃性質的證明
    一、從受限規劃到不受限規劃
    二、相關實例分析與證明
  第七節  規劃修訂規則與過程
    一、對規劃修訂規則而言的Scott歸納規則
    二、施歸納于規劃修訂規則的應用次數
  第八節  結論與未來的工作
第六章  基於RASA語言的命題動態邏輯的Agent交互協議推理
  第一節  引言
  第二節  RASA框架
    一、建模信息
    二、建模協議
    三、外延語義
  第三節  協議蘊涵
    一、關於RASA語言的命題動態邏輯（即Lα邏輯）的句法
    二、Lα邏輯的語義
    三、Lα邏輯的表達力
  第四節  關於RASA語言的命題動態邏輯的證明系統
    一、有窮Lα邏輯的演繹證明系統
    二、無窮Lα邏輯的演繹證明系統
    三、Lα邏輯與命題動態邏輯的關係
  第五節  從無窮Lα邏輯到有窮Lα邏輯

    一、迭代運算元*和+運算元的性質
    二、遞歸協議的性質
    三、相關討論
  第六節  實驗性評估
    一、證明系統的實現
    二、表徵和匹配協議
    三、表徵方法與證明系統的測試
  第七節  相關研究
    一、協議說明
    二、Lα邏輯與命題動態邏輯的關係
    三、行動語言
    四、面向目標的規劃
    五、遞歸消除
  第八節  結論與未來的工作
第七章  相關問題的哲學反思與展望性研究
  第一節  人工智慧視域下的意義理論
    一、周禮全先生之前的意義理論
    二、周禮全先生的四層次意義理論
    三、意義理論的動態轉向
    四、意義的演算法理論
    五、信息與智能交互視域下的意義理論
  第二節  一階動態邏輯的結構主義特徵　
    一、引言
    二、結構主義的四大學派及其基本觀點
    三、現代邏輯學具有結構主義特徵
    四、結構主義思想在一階動態邏輯中的具體體現
    五、結論與未來的工作
  第三節  基於一階動態邏輯的人工智慧邏輯的柔性化和泛邏輯化——展望性研究框架
    一、本選題的學術依據和提出背景
    二、國內外研究狀況與研究價值
    三、本選題的研究內容、總體框架、基本思路和研究目標
    四、研究的可行性
參考文獻
後記

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032