Indexado en

Licencia y uso

Citaciones

Altmetrics

Análisis de autorías institucional

Compartir

DeduccionNatural.pl: Herramienta escrita en Prolog para el aprendizaje de la asignatura de Lógica

Publicado en:Actas De Las Jornadas Sobre La Ensen?Anza Universitaria De La Informa?Tica (Jenui). (8): 129-136 - 2023-01-01 (8), DOI:

Autores: Joaquín Arias; Iván Ramírez Díaz; Alessandra Gallinari

Afiliaciones

Resumen

Mathematical and computational logic are basic subjects in most university degrees related to Computer Engineering, both in Spain and abroad. They are fundamental in the study (among other topics) of databases, computational complexity, programming languages, artificial intelligence, design and verification of hard and soft systems. However, for first-year un-dergraduate students it is not immediate to recognize the connections between logic and what they will need to learn in future studies. To mitigate this feeling of disconnect between basic and more advanced content, we have developed DeduccionNatural.pl, an open source licensed program written in Ciao Prolog (a Logic Programming Language), which allows to check if a natural deduction proof (in propositional logic) is correct. In DeduccionNatural.pl, the proofs are programs, the inference rules are functions of a predefined library, and the derived rules are subroutines (to refactor the proofs) defined by the students. During the academic year 2021-2022, we have used DeduccionNatural.pl in the Cybersecurity Engineering and Artificial Intelligence degrees at Universidad Rey Juan Carlos and we have conducted a satisfaction survey. The results are not conclusive, but they encourage us to continue improving the tool.

Palabras clave