《智能科學技術著作叢書》序
前言
第1章 緒論
1.1 人工智能的淵源
1.2 人工智能的認知問題
1.3 思維的層次模型
1.4 符號智能
1.5 人工智能的研究方法
1.5.1 認知學派
1.5.2 邏輯學派
1.5.3 行為學派
1.6 自動推理
1.7 機器學習
1.8 分布式人工智能
1.9 智能繫統
習題
第2章 人工智能邏輯
2.1 概述
2.2 邏輯程序設計
2.2.1 邏輯程序定義
2.2.2 Prolog數據結構和遞歸
2.2.3 SLD歸結
2.2.4 非邏輯成分：CUT
2.3 封閉世界假設
2.4 非單調邏輯
2.5 默認邏輯
2.6 限制邏輯
2.7 非單調邏輯NML
2.8 自認知邏輯
2.8.1 Moore繫統幺
2.8.2 □邏輯
2.8.3 標準型定理
2.8.4 ◇-記號以及穩定擴張的一種判定過程
2.9 真值維護繫統
2.10 情景演算
2.10.1 刻畫情景演算的多類邏輯
2.10.2 LR中的基本動作理論
2.10.3 ConGolog
2.11 框架問題
2.11.1 積木世界
2.11.2 框架公理
2.11.3 框架問題解決方案的準則
2.11.4 框架問題的非單調解決方案
2.12 動態描述邏輯DDL
2.12.1 描述邏輯
2.12.2 動態描述邏輯的語法
2.12.3 動態描述邏輯的語義
習題
第3章 約束推理
3.1 概述