第三讲_经典逻辑推理.ppt

第三讲 经典逻辑推理;如何实现推理？;柯南的推理过程;推理的一般形式;符号与形式语言;符号与形式语言;符号与形式语言;3.1 基本概念;3.1.2 推理方式及其分类;3.1.3 推理的控制策略;正向推理示意图; 动物识别的例子;2 逆向推理;逆向推理示意图;动物识别系统; r9： if 该动物是哺乳动物 and 是食肉类动物 and 是黄褐色 and 身上有暗斑点 then 该动物是金钱豹 r10： if 该动物是哺乳动物 and 是食肉类动物 and 是黄褐色 and 身上有黑色条纹