loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rahul Singhal ; Martin Henz and Kevin McGee

Affiliation: National University of Singapore, Singapore

ISBN: 978-989-758-021-5

Keyword(s): Automated Deduction, Graph-based Knowledge Representation.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence and Decision Support Systems ; Authoring Tools and Content Development ; Computer-Supported Education ; Educating the Educators ; e-Learning ; Enterprise Information Systems ; Information Technologies Supporting Learning ; Intelligent Tutoring Systems ; Learning/Teaching Methodologies and Assessment ; Mentoring and Tutoring ; Pedagogy Enhancement with e-Learning

Abstract: We describe a framework that combines a combinatorial approach, pattern matching and automated deduction to generate and solve geometry problems for high school mathematics. Such a system would help teachers to quickly generate large numbers of questions on a geometry topic. Students can explore and revise specific topics covered in classes and textbooks based on generated questions. The system can act as a personalized instructor - it can generate problems that meet users specific weaknesses. This system may also help standardize tests such as GMAT and SAT. Our novel methodology uses (i) a combinatorial approach for generating geometric figures (ii) a pattern matching approach for generating questions and (iii) automated deduction to generate new questions and solutions. By combining these methods, we are able to generate questions involving finding or proving relationships between geometric objects based on a specification of the geometry objects, concepts and theorems to be covered by the questions. Experimental results show that a large number of questions can be generated in a short time. We have tested our generated questions on an existing geometry question solving software JGEX, verifying the validity of the generated questions. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.80.4.76

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Singhal, R.; Henz, M. and McGee, K. (2014). Automated Generation of Geometry Questions for High School Mathematics.In Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-021-5, pages 14-25. DOI: 10.5220/0004795300140025

@conference{csedu14,
author={Rahul Singhal. and Martin Henz. and Kevin McGee.},
title={Automated Generation of Geometry Questions for High School Mathematics},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2014},
pages={14-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004795300140025},
isbn={978-989-758-021-5},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Automated Generation of Geometry Questions for High School Mathematics
SN - 978-989-758-021-5
AU - Singhal, R.
AU - Henz, M.
AU - McGee, K.
PY - 2014
SP - 14
EP - 25
DO - 10.5220/0004795300140025

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.