人工智能逻辑教学

《人工智能逻辑教学》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第四章人工智能逻辑第一节引言一、逻辑是重要的形式工具1、Aristotle从数学的研究中分离出逻辑学，认为形式逻辑是一切推理活动的最基本出发点。2、Baccon归纳逻辑3、Leibnitz将数学的方法引入逻辑领域，提出数理逻辑，将形式逻辑符号化，从而能对人的思维进行运算和推理。第四章人工智能逻辑第一节引言一、逻辑是重要的形式工具3、Leibnitz注：现代数理逻辑主要研究内容为：逻辑运算、证明论、公理集合论、递归论、模型论。4、形式化实质上就是一个算法，即一个机械地实现的过程，用于将概念、断言、事实、规则、推演乃至整个被描述系统表述得很严密、精

2、确而无需任何专门的知识，即可被毫无歧义地感知。第四章人工智能逻辑第一节引言二、逻辑学与人工智能1、研究目标a)逻辑学研究人的思维规律和法则。注：逻辑是思维的规范，推理是思维的法则b)人工智能模拟、扩展和延伸人的智能，即模拟人的思维过程，研究人的思维规律和推理方法，并让计算机学会思维。第四章人工智能逻辑第一节引言二、逻辑学与人工智能2、研究方法由于人类智能行为在很大程度上是通过语言和文字表达出来的，所以，人工智能模拟人类思维是以模拟人类的自然语言作为出发点。逻辑学研究人的思维是从研究人的自然语言入手。方法相近。3、逻辑可作为重现智能的手段第四章人

3、工智能逻辑第一节引言三、人工智能中的逻辑学注：逻辑和推理是人工智能的基本框架。1、主要内容a)逻辑作为程序设计语言，即逻辑程序设计b)逻辑作为知识表示和推理的工具，即知识表示与推理第四章人工智能逻辑第一节引言三、人工智能中的逻辑学2、逻辑程序设计将函数和关系等概念形式化，然后利用标准逻辑的推理方法进行求解，得到与有关计算机程序一样的效果，这就是逻辑程序设计。Prolog是将逻辑方法(自动推理)应用于计算机程序设计语言的一个例子，其理论基础是一阶逻辑。更确切地，是Horn子句逻辑。注：Horn子句是指仅由句节(原子或负原子)通过或符号连接而成的句

4、子中最多有一个正原子。第四章人工智能逻辑第一节引言三、人工智能中的逻辑学3、关于知识的表示与推理可使用逻辑进行知识的表示与推理。多数基于逻辑的智能系统是使用一阶逻辑或一阶逻辑的扩充形式。注：1)智能行为的基础是知识，尤其是常识性知识。人类的智能行为对于知识的依赖主要表现在对于知识的利用。第四章人工智能逻辑第一节引言三、人工智能中的逻辑学3、关于知识的表示与推理注：2)一阶逻辑的优点是它具有相当强的表达能力，同时可很好地表达不确定性知识。此外，一阶逻辑还有一完备的公理系统。完备的公理体系为设计有关推理的策略和算法提供了一个参考标准。这就是经典逻辑

5、(传统的形式逻辑及谓词逻辑)第四章人工智能逻辑第一节引言三、人工智能中的逻辑学3、关于知识的表示与推理注：3)虽然，有人坚信，一阶逻辑对于知识表示是足够的，但从实际应用角度看，为方便、清楚和简洁起见，知识表示不一定非得从一阶逻辑出发不可。事实上，人们从实际应用出发已经发明和创建了许多适合于不同目的的逻辑系统。这就是非经典逻辑。第四章人工智能逻辑第一节引言三、人工智能中的逻辑学4、常使用的非经典逻辑a)模态逻辑用于刻划各种认知概念，如相信、知道、愿望、意图、目标、承诺等。b)时序逻辑用于刻划时间因素第四章人工智能逻辑第一节引言三、人工智能中的逻辑

6、学4、常使用的非经典逻辑c)模糊逻辑用于描述不确定和不精确的概念。注：模糊逻辑是直接建立在自然语言上的逻辑系统，与其它逻辑系统相比，考虑了更多的自然语言的成分。Fuzzylogic=computingwithwordsd)动作逻辑第四章人工智能逻辑第一节引言四、一阶逻辑的扩充1、语构扩充a)二阶谓词逻辑演算系统引入二阶量词、谓词变元和函数变元b)模态逻辑系统引入模态词2、语义扩充多值逻辑和模糊逻辑第四章人工智能逻辑第一节引言四、一阶逻辑的扩充3、非经典逻辑与经典逻辑之间的主要区别a)是演绎还是归纳？注：归纳逻辑在人工智能中也很重要，虽然形式化程

7、度不高。b)二值还是多值？注：多值逻辑的理论基础尚显薄弱。c)是否遵循形式逻辑和传统数理逻辑(经典逻辑)的运算法则？第四章人工智能逻辑第一节引言四、一阶逻辑的扩充3、非经典逻辑与经典逻辑之间的主要区别d)是否引入额外的逻辑算子？e)单调还是非单调的？注：传统逻辑是单调的。第四章人工智能逻辑第二节模态逻辑及其应用一、基本思想在普通逻辑中引入模态词。二、模态词自然语言中用于表示事物的“势态”、人的“情态”以及过程的“变迁”(历史的或未来的)词称为模态词。如：“必须”、“可能”，“应该”、“允许”、“知道”、“许可”，“一贯”、“偶然”等。第四章人工

8、智能逻辑第二节模态逻辑及其应用二、模态词注：1)模态词与真值联结词不同，因为由真值联结词联结而成的复合命题，其真值完全由组成它的各成分命题所确定，而由