人工智能第2章知识表示方法3谓词逻辑

- 第2章 知识表示方法2.1 状态空间法2.2 问题归约法2.3 谓词逻辑法 - - - 2.3 谓词逻辑法数理逻