_人工智能_教学中的几点思考.pdfVIP

　　　　　　　　　　　　　　　　　　　　　　计算机与数字工程 　　　　　　　　　　　　　　　　　　　第 33 卷 94 《人工智能》教学中的几点思考① 肖启莉 　柴本成 　杨 　庆 (浙江万里学院　宁波 　3 15 100) 摘 　　要 总结了在人工智能的学习和教学中应着重理解和掌握的几点 , 以提高学生的学习能力和教学效果 。 关键词 :人工智能 　推理 　归结原理 　有哪些信誉好的足球投注网站 中图分类号 : G420 Thinking of Artif icial Intell igence During the Teaching Xiao Qili 　Chai Bencheng 　Yang Qing (Zhejiang Wanli University , Ningbo 　3 15 100) Abstract :This p ap er summarizes p ap ers of key content s of artificial intelligence which student s should understand and master in order to strengt hen t he abilities of university student s and make teaching more effective . Key words :artificial intelligence , infer , principle of resolution , search Class number :G420 容之一 。在学习的过程中 ,学生往往知道如何使用 1 　引言 归结原理进行定理证明 ,但对于其中的道理还是一 人工智能是一门研究如何使计算机具有像人 知半解 。原因是不能将离散数学的知识跟人工智 类一样智能的学科 ,它是以程序设计语言、离散数 能的知识有机地结合起来 。 学 、数据结构为先修课程的计算机软件专业的专业 对于定理的证明可以描述如下 : 已知条件 P ,证 必修课 。对于本科生主要要求其掌握人工智能的 明Q 成立 。用人工智能的语言可以描述为 : 已知前 基本实现技术 ,主要有推理技术 、有哪些信誉好的足球投注网站技术和知识 提条件 P 为真 ,求证结论 Q 也为真 ;或者说 Q 是 P 表示等 。由于其知识的抽象性 ,又加之它对先修课 的逻辑结论 ,即 P Q 。在实现定理的证明时 ,当直 程的要求较高 ,所以往往教师感觉难讲 ,学生在学 接求证有难度时 ,我们往往采用反证法 ,归结演绎推 习的过程中也感到吃力 ,对问题的解答大多都是死 理就是采用这种方法来实现定理自动证明的。 记其方法和步骤 ,对于其中许多知识点的掌握由于 归结原理 :归结式 C12 是其亲本子句 C1 和 C2 不理解而变成了死记硬背 。在此 ,结合自己多年的 的逻辑结论 。 学习和教学 ,总结出以下几点 , 以供广大的教师和 为了让学生更好地理解为何当使用归结原理 学生在从事教学和学习的过程中进行参考 。 归结出空子句时 ,定理就得证 ,将以下知识点有机 地结合在一起进行详细地讲解是