论文部分内容阅读
本文以 MATBAS(高等数学试题库及计算机辅助命题和评估软件系统)为背号,论述了基于知识的成卷方法。在分析各类考试特点与规律的基础上,提出三类考试模型。在成卷推理中综合使用可信度推理、启发式推理、规划及约束方法。为了使系统控制更灵活,能够生成若干风格不同的等价试卷,还提出了知识层次划分的思想,引入“元知识”的概念,把知识处理结构设计为耦合式的知识库系统。该成卷方法不仅适用于高等数学命题,也适应于别的课程考试。
In this paper, MATBAS (advanced mathematics test questions database and computer aided proposition and evaluation software system) as the back number, discusses the knowledge-based method of forming a roll. On the basis of analyzing the characteristics and rules of various exams, three types of exam models are proposed. In the reasoning of reasoning, heuristic reasoning, planning and constraint methods are integrated in the reasoning of the volume. In order to make the system control more flexible, it can generate several equivalent papers with different styles, and also put forward the idea of dividing the knowledge level, introducing the concept of “meta-knowledge” and designing the knowledge-processing structure as a coupled knowledge base system. The roll method is not only suitable for higher mathematics proposition, but also adapted to other course exams.