（共34页PPT）人工智能9基于知识的推理.pptx

基于知识的推理（Knowledge-basedInference）毛文吉中国科学院自动化研究所2016年11月

关于推理?推理：依据一定的原则从前提推出结论的过程，从逻辑上分为-演绎推理：由一组前提必然地推导出某个结论的过程核心：三段论；保真性；没有增加新知识-归纳推理：以某个命题为前提，推出与其有归纳关系的其它命题的过程简单枚举法、类比法等；增加了新知识；不保真?经典逻辑推理标准逻辑下的演绎推理是人工智能最早采用的经典推理方法，归结推理方法是其最重要的形式化方法

关于推理?非经典逻辑与非经典推理多值化：多值逻辑模糊化：模糊逻辑可能性：模态逻辑时态性：时态逻辑精确→不精确：静态→动