摘要
本文以 MATBAS(高等数学试题库及计算机辅助命题和评估软件系统)为背号,论述了基于知识的成卷方法。在分析各类考试特点与规律的基础上,提出三类考试模型。在成卷推理中综合使用可信度推理、启发式推理、规划及约束方法。为了使系统控制更灵活,能够生成若干风格不同的等价试卷,还提出了知识层次划分的思想,引入“元知识”的概念,把知识处理结构设计为耦合式的知识库系统。该成卷方法不仅适用于高等数学命题,也适应于别的课程考试。
With the background of MATBAS (mathemational test questions base System),the key project for the 7th Five-Year-Plan organized by the National Education Committee,this paper presents a knowledge-based method for setting test papers.The authors give three test paper modules.In inference procedure, the authors use methods of confidence factor,heuristic,planning and con- straint.In order to flexibly control the system to set several different style test papers which are equivalent the ideas of partitioning knowledge into hierarchical structures will be presented,the concept of“Metaknowledge” is introduced,and the structure of knowledge processing is designed as a coupling knowledge based system.The method presented here is not only applicable to setting test papers for higher mathematics but also for the other courses.
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
1989年第1期101-108,116,共9页
Journal of Xi'an Jiaotong University
关键词
高等数学
程序系统
试题库
higher mathematics
data handlings
programming systems/test questions base system
