缺省邏輯與回答集程序 張明義 9787030766472 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$1,145
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *數量非實際在台庫存 *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為實際資訊。 印行年月：202310*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：缺省邏輯與回答集程序 ISBN：9787030766472 出版社：科學 著編譯者：張明義 頁數：253 所在地：中國大陸 *此為代購商品 書號：1591150 可大量預訂，請先連絡。 內容簡介 本書主要介紹一階子句集的消解原理和命題公式集的穩定模型、一般預設理論（包括它的幾個重要變種）的擴張計算特徵與演算法和複雜性、容易計算的特殊預設理論類和預設邏輯的語義、回答集程序及其拓廣（嵌套查詢）的基本概念與重要性質，以及架起回答集程序與經典邏輯之間關係橋樑的環公式和程序完備理論。本書基於預設理論擴張的計算特徵，統一處理和論證預設邏輯與回答集程序的基本概念和主要結果，以便讀者能夠系統和完整地閱讀。 本書可作為計算機科學和人工智慧專業的研究生和教師及研究人員的參考書，亦可供相關專業的工作者參考閱讀。作者簡介 張明義，貴州科學院研究員，貴州大學博士研究生導師。長期從事預設邏輯與回答集程序研究，主持國家自然科學基金項目6項。曾獲國家有突出貢獻中青年專家、貴州省勞動模範、Kurt Godel終身成就獎、Ray Reiter最佳論文獎。目錄 第1章 預備知識：集合與邏輯1 1 集合、關係與函數 1 1 1 集合及其運算 1 1 2 關係 1 1 3 函數 1 1 4 基數、序數和（數學與超窮）歸納法 1 1 5 歸納定義 1 2 命題邏輯 1 2 1 命題語言 1 2 2 命題公式的語義 1 2 3 命題邏輯的形式推導 1 2 4 命題邏輯的重要性質 1 3 一階邏輯及二階邏輯 1 3 1 一階邏輯語言 1 3 2 一階邏輯的語義 1 3 3 一階邏輯的形式推導 1 3 4 一階邏輯的重要性質 1 3 5 二階邏輯 1 4 可計算性與計算複雜性 1 4 1 可計算性 1 4 2 計算複雜性 第2章 消解原理和邏輯程序 2 1 子句集和消解原理 2 1 1 命題子句的消解原理 2 1 2 一階子句集的消解原理 2 2 穩定模型 2 2 1 歸約 2 2 2 穩定模型的基本概念 2 2 3 命題公式的強等價 2 2 4 Horn公式的穩定模型 2 3 邏輯程序 2 3 1 確定邏輯程序 2 3 2 部分賦值 2 3 3 推導否定信息 第3章 預設邏輯 3 1 預設理論的擴張 3 1 1 用預設表示知識 3 1 2 預設的基本概念 3 2 擴張的計算特徵 3 3 特殊預設理論 3 4 擴張與推理問題的演算法及複雜性 3 5 預設證明與自頂向下的預設證明 3 6 預設邏輯的語義 第4章 回答集程序 4 1 回答集程序的基本概念 4 2 正規回答集程序 4 3 正規程序的推理 4 3 1 特殊正規程序 4 3 2 回答集程序的分裂 4 3 3 正規程序的SLDNF演算 第5章 環公式和嵌套回答集程序 5 1 環公式 5 2 嵌套回答集程序 5 2 1 嵌套回答集程序的語法和語義 5 2 2 嵌套回答集程序的計算特徵 5 2 3 嵌套程序的緊湊性 5 2 4 嵌套公式的完備和環公式 5 3 包含變元的正規邏輯程序一階環公式 第6章 回答集程序歸納學習和遺忘理論 6 1 基於狀態變換的邏輯程序歸納學習 6 1 1 支承類語義 6 1 2 析取基消解和組合消解 6 1 3 歸納的學習任務與演算法 6 2 回答集程序知識遺忘 6 2 1 命題邏輯的HT語義 6 2 2 回答集程序遺忘 6 2 3 知識遺忘公設 第7章 預設邏輯的變種 7 1 Lukaszewicz的修正擴張 7 2 斷言預設理論 7 2 1 累積預設邏輯 7 2 2 CDL推理的局部性與累積性 7 2 3 CDL擴張的演算法 7 2 4 CDL推理問題計算的複雜性 7 3 其他累積性預設邏輯 7 3 1 約束預設邏輯與J-預設邏輯 7 3 2 滿足預設的預設邏輯 7 3 3 擬預設邏輯 7 4 非單調推理關係 7 4 1 結構性質 7 4 2 邏輯聯結詞 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
