Publicação
ONLINE INTERACTIVE TOOL FOR LEARNING LOGICAL PROOF SYSTEMS
| Resumo: | For many areas, including mathematics and computer science, logic is a basic but important topic. In particular, the notions of natural deduction and proof systems for natural deduction are of fundamental interest. Students learning logic benefit from the use of interactive, visual tools where they can solve exercises and receive feedback from their attempts. However, most of these tools are based on installable programs, or static, making it hard to expand them with additional learning material and exercises. The few available online tools and courses focusing on logic also tend to skip the topic of natural deduction. The goal of this thesis is the development of a tool that hosts an interactive, visual proof assistant in which a student can create (or load) a proof and attempt to solve it, occasionally receiving feedback to help the student learn and progress at their own pace. The tool’s design would leverage the work done on previously created tools of this kind and function as a complementary tool for computational logic courses or any course that includes natural deduction. To achieve this, the system must implement basic logic algorithms, feature a logic reasoner for the supported branches of logic, be capable of parsing text into formulas, have mechanisms to provide feedback to users regarding errors and finally some kind of exercise management system, allowing a qualified user to save proofs that can later be loaded by any user, while maintaining the state it was saved as. Finally, it’s intended to leverage its usability for automatic evaluation purposes, by incorporating the system, if possible, with existing online e-learning platforms, such as Moodle. |
|---|---|
| Autores principais: | Carvalho, Diogo da Silva Cagica |
| Assunto: | Logic Proof System Natural Deduction Online Interactive Propositional Logic |
| Ano: | 2023 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório Institucional da UNL |
| Resumo: | For many areas, including mathematics and computer science, logic is a basic but important topic. In particular, the notions of natural deduction and proof systems for natural deduction are of fundamental interest. Students learning logic benefit from the use of interactive, visual tools where they can solve exercises and receive feedback from their attempts. However, most of these tools are based on installable programs, or static, making it hard to expand them with additional learning material and exercises. The few available online tools and courses focusing on logic also tend to skip the topic of natural deduction. The goal of this thesis is the development of a tool that hosts an interactive, visual proof assistant in which a student can create (or load) a proof and attempt to solve it, occasionally receiving feedback to help the student learn and progress at their own pace. The tool’s design would leverage the work done on previously created tools of this kind and function as a complementary tool for computational logic courses or any course that includes natural deduction. To achieve this, the system must implement basic logic algorithms, feature a logic reasoner for the supported branches of logic, be capable of parsing text into formulas, have mechanisms to provide feedback to users regarding errors and finally some kind of exercise management system, allowing a qualified user to save proofs that can later be loaded by any user, while maintaining the state it was saved as. Finally, it’s intended to leverage its usability for automatic evaluation purposes, by incorporating the system, if possible, with existing online e-learning platforms, such as Moodle. |
|---|