| 摘要 | 第1-6页 |
| 英文摘要 | 第6-9页 |
| 序言 | 第9-10页 |
| 第一章 一阶谓词逻辑演算系统 | 第10-14页 |
| ·谓词和谓词公式 | 第10-12页 |
| ·谓词公式的解释 | 第12-13页 |
| ·谓词公式的等价性与永真蕴涵 | 第13-14页 |
| 第二章 一阶谓词逻辑在知识表示方面的应用 | 第14-21页 |
| ·人工智能系统对知识表示的要求 | 第15-16页 |
| ·一阶谓词逻辑对知识的表示过程 | 第16-21页 |
| 第三章 一阶谓词逻辑在知识推理中的应用 | 第21-37页 |
| ·归结反演推理系统 | 第21-30页 |
| ·子句及海伯伦理论 | 第22-25页 |
| ·一阶谓词逻辑的归结原理 | 第25-27页 |
| ·归结原理在人工智能中的应用 | 第27-30页 |
| ·基于规则的演绎推理系统 | 第30-37页 |
| ·基于规则的正向演绎推理系统 | 第31-34页 |
| ·基于规则的逆向演绎推理系统 | 第34-37页 |
| 第四章 逻辑在人工智能应用中的反思 | 第37-42页 |
| ·一阶谓词逻辑知识表示法的评价 | 第37-38页 |
| ·一阶谓词逻辑知识推理的评价 | 第38-40页 |
| ·逻辑在人工智能应用中的反思 | 第40-42页 |
| 结束语 | 第42-43页 |
| 参考文献 | 第43-45页 |
| 后记 | 第45页 |