期刊文献+

形式化描述在学习目标中的研究 被引量:1

Research of Formal Description on Learning Objective
下载PDF
导出
摘要 对IMS学习设计规范中的学习目标进行了分析,并构建其概念模型,然后运用描述逻辑语言ALC对该模型进行形式化描述,定义了学习目标的相关概念,并通过不同的权值来表现对不同知识点掌握的高低程度。 Iearning objective in IMS Learning Design is analyzed, and the conceptual model has been built. The model in description language ALC is described, and defined the relative concepts of learning objective, and also different weight reflected the different knowledge degrees.
出处 《科学技术与工程》 2007年第16期4049-4053,共5页 Science Technology and Engineering
关键词 学习设计 学习目标 形式化描述 描述逻辑 learning design; learning objective; formal description; description logic
  • 相关文献

参考文献5

  • 1石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197. 被引量:42
  • 2[2]IMS学习设计规范,http://www.imsglobal.org/learningdesign/index.cfm
  • 3蒋运承,汤庸,王驹.基于描述逻辑的模糊ER模型[J].软件学报,2006,17(1):20-30. 被引量:30
  • 4[4]Bloom B S.Taxonomy of educational objectives.New York:Longmans Green,1956:102-105
  • 5[5]Baader F,Nutt W.Basic Description Logics.In:Baader F,McGuinness,Nardi D,et al.eds.The Description Logic Handbook.Chapter2.Cambridge Univ Press,2003

二级参考文献48

  • 1史忠植,蒋运承,张海俊,董明楷.基于描述逻辑的主体服务匹配[J].计算机学报,2004,27(5):625-635. 被引量:62
  • 2刘亚彬,陈岗.基于描述逻辑的空间推理研究[J].计算机科学,2004,31(8):110-112. 被引量:3
  • 3Description Logic. home page http://dl.kr.org/.
  • 4Baader F, Nutt W. Basic Description Logics. In: Baader F, McGuinness, Nardi D, et al. eds. The Description Logic Handbook, Chapter2. Cambridge Univ Press,2003.
  • 5De Giacomo G, Lenzerini M. TBox and ABox Reasoning in Expressive Description Logics. KR 1996. 316-327.
  • 6Brachman R J, Levesque H J. The tractability of subsumption in frame-based description languages. In:Proceedings of the 4th National Conference of the American Association for Artificial Intelligence (AAAIr84) ,Austin, TX, 1984. 34-37.
  • 7Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Hutter D, Stephan W, eds.Festschrift in honor of Jorg Siekmann, Lecture Notes in Artificial Intelligence. Springer, 2003.
  • 8Brachman R J, Sehmolze J G. An overview of the KL-ONE knowledge representation system. Cognitive Science, 1985,9 (2) : 171-216.
  • 9Mays E,Dionne R,Weida R. K REP system overview. SIGART Bulletin, 1991,2(3).
  • 10Peltason C. The BACK system-an overview. SIGART Bulletin,1991,2(3):114-119.

共引文献69

同被引文献3

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部