期刊文献+

The Intelligent CAI System for Chemistry Based on Automated Reasoning

The Intelligent CAI System for Chemistry Based on Automated Reasoning
原文传递
导出
摘要 A new type of intelligent CAI system for chemistry is developed inthis paPer based on automated reaJsoning with chemistry knowledge. The systemhas shown its ability to solve chemistry problems, to assist students and teachersin studies and instruction with the automated reasoning functions. Its open modeof the knowledge base and its unique style of the illterface between the system andhuman provide more opportunities for the users to acquire living knowledge throughactive participation. The automated reasoning based on basic chemistry knowledgealso opened a new approach to the information storage and management of the ICAIsystem for sciences. A new type of intelligent CAI system for chemistry is developed inthis paPer based on automated reaJsoning with chemistry knowledge. The systemhas shown its ability to solve chemistry problems, to assist students and teachersin studies and instruction with the automated reasoning functions. Its open modeof the knowledge base and its unique style of the illterface between the system andhuman provide more opportunities for the users to acquire living knowledge throughactive participation. The automated reasoning based on basic chemistry knowledgealso opened a new approach to the information storage and management of the ICAIsystem for sciences.
出处 《Journal of Computer Science & Technology》 SCIE EI CSCD 1999年第5期495-509,共15页 计算机科学技术学报(英文版)
关键词 ICAI automated reasoning chemistry knowledge base terminology understanding ICAI,automated reasoning,chemistry knowledge base,terminology understanding
  • 相关文献

参考文献12

二级参考文献16

  • 1黄忠显,计算机科学,1988年,15卷,6期,70页
  • 2Chou S C,Machine Proofs in Geometry,1994年
  • 3Chou S C,Proc of Eighth IEEE Symposium on Logic in Computer Sci,1993年
  • 4Chou S C,Proc of ISSAC.93,1993年
  • 5Yang L,Proc of 1992 Intenational Workshop on mathematics Mechanization,1992年
  • 6Zhang J Z,Theoretical Computer Sci,1990年,74卷,253页
  • 7Chiu S C,Mechanical Geometry Theorem Proving,1988年
  • 8Chou S C,J Automated Reasoning,1986年,4卷,253页
  • 9Chou S C,Contemporary Mathematics,1984年,29卷,243页
  • 10吴文俊,几何定理机器证明的基本原理,1984年

共引文献51

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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