GPT: A tutor for geometry proving

Geometry is a mandatory subject for secondary school students, where they learn geometric figures and their properties, and the axioms, postulates and theorems involving them. A key topic in Geometry class is proving, where learners are required to derive and prove a certain property is true based f...

Full description

Saved in:
Bibliographic Details
Main Authors: Alicbusan, Roscoe Nealle Chua, Foz, Laurence Nicholas, Merle, Paolo Vittorio, Ong, Ethel Chua Joy, Lapinid, Minie Rose C.
Format: text
Published: Animo Repository 2017
Subjects:
Online Access:https://animorepository.dlsu.edu.ph/faculty_research/3371
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: De La Salle University
id oai:animorepository.dlsu.edu.ph:faculty_research-4373
record_format eprints
spelling oai:animorepository.dlsu.edu.ph:faculty_research-43732022-08-21T05:18:26Z GPT: A tutor for geometry proving Alicbusan, Roscoe Nealle Chua Foz, Laurence Nicholas Merle, Paolo Vittorio Ong, Ethel Chua Joy Lapinid, Minie Rose C. Geometry is a mandatory subject for secondary school students, where they learn geometric figures and their properties, and the axioms, postulates and theorems involving them. A key topic in Geometry class is proving, where learners are required to derive and prove a certain property is true based from the given properties and by using various axioms, postulates and theorems. This is where most learners encounter difficulty. In this paper, we describe Geometry Proof Tutor, a learning environment where learners can practice Geometry proving through multiple representations - two-column proof and proof tree. With the use of a knowledge base to model Geometry concepts, the software validates the learner's proof statements and provides corrective feedback accordingly. Test results showed that the learners found the availability of the proof tree to be useful in tracking their progress. The presence of complete reasons to use for proofs also helped them understand Geometric Proving better. However, the long list of available choices and the one-proof-statement-at-a-time user interface design made it difficult for them to encode their answers. © 2017 Asia-Pacific Society for Computers in Education. All rights reserved. 2017-01-01T08:00:00Z text https://animorepository.dlsu.edu.ph/faculty_research/3371 Faculty Research Work Animo Repository Geometry—Computer-assisted instruction Computer Sciences Geometry and Topology
institution De La Salle University
building De La Salle University Library
continent Asia
country Philippines
Philippines
content_provider De La Salle University Library
collection DLSU Institutional Repository
topic Geometry—Computer-assisted instruction
Computer Sciences
Geometry and Topology
spellingShingle Geometry—Computer-assisted instruction
Computer Sciences
Geometry and Topology
Alicbusan, Roscoe Nealle Chua
Foz, Laurence Nicholas
Merle, Paolo Vittorio
Ong, Ethel Chua Joy
Lapinid, Minie Rose C.
GPT: A tutor for geometry proving
description Geometry is a mandatory subject for secondary school students, where they learn geometric figures and their properties, and the axioms, postulates and theorems involving them. A key topic in Geometry class is proving, where learners are required to derive and prove a certain property is true based from the given properties and by using various axioms, postulates and theorems. This is where most learners encounter difficulty. In this paper, we describe Geometry Proof Tutor, a learning environment where learners can practice Geometry proving through multiple representations - two-column proof and proof tree. With the use of a knowledge base to model Geometry concepts, the software validates the learner's proof statements and provides corrective feedback accordingly. Test results showed that the learners found the availability of the proof tree to be useful in tracking their progress. The presence of complete reasons to use for proofs also helped them understand Geometric Proving better. However, the long list of available choices and the one-proof-statement-at-a-time user interface design made it difficult for them to encode their answers. © 2017 Asia-Pacific Society for Computers in Education. All rights reserved.
format text
author Alicbusan, Roscoe Nealle Chua
Foz, Laurence Nicholas
Merle, Paolo Vittorio
Ong, Ethel Chua Joy
Lapinid, Minie Rose C.
author_facet Alicbusan, Roscoe Nealle Chua
Foz, Laurence Nicholas
Merle, Paolo Vittorio
Ong, Ethel Chua Joy
Lapinid, Minie Rose C.
author_sort Alicbusan, Roscoe Nealle Chua
title GPT: A tutor for geometry proving
title_short GPT: A tutor for geometry proving
title_full GPT: A tutor for geometry proving
title_fullStr GPT: A tutor for geometry proving
title_full_unstemmed GPT: A tutor for geometry proving
title_sort gpt: a tutor for geometry proving
publisher Animo Repository
publishDate 2017
url https://animorepository.dlsu.edu.ph/faculty_research/3371
_version_ 1767195889832558592