Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/113788
Title: | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Authors: | Teles, Joana Santos, Vanda Quaresma, Pedro |
Keywords: | Computer Science - Artificial Intelligence; Computer Science - Computers and Society; Computer Science - Logic in Computer Science; I.2; K.3 | Issue Date: | 10-Mar-2023 | Publisher: | Conference Proceedings | Project: | UIDB/00324/2020 UIDB/00194/2020 UID/CEC/00326/2020 |
Serial title, monograph or event: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Volume: | 375 | Abstract: | The 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 goal | Description: | In Proceedings ThEdu'22, arXiv:2303.05360 | URI: | https://hdl.handle.net/10316/113788 | DOI: | 10.4204/EPTCS.375.3 | Rights: | openAccess |
Appears in Collections: | I&D CISUC - Artigos em Revistas Internacionais FCTUC Matemática - Artigos em Revistas Internacionais I&D CMUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A-Rulebased-Theorem-Prover-an-Introduction-to-Proofs-in-Secondary-SchoolsElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 325.87 kB | Adobe PDF | View/Open |
Page view(s)
94
checked on Oct 16, 2024
Download(s)
48
checked on Oct 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.