人工智能34章ppt课件

- 第三章 基于谓词逻辑的机器推理----3.2 归结演绎推理 - 3.2.1子句集定义1 原子谓词公式及其否定称为文字；文字的析取式称为子句；r个文字组成的子句称为r-