《数理逻辑》智能CAI系统的研制  

Development of CAI systems of mathematical logic & intelligence

作　　者：李盘林[1] 陈龙猛[1] 李洋 

机构地区：[1]大连理工大学计算机科学与工程系

出　　处：《大连理工大学学报》1996年第3期356-361,共6页Journal of Dalian University of Technology

摘　　要：提出并建立了学习－知识图，运用超文本技术、人工智能技术、评估方法和反馈原理，实现了学生主动灵活学习和教师及时正确指导的智能化教学模式．特别是给出的智能评测程序，真正完成了学生自由练习、恰当打分及正确辅导的功能．数理逻辑智能ＣＡＩＭＬＩＣＡＩ自带汉字库。A knowledge learning graph is proposed,and then an intelligent teaching mode for students to study actively and get correct directions from teachers is realized by using hypertext technology,AI technology,estimating method and response principle.Specially an intelligent estimating program is provided which can be applied to practising freely,estimating properly and directing correctly.MLICAI has its own Chinese character library, and this makes it facile to input and display Chinese characters.

关 键 词：人工智能 数理逻辑 知识表示 超文本 CAI 

分 类 号：G434[文化科学—教育学]