A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools

Bibliographic Details
Main Author: Teles, Joana
Publication Date: 2023
Other Authors: Santos, Vanda, Quaresma, Pedro
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://hdl.handle.net/10316/113788
https://doi.org/10.4204/EPTCS.375.3
Summary: In Proceedings ThEdu'22, arXiv:2303.05360
id RCAP_f1e6d17faf9448ed7d0f6d475ce360d0
oai_identifier_str oai:estudogeral.uc.pt:10316/113788
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsComputer Science - Artificial IntelligenceComputer Science - Computers and SocietyComputer Science - Logic in Computer ScienceI.2K.3In Proceedings ThEdu'22, arXiv:2303.05360The introduction of automated deduction systems in secondary schools face several bottlenecks. Beyond the problems related with the curricula and the teachers, the dissonance between the outcomes of the geometry automated theorem provers and the normal practice of conjecturing and proving in schools is a major barrier to a wider use of such tools in an educational environment. Since the early implementations of geometry automated theorem provers, applications of artificial intelligence methods, synthetic provers based on inference rules and using forward chaining reasoning are considered to be more suited for education proposes. Choosing an appropriate set of rules and an automated method that can use those rules is a major challenge. We discuss one such rule set and its implementation using the geometry deductive databases method (GDDM). The approach is tested using some chosen geometric conjectures that could be the goal of a 7th year class (approx. 12-year-old students). A lesson plan is presented, its goal is the introduction of formal demonstration of proving geometric theorems, trying to motivate students to that goalConference Proceedings2023-03-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://hdl.handle.net/10316/113788https://hdl.handle.net/10316/113788https://doi.org/10.4204/EPTCS.375.3engTeles, JoanaSantos, VandaQuaresma, Pedroinfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-03-04T11:06:12Zoai:estudogeral.uc.pt:10316/113788Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T06:06:39.429450Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
title A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
spellingShingle A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
Teles, Joana
Computer Science - Artificial Intelligence
Computer Science - Computers and Society
Computer Science - Logic in Computer Science
I.2
K.3
title_short A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
title_full A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
title_fullStr A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
title_full_unstemmed A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
title_sort A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
author Teles, Joana
author_facet Teles, Joana
Santos, Vanda
Quaresma, Pedro
author_role author
author2 Santos, Vanda
Quaresma, Pedro
author2_role author
author
dc.contributor.author.fl_str_mv Teles, Joana
Santos, Vanda
Quaresma, Pedro
dc.subject.por.fl_str_mv Computer Science - Artificial Intelligence
Computer Science - Computers and Society
Computer Science - Logic in Computer Science
I.2
K.3
topic Computer Science - Artificial Intelligence
Computer Science - Computers and Society
Computer Science - Logic in Computer Science
I.2
K.3
description In Proceedings ThEdu'22, arXiv:2303.05360
publishDate 2023
dc.date.none.fl_str_mv 2023-03-10
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10316/113788
https://hdl.handle.net/10316/113788
https://doi.org/10.4204/EPTCS.375.3
url https://hdl.handle.net/10316/113788
https://doi.org/10.4204/EPTCS.375.3
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Conference Proceedings
publisher.none.fl_str_mv Conference Proceedings
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833602579010945024

Similar Items