時態邏輯

共2筆商品，1/1頁

滿額折

1.基於一階動態邏輯的Agent行為推理及其哲學反思（簡體書）

作者：郝一江 出版社：科學出版社 出版日：2023/05/01 裝訂：平裝

《基於一階動態邏輯的Agent行為推理及其哲學反思》從人工智能的視角，研究了“基於一階動態邏輯及其擴展系統的Agent行為推理”，並對相關問題進行了哲學反思。具體內容包括：作為一階動態邏輯的基礎系統的命題動態邏輯、一階動態邏輯系統及其複雜性與表達力、基於類型命題動態邏輯的行動類型與Agent能力推理、基於規劃修訂動態邏輯的Agent規劃修訂推理、基於動態邏輯的Agent交互協議推理、相關問題的哲學反思與展望性研究。

定價：828 元，優惠價：87 720

海外經銷商無庫存，到貨日平均30天至45天

滿額折

2.面向人工智能的命題動態邏輯及其擴展研究（簡體書）

作者：張曉君; 周正; 王琪瑤 出版社：浙江大學出版社 出版日：2022/02/28 裝訂：平裝

本書基於國內外新近相關文獻，從人工智能的視角，圍繞作為動態邏輯基礎系統的命題動態邏輯及其擴展系統進行了研究。第1章是導論；第2-5章是本書研究的基礎；第6-8章闡釋了正則命題動態邏輯的形式系統、可判定性、完全性和計算複雜性；第9章探討了非正則命題動態邏輯；第10章介紹了動態邏輯的一些變種；第11-17章是命題動態邏輯的擴展系統，這些系統分別使用了程序量詞、互模擬和邏輯等值程序、Petri網、無縮並無切割規則的矢列演算、多類型顯示演算、有窮多個命題變元，以及存儲、恢復和並行合成算子對命題動態邏輯進行的擴展；第18章研究了從交流更新邏輯到命題動態邏輯的程序轉換器。

定價：1008 元，優惠價：87 877

海外經銷商無庫存，到貨日平均30天至45天

共2 筆
1 頁

暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區

三民網路書店 中國圖書館分類法 / 哲學、宗教 / 邏輯學（論理學） / 時態邏輯

1.基於一階動態邏輯的Agent行為推理及其哲學反思（簡體書）

2.面向人工智能的命題動態邏輯及其擴展研究（簡體書）

網路書店

復北店

重南店

三民網路書店 中國圖書館分類法 / 哲學、宗教 / 邏輯學（論理學） / 時態邏輯

1.基於一階動態邏輯的Agent行為推理及其哲學反思（簡體書）

2.面向人工智能的命題動態邏輯及其擴展研究（簡體書）

三民網路書店中國圖書館分類法 / 哲學、宗教 / 邏輯學（論理學） / 時態邏輯