智能远程作业系统模型探讨.docVIP

智能远程作业系统模型探讨 　　作业是一个重要的教学环节，但作业环节中存在的问题最多，而且教师对比改作业最厌烦。原因为批改作业是一个智能行为特别集中的工作过程。已有的、大量的教学软件之所以没有最终进入到作业环节中，最根本的一条是对计算机的脑力开发不够，计算机只是简单扮演了“附有答案的习题集”的角色。因此，相对而言，作业环节的问题最突出。显然，作业中存在的问题依靠传统的手段是无法得到解决的， 　　为了能适应现代远程教育的发展需要，教育信息化对网上作业的质量提出了更高的要求，唯一出路在于力口快作业环节的技术改造，提高作业环节的自动化程度和工作效率。基于以上教学要求，本文采用人工智能技术，提出一种智能化的远程作业系统实现模型，它不但能够自动批改计算题和证明题等主观题型，而且还可以自动“透视”和动态构筑学生的“病历”。 　　 　　一、远程作业系统的知识表达与知识库建立 　　 　　作业批改是一个智能行为特别密集的工作过程，任课教师在批改作业时的主要依据是相关课程的专门知识、丰富的专家经验和逻辑推理能力。因此要用计算机来模拟真正教师在整个作业环节的工作过程，就必须建立表达合理、结构优化和存取便捷的专家知识库，其中包括学科理论知识和学科专家知识。 　　学科理论知识是作业系统在批改学生作业过程中用来识别学生答案是否正确的主要依据。从内容上讲，理论知识包括作业题目的答案(如选择题的正确选项和填空题的答案)、解答(如选择题、填空题、计算题和证明题的各种分析思路和求解、求证方法)中的数学、物理、逻辑和几何关系。就表达式而言，学科理论知识主要采用标准的书写格式来描述，以消除系统语言与学科之间的距离。学科理论知识的表达方式除了应能准确无误地表示各学科的专门知识之外，还必须满足系统进行算法识别的特殊要求，因此上述知识表达方式必须遵守一些相关约定。 　　就整个教学过程而言作业只是一种手段，其目的是诊断错误和发现问题。学科专家知识用来定义和描述学生在作业过程中暴露出来的错误和问题的专门知识，是任课教师在长期的教学实践和批改作业的工作过程中逐渐积累起来的，这些知识集中反映了远程作业系统的启发式特点和专家系统技术的应用。学生通过上机做作业，计算机通过批改作业及时获取学生作业中的错误信息，动态的建立学生的“学习病历”，从而对学生的学习状况形成准确和定量的描述和评价。这是所要建立智能远程作业系统对传统教学软件的主要技术突破之一。 　　学科专家知识采用产生式规则(ProductionRule)来表示：IP H THEN C，其中规则头H称为触发条件，规则尾C称为错误评价。 　　规则头H可以是由多个触发条件以“或策略”关系组合而成的复合事件，即H=H1 OR H2 OR…OR Hn，而规则尾C也可以是由多个错误评价以“与策略”的关系组合而成的复合评价，即C=C1 ANDC2 AND…AND Cn。因此识别系统中学科专家知识可以表示为识别系统中学科专家知识，即可以表示为IF H1 OR H2 OR“R HnTHEN C1 ANDC2 AND”AND Cn。 　　规则头中的触发条件可以是学生选择了选择题的某个错误选项，也可以是填错了填空题的某个空，或解答题出现的某个步骤，这些触发事件都可能导致知识库中某个专家知识被激活，从而引领系统对学生档案中的错误评价进行处理。 　　学生用户做完作业后提交，处理流程进入专家系统，由推理机对题目的正确与否根据知识库中的知识进行识别，推理机在进行批改作业之后生成作业的对错信息以及其它一些诊断信息，并将这些信息提交到远程数据库的作业库中。如果专家系统在识别过程中学习到新知识，则将新学到的知识提交到远程数据的知识库中，丰富已有的知识。作业批改进程是一个智能行为特别集中的工作过程，属于基于知识的学科专家系统。 　　 　　二、远程作业系统的推理控制和搜索策略 　　 　　每一道计算题或证明题，其求解和求证过程是由多个求解或求证步骤构成。其推理控制有步骤识别、解答识别和解法识别等几个层次组成。 　　 　　(一)步骤识别 　　解答中的一个求解步骤一般由描述性文件信息和数学表达式构成的。文本信息采用“包含”的法则进行识别。数学表达式可以用“全等”和“等价”两种识别类型。 　　一个数学表达式的识别类型是在题目的设计过程中由教师根据需求来设定的，因此属于专家知识的部分(专家经验)。其中，“等价”识别要比“全等”识别的要求宽松得多，因此在要求不是很严格的情况下，数学表达式的识别类型被定义为“等价”。 　　“全等”识别主要用于解决的问题是判别两数学表达式是否相等。用此方法对两数学表达式进行识别时，数学表达式只能进行加法交换律、加法结合律、乘法交换律、乘法结合律、乘法分配律以及分数构造等等效变换。 　　在全等识别方法中，其核