loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rahul Singhal ; Martin Henz and Kevin McGee

Affiliation: National University of Singapore, Singapore

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 covere d 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)

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.145.84.135

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 3: CSEDU; ISBN 978-989-758-021-5; ISSN 2184-5026, SciTePress, 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 3: CSEDU},
year={2014},
pages={14-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004795300140025},
isbn={978-989-758-021-5},
issn={2184-5026},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: [email protected]

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic