Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/113788
Título: | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Autor: | Teles, Joana Santos, Vanda Quaresma, Pedro |
Palavras-chave: | Computer Science - Artificial Intelligence; Computer Science - Computers and Society; Computer Science - Logic in Computer Science; I.2; K.3 | Data: | 10-Mar-2023 | Editora: | Conference Proceedings | Projeto: | UIDB/00324/2020 UIDB/00194/2020 UID/CEC/00326/2020 |
Título da revista, periódico, livro ou evento: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Volume: | 375 | Resumo: | 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 | Descrição: | In Proceedings ThEdu'22, arXiv:2303.05360 | URI: | https://hdl.handle.net/10316/113788 | DOI: | 10.4204/EPTCS.375.3 | Direitos: | openAccess |
Aparece nas coleções: | I&D CISUC - Artigos em Revistas Internacionais FCTUC Matemática - Artigos em Revistas Internacionais I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
A-Rulebased-Theorem-Prover-an-Introduction-to-Proofs-in-Secondary-SchoolsElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 325.87 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
94
Visto em 16/out/2024
Downloads
48
Visto em 16/out/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.