《智慧型推理及其在信念修正中的套用》是2016年科學出版社出版的圖書，作者是奕尚敏、王樹。
基本介紹
- 中文名：智慧型推理及其在信念修正中的套用
- 作者：奕尚敏、王樹
- ISBN：9787030507624
- 類別：信息與系統科學相關工程與技術
- 出版社：科學出版社
- 出版時間：2016-10
內容簡介,圖書目錄,
內容簡介
智慧型推理是實現智慧型化的基礎，它包括經典的單調推理和非單調推理。本書首先介紹了經典的單調推理中的命題推理系統和謂詞推理系統，以及推理的公理化系統和自然推理系統:其次，介紹了單調推理系統下的自動推理算法和可滿足性驗證算法:然後介紹了非單調推理的主要理論和方法，包括非單調推理邏輯、自知邏輯、預設邏輯和限定邏輯、信念修正的理論和方法，以及信念修正的實現算法:最後介紹了Petri 網用於邏輯推理和信念修正的方法。
圖書目錄
前言
第1章緒論
第2章單調邏輯
第3章自動推理與可滿足性驗證
第4章非單調推理
第5章信念修正理論
第6章單調推理技術在信念修正中的套用
第7章非單調推理技術在信念修正中的套用
第8章信念修正的Petri網方法
