Semantic Interpretation of the Answers of Elementary Algebra Proving Problems

doi:10.4028/www.scientific.net/AMR.403-408.3212

	Semantic Interpretation of the Answers of Elementary Algebra Proving Problems
	Li, Bing; Yang, Yi ; Li, Lian
	2012
会议名称	MEMS, NANO AND SMART SYSTEMS, PTS 1-6
会议录名称	TRANS TECH PUBLICATIONS LTD
卷号	403-408
页码	3212-+
会议日期	NOV 04-06, 2011
会议地点	Kuala Lumpur, MALAYSIA
出版地	KREUZSTRASSE 10, 8635 DURNTEN-ZURICH, SWITZERLAND
出版者	TRANS TECH PUBLICATIONS LTD
摘要	This paper describes the semantic interpretation of a restricted language in a system which automatically assesses the answer of a proving problem of elementary algebra in Chinese. The system translates a student's proof into a formal one which can be verified in Isabelle/Isar automatically. The correctness of the original proof is equivalent to the formal one obtained from the translation.
关键词	natural language understanding theorem proving computer aided assessment
DOI	10.4028/www.scientific.net/AMR.403-408.3212
URL	查看原文
收录类别	CPCI ; CPCI-S
语种	英语
WOS研究方向	Computer Science ; Engineering ; Science & Technology - Other Topics ; Materials Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Information Systems ; Engineering, Electrical & Electronic ; Nanoscience & Nanotechnology ; Materials Science, Multidisciplinary
WOS记录号	WOS:000310764701310
原始文献类型	Proceedings Paper
引用统计	被引频次[WOS]：0 [WOS记录] [WOS相关记录]
文献类型	会议论文
条目标识符	http://ir.lzufe.edu.cn/handle/39EH0E1M/9789
专题	统计与数据科学学院
作者单位	1.Lanzhou Univ, Sch Math & Stat, Lanzhou 730000, Peoples R China; 2.Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China; 3.Lanzhou Commer Coll, Sch Informat & Engn, Lanzhou 730020, Peoples R China
推荐引用方式 GB/T 7714	Li, Bing,Yang, Yi,Li, Lian. Semantic Interpretation of the Answers of Elementary Algebra Proving Problems[C]. KREUZSTRASSE 10, 8635 DURNTEN-ZURICH, SWITZERLAND:TRANS TECH PUBLICATIONS LTD,2012:3212-+.