人工智能及其应用

**篇　高级推理技米
　　第1章　传统的推理技术
　　推理能力是人类智能的重要组成部分，推理方法的研究源远流长，早在古希腊时代亚里士多德就提出了三段论，经过G..弗雷格、B.罗素和莱布尼茨等人的发展，在计算机诞生之前，传统的推理技术就已经十分成熟。
　　传统的推理技术包括命题逻辑和谓词逻辑，其推理的结果只有两个，要么是“是”，要么是“否”，这与人类推理中的“可能”与“大概”相差很远。
　　专家系统是以传统的推理技术为基础，并能够模拟人类思维中的模糊性，是高级的推理技术。本章回顾了命题逻辑和谓词逻辑的基本概念的推理方法，并以此为基础，给出了正、反向推理的程序流程图，为高级推理技术打下基础。
　　1.1.1　　命题逻辑
　　1.1　　命题逻辑与谓词逻辑概论
　　1.什么是命题
　　命题是具有真假意义的一句话。
　　例如：“雪是黑色的”，“北京是中华人民共和国的首都”，“今天下雨”。
　　命题是有真假之分的，真和假称为命题的真值。当命题为真命题时，其真值为真，记为T；当命题为假命题时，其真值为假，记为F。命题“雪是黑色的”，真值为假；命题“北京是中华人民共和国的首都”，真值为真；命题“今天下雨”，则要看当天的实际情况来确定其真值。
　　……