注冊(cè) | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)人工智能智能推理及其在信念修正中的應(yīng)用

智能推理及其在信念修正中的應(yīng)用

智能推理及其在信念修正中的應(yīng)用

定 價(jià):¥85.00

作 者: 欒尚敏,王樹 著
出版社: 科學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 暫缺

ISBN: 9787030507624 出版時(shí)間: 2016-10-01 包裝: 平裝
開本: 16開 頁(yè)數(shù): 230 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  智能推理是實(shí)現(xiàn)智能化的基礎(chǔ),它包括經(jīng)典的單調(diào)推理和非單調(diào)推理。《智能推理及其在信念修正中的應(yīng)用》首先介紹了經(jīng)典的單調(diào)推理中的命題推理系統(tǒng)和謂詞推理系統(tǒng),以及推理的公理化系統(tǒng)和自然推理系統(tǒng);其次,介紹了單調(diào)推理系統(tǒng)下的自動(dòng)推理算法和可滿足性驗(yàn)證算法:然后介紹了非單調(diào)推理的主要理論和方法,包括非單調(diào)推理邏輯、自知邏輯、缺省邏輯和限定邏輯、信念修正的理論和方法,以及信念修正的實(shí)現(xiàn)算法;最后介紹了Petri網(wǎng)用于邏輯推理和信念修正的方法。《智能推理及其在信念修正中的應(yīng)用》可供人工智能、邏輯學(xué)、智能信息處理、智能控制、計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程等專業(yè)的教師、研究生以及相關(guān)領(lǐng)域科研工作者參考。

作者簡(jiǎn)介

暫缺《智能推理及其在信念修正中的應(yīng)用》作者簡(jiǎn)介

圖書目錄

前言
第1章 緒論
1.1 邏輯推理的發(fā)展歷史
1.1.1 邏輯演算
1.1.2 證明論
1.1.3 模型論
1.1.4 遞歸論
1.1.5 公理化集合論
1.1.6 非單調(diào)推理理論
1.1.7 自動(dòng)推理技術(shù)
1.1.8 不確定性推理
1.2 信念修正簡(jiǎn)介
1.2.1 信念狀態(tài)的模型
1.2.2 信念變化的基本形式
1.2.3 信念修正理論的應(yīng)用
1.3 自動(dòng)推理理論和信念修正之間的關(guān)系
1.3.1 自動(dòng)推理理論是實(shí)現(xiàn)信念修正的一種途徑
1.3.2 信念修正可以實(shí)現(xiàn)非單調(diào)推理
參考文獻(xiàn)
第2章 單調(diào)邏輯
2.1 命題演算邏輯系統(tǒng)
2.1.1 命題演算的基本概念
2.1.2 命題邏輯的合式公式及范式
2.2 謂詞邏輯
2.2.1 謂詞演算中的基本概念
2.2.2 謂詞邏輯的合式公式
2.2.3 謂詞形式系統(tǒng)的語(yǔ)義
2.3 邏輯演算的形式系統(tǒng)
2.3.1 公理系統(tǒng)
2.3.2 自然推理系統(tǒng)
參考文獻(xiàn)
第3章 自動(dòng)推理與可滿足性驗(yàn)證
3.1 斯科倫標(biāo)準(zhǔn)形
3.2 埃爾布朗域和埃爾布朗定理
3.2.1 埃爾布朗域
3.2.2 語(yǔ)義樹
3.3 DP算法
3.4 置換與合
3.5 歸結(jié)原理
3.5.1 命題邏輯的歸結(jié)
3.5.2 謂詞邏輯的歸結(jié)
3.5.3 歸結(jié)原理的完備性及過程控制策略
3.6 可滿足性問題的非完全算法
3.7 二元可滿足性問題和霍恩可滿足性問題的快速算法
3.7.1 二元可滿足性問題的快速算法
3.7.2 霍恩可滿足性問題的快速算法
3.8 極大可滿足問題的算法
3.8.1 貪心算法
3.8.2 局部搜索算法
3.8.3 模擬退火算法
參考文獻(xiàn)
第4章 非單調(diào)推理
4.1 非單調(diào)邏輯產(chǎn)生的背景
4.1.1 非單調(diào)推理產(chǎn)生的基礎(chǔ)
4.1.2 常識(shí)推理促使了非單調(diào)推理的產(chǎn)生
4.2 非單調(diào)邏輯
4.3 缺省邏輯
4.3.1 基本定義
4.3.2 封閉缺省理論的性質(zhì)
4.3.3 封閉正規(guī)缺省理論
4.3.4 封閉正規(guī)缺省理論的證明論
4.4 限定邏輯
4.4.1 限定的定義
4.4.2 優(yōu)先序限定
4.5 自認(rèn)知邏輯
4.5.1 自知邏輯的語(yǔ)法
4.5.2 自知邏輯的語(yǔ)義
參考文獻(xiàn)
第5章 信念修正理論
5.1 信念修正的定義
5.2 信念修正的AGM理論
5.2.1 約減和修正的合理公設(shè)
5.2.2 選擇約減
5.2.3 安全約減
5.3 認(rèn)知牢固度的方法
5.4 信念基的方法
5.5 迭代信念修正理論
5.5.1 基于條件函數(shù)的迭代修正
5.5.2 具有記憶的迭代修正
5.5.3 基于有限偏序牢固度秩的迭代修正
5.6 信念修正的應(yīng)用
參考文獻(xiàn)
第6章 單調(diào)推理技術(shù)在信念修正中的應(yīng)用
6.1 基于核的信念基修正
6.1.1 核約減和修正
6.1.2 極小割集
6.1.3 計(jì)算核的算法
6.1.4 計(jì)算極大協(xié)調(diào)子集的算法
6.1.5 核和極大協(xié)調(diào)子集之間的關(guān)系
6.2 基于模型的修正和基于語(yǔ)法的修正
6.2.1 基于模型的方法
6.2.2 基于語(yǔ)法的方法
6.3 信念修正的轉(zhuǎn)換系統(tǒng)
6.3.1 求極大協(xié)調(diào)子集的轉(zhuǎn)換系統(tǒng)
6.3.2 求極小不協(xié)調(diào)子集的轉(zhuǎn)換系統(tǒng)
6.4 基于歸結(jié)的有限子句集上的信念修正實(shí)現(xiàn)算法
6.4.1 極大協(xié)調(diào)子集的方法
6.4.2 子句集上求所有極小不協(xié)調(diào)子集的方法
6.4.3 典型的信念修正方法的實(shí)現(xiàn)
6.5 信念修正的近似算法
6.5.1 修正的近似算法
6.5.2 具有完整性約束的信念修正方法
6.5.3 有限信念基上的修正和約減過程
參考文獻(xiàn)
第7章 非單調(diào)推理技術(shù)在信念修正中的應(yīng)用
7.1 信念修正和缺省推理
7.2 限定推理與信念修正
參考文獻(xiàn)
第8章 信念修正的Petri網(wǎng)方法
8.1 Petri與邏輯推理
8.1.1 Petri網(wǎng)的基本概念
8.1.2 霍恩子句的Petri網(wǎng)描述
8.1.3 一般子句化為Petri網(wǎng)
8.2 Petri網(wǎng)與歸結(jié)原理
8.2.1 霍恩基子句集的網(wǎng)刪除歸結(jié)原理
8.2.2 一般基子句集的網(wǎng)刪除歸結(jié)原理
8.3 基于Petri網(wǎng)的修正方法
8.3.1 命題規(guī)則知識(shí)庫(kù)的Petri網(wǎng)描述
8.3.2 知識(shí)庫(kù)更新的代數(shù)方法
8.3.3 擴(kuò)充邏輯程序的知識(shí)庫(kù)更新
參考文獻(xiàn)

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)