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