智能教学系统的研究和设计.pdfVIP

智能教学系统的研究与设计 徐 琪 宁夏大学计算中，L-，宁夏，750021 摘娶本文主要讨论了智能教学系统的研究及设计方法。该系统利用计算讥模拟教学专家的思 维过程，形成一个开放式人机交互系统，它具有一定的智能性，在计算机继续教育中．可以发挥很 大的作用。 关键词智能教学系统，知识表示．知识库 智能教学系统是以学生为中-L-，计算机为媒介，利用计算机模拟教学专家的思维过程。形 成一个开放式人机交互系统。其最大特点就是具有一定的智能性，它改变了传统的教学模式， 更能发挥学生的学习积极性，非常适合继续教育。智能教学系统从方法上与CAI(计算机辅助 教学)是完全不同的，它注重已有知识、人类教学专家的经验和系统的推理功能，强调学生作 用，学生时刻牌控制和操纵系统的状态．不是单纯运行固定的程序，而是从知识表示、推理功 能、学生模型、课程模型、教师模型人手，来建立系统．使其更能适应不同学生的学习要求，体现 出智能教学系统的优越性。 l智能教学系统的研究基础 由于人工智能的理论与技术在教育领域中的应用目渐普及，把教学专家、学生及计算机看 成一个完整的系统，寻求最优化组合，以其达到最佳教学效果．是研究与开发智能教学系统的 目的。其理论基础就是认知科学，其实现的手段就是先进的计算机技术。而用计算机技术开发 该系统，亦需要按照软件开发的一般规律．采用集成化方式，向工程化迈进。这一般规律即软件 工程中的需求分析一系统设计一编程调试～测试验收～运行维护。因此一个基于知识的智能 教学系统的设计与开发，是人类的高级智能活动。极富创造性，需要使用有关领域的大量知识。 智能教学系统的知识表示法 2．1 智能教学系统的知识表示法 智能教学系统中对知识的处理是以教学专家的丰富经验和知识为基础的，知识的表示是 研究用计算机表示知识的有效的、通用的方法。对智能教学系统的研究，首先要研究知识的表 示方法。常用的知识表示方法有谓词逻辑表示法、产生式规则表示法框架表示法。通过将知识 有效的表示出来，形成知识的数量化、形式化，使计算机可以理解，进而产生教学模型。 (1)谓词逻辑表示法 1 45 谓词逻辑是数理逻辑的基本形式，是基于谓词分析的一种形式化语言。数理逻辑是用数学 疗法研究形式逻辑的一个分支，由于在数理逻辑中，用符号系统来表达客观对象辑推理，因此 数理逻辑也称为符号逻辑。谓词就是表示对象的属性或对象的特定关系。如电阻R的电压为 用谓词逻辑对问题求解是基于它的两个特点：一是谓词逻辑及其形式系统的推理演绎都保证 正确。二是使用谓词逻辑时，推理演绎可以完全机械化，这为实现机器自动推理演绎提供了一 条可行之路。用谓词逻辑求解智能教学系统问题，有以下几个步骤：其一，用谓词演算将所要求 解的问题形式化；其二，在第一步的基础上建立推理与控制体系；其三，证明从问题的初始状态 夺问可到达问题的终结空问。谓词逻辑是一种接近自然语青的形式化语盲，它能向用户展示教 学领域的知识和问题．对推理结果给出台乎自然语育语法的合理解释。但同时由于谓词逻辑具 有效率低、灵活性差，不便于表示启发性知识等缺点，因而限制了谓词逻辑的推广与使用。 (2)产生式规则表示法 目前基于规则的产生式知识表示是智能教学系统中最为普遍的一种方法。其一般形式为： ’ P一)Q(前提条件或状态一)结论) 亦即如果P这个{；i『提条件成立，是一定有结论Q。其规则的表现形式与人类的推理思维非 常相似。例如，若有一电阻R的电压大干3伏，则三极管T导通，用产生式规则表示即： IF 电阻R的电压大于3伏 THEN三极管T导通 这种不断形成的推理链可形成一种思维推理的模型，该模型易于理解、易于接受。产生式 规则的表示结构是模块化的。一般由三个模块组成，即事实库模块、规则库模块和控制器模块。 事实库也称为综合数据库．用来存放有关问题的状态、性质等事实的叙述性知识；规则库主要 存放描述状态、性质所用的规则等一些过程性知识。析若要将规则与事实进行匹配，需用到控 制器，控制依据知识推理而进行的过程。在产，圭式规则表示法中，规则库是核-t,-．它是解决相应 领