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, Constructive Geometry, Graph-based Knowledge Representation.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence and Decision Support Systems ; Computer-Supported Education ; e-Learning ; e-Learning Platforms ; Enterprise Information Systems ; Information Technologies Supporting Learning ; Intelligent Tutoring Systems ; K-12 Students ; Learning/Teaching Methodologies and Assessment ; Mentoring and Tutoring ; Pedagogy Enhancement with e-Learning ; Simulation and Modeling ; Simulation Tools and Platforms ; Social Context and Learning Environments

Abstract: We describe a framework that combines a combinatorial approach and automated deduction to generate geometry problems which require implicit constructions for their solution. This is an extension of our framework developed for generating geometric questions without construction. Such a system would help teachers to quickly generate large numbers of questions involving implicit construction on a geometry topic. Students can explore, revise and master specific topics covered in classes and textbooks based on construction-based generated questions. This system may also help standardize tests such as GMAT and SAT. Our novel methodology uses (i) a combinatorial approach for generating geometric figures and objects for construction (ii) 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, theore ms and construction object to be covered by the questions. Experimental results show that a large number of questions can be generated in a short time. (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.135.219.153

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 High School Geometric Questions Involving Implicit Construction. In Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU; ISBN 978-989-758-020-8; ISSN 2184-5026, SciTePress, pages 467-472. DOI: 10.5220/0004947904670472

@conference{csedu14,
author={Rahul Singhal. and Martin Henz. and Kevin McGee.},
title={Automated Generation of High School Geometric Questions Involving Implicit Construction},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU},
year={2014},
pages={467-472},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004947904670472},
isbn={978-989-758-020-8},
issn={2184-5026},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU
TI - Automated Generation of High School Geometric Questions Involving Implicit Construction
SN - 978-989-758-020-8
IS - 2184-5026
AU - Singhal, R.
AU - Henz, M.
AU - McGee, K.
PY - 2014
SP - 467
EP - 472
DO - 10.5220/0004947904670472
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: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic