智能教学系统NKI-Tutor的教学策略研究

智能教学系统NKI-Tutor是国家知识基础设施(即NKI)的一个重要应用，其目的是将NKI丰富的知识传授给学生．NKI-Tutor教学策略研究主要研究面向领域本体的跨学科教学策略，设计用于实施领域本体属性和关系教学的微教学策略，以及实施教学规划的宏教学策略，并通过动态逻辑验证教学策略的合理性和完备性．     

基于句型模板的智能问答系统

智能问答系统是远程教学系统中的一个重要组成部分,其主要功能是解答学习者的提问。在此研究了一种基于句型模板的智能问答系统,实现自然语言提问和自动智能答疑。该系统主要包括三方面的内容:①分析学习者的知识提问形式,采集句型模板,并实现基于Web的提问界面;②通过智能分词和模糊匹配建立提问句型,把提问句型映射到概念-关系模型上;③通过IO模型构造问答结果。     

基于Petri网分解的系统范例分析

以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法.     

学生认知能力的评估

在分析学生各种能力的基础上，建立一个基于知识结构的学生认知状态的评估方法。该方法包括领域概念模型、学生的认知能力和部分能力的具体描述以及认知能力的评估方法（包括测试试题和评估）。该方法的特别是从知识结构的角度定性描述学生的认知能力。     

基于依存语法及本体技术的问句分析

与传统的基于框架的问句分析方法不同,本文结合汉语语法对问句的依存关系进行分析,提取问句的语义及问句各成分间的限制关系,得到主要针对领域本体知识库的问句理解结果。本文把问句分析细化为如下几个过程:命名实体识别、问句分类、问句预处理(包括:分词、词性标注以及句子解析)、问句焦点提取和问句成分间的语义关系及限制提取。最后通过实验验证算法的有效性。