文档介绍：使用前沿技术激发人工智能课程的学习兴趣计算机教育题,文章提出利用符号主义学派的前沿技术—饪陕慵际跤胱远婊际酰镏⒍匀引言命题逻辑的教学运用文章编号:——.中图分类号:蔡敦波,赵彤洲摘要:人工智能课程主要教学内容是符号主义学派的成果,然而,由于符号主义学派研究成果在国内的应用不够广泛,学生对该门课程的价值缺少直观感受,进而出现学习兴趣不足的现象。针对此问工智能课程内容的认可,激发其探索与应用符号主义人工智能学派成果的兴趣。关键词:人工智能课程教学;学习兴趣;命题可满足技术;自动规划人工智能课程蛉斯ぶ悄芑是我国智能科学与技术专业虺浦悄茏ㄒ的一门重要专业课。在北京大学、西安电子科技大学、首都师范大学、厦门大学、武汉工程大学等高校的智能专业培养方案校肴斯ぶ悄芟喙氐目纬主要有牛喝斯ぶ悄堋⒅悄芗扑恪⒍嘀悄芴逑统。由于后两门课程主要介绍人工智能领域的连接主义学派与行为主义学派的成果,因此人工智能课程主要介绍符号主义学派的成果。符号主义学派希望用符号化的形式系统如谓词演算系统,实现人类智能的机器化【俊7呕问较低车挠势在于处理复杂的推理问题,然而领域的主要产品是业务过程建模软件,如医院的自动化办公系统、生产企业的产品管理系统。这些软件主要模拟实际的生产过程,极少涉及基于数据的推理问题,即使是一些决策支持系统也大多采用基于统计的方法进行数据分析,因此符号主义学派研究成果的应用价值在学生中间鲜有人知,进而被认为是停留在理论阶段的研究,很难激发学生的学习兴趣。为了激发学生的学习热情,我们在教学过程中运用符号主义学派学术研究中具有代表性的两个自动推理系统:命题可满足系统智能规划系统ü饬礁鱿低车氖迪运用达到激发学生学习兴趣的教学目的。其中,芄桓菀延械氖率嫡坊卮鹩没У囊问,能够在机器人行动之前制订行动计划。人类经常发出很多疑问,这些问题的答案能够帮助他们决定下一步的行动。问题的答案根据人类经验推导,这些经验也称为知识。一个疑问的解决通常需要多个知识。当知识的数量较少时鏻鲆韵,人类能够较容易应付。然而,当知识的数量在个以上或者成百上千时,大多数人很难在短时间内得出答案。我们将介绍一个能较快处理大量知识的符号主义学派的方法,使用一个称为淖远评硐低匙魑9ぞ摺我们首先介绍一个存在疑问的场景【浚蠼樯绾卧诟贸【爸屑扑阄侍獾拇鸢浮例偕枰桓鋈司哂腥缦条关于天气变化的知识:绻烊炔⑶姨炱笔T蚧嵯掠辏绻炱笔T蛱炱龋裉焯炱笔!基金项目:国家自然科学基金项目“基于知识的规划方法研究”;湖北省教育厅教学研究项目“以培养学生科研创新能力为导向,科学构建专业实践教学体系的研究”第一作者简介:蔡敦波,男,讲师,研究方向为自动推理、智能规划,.第期年月日浜汗こ檀笱Ъ扑慊蒲в牍こ萄г骸:蔽浜
教育与教学研究自动规划技术的教学运用具体的智能规划系统——。的使用。疑问:今天会下雨吗命题逻辑使用命题表示例械条知识:用符号硎尽疤炱取保臦表示“天气潮湿”,符号硎尽盎嵯掠辍保琠表示“不会下雨”。以上踔J兜姆疟硎痉直鹞#薗,,基于“反驳”的命题逻辑推理主要通过推出矛盾回答疑问。对于例颐墙ǔ⑹苑治薗,琎和同时成立时是否存在矛盾。通过分析可知,如果其中存在矛盾,同时前踔J墩罚蚰艿贸不成立,进而得出今天“会下雨”的答案。我们将借助蠼庀低撑卸鲜欠翊嬖诿埽绻在矛盾,蚴涑鲎址癠”。荒芏寥艘话阈问降拿夂兔夥号,只能读入用数字序号表示的子句形式。