Elementary Algebra Proof Exercises Using a Theorem Proving System

被引：0

作者：

Li, Bing ^{[1
]}

Li, Lian ^{[1
]}

机构：

[1] Lanzhou Univ, Sch Math & Stat, Lanzhou 730000, Gansu, Peoples R China

来源：

PRACTICAL APPLICATIONS OF INTELLIGENT SYSTEMS | 2011年 / 124卷

关键词：

Language processing; computer aided assessment; proving problem; theorem proving; phrase structure grammar;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents the modules and features of an e-learning system which can automatically assessing the answers of elementary algebra proving problems. The system translates the answer given by a student, which is written in Chinese, into its corresponding formal proof, which is the semantic of the original sentences in the answer, and then automatically verifies the correctness of the formal proof.

引用

页码：275 / 280

页数：6

共 20 条

[1] Abel A., 2001, PTP 2001 SIEN IT
[2] ETPS: A system to help students write formal proofs
Andrews, PB
Brown, CE
Pfenning, F
Bishop, M
Issar, S
Xi, HW
[J]. JOURNAL OF AUTOMATED REASONING, 2004, 32 (01) : 75 - 92
[3] [Anonymous], 1993, From discourse to logic
[4] [Anonymous], 2002, Isabelle/HOL: a proof assistant for higher-order logic
[5] Benzmuller C., 2003, Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, P12
[6] Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
Billingsley, William
Robinson, Peter
[J]. JOURNAL OF AUTOMATED REASONING, 2007, 39 (02) : 181 - 218
[7] Bundy A., 1988, LNCS, V310
[8] Humayoun M., 2010, J RES COMPUTING SCI, P293
[9] Computerizing Mathematical Text with MathLang
Kamareddine, Fairouz
Wells, J. B.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 205 : 5 - 30
[10] Kuhlwein D., 2009, LNCS, V3

← 1 2 →