第四章人工智能中的谓词演算及应用

- (AI) - 第四章 人工智能中的谓词演算及应用4.1 一级谓词演算的基本体系4.2 归结(消解Resolution)4.3 归结反演系统(Refutation)4.4 基于