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

• Joaquín Arias ^[1] ; Iván Ramírez ^[1] ; Alessandra Gallinari ^[1]
  1. [1] Universidad Rey Juan Carlos
• Localización: Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 8, 2023, págs. 129-136
• Idioma: español
• Enlaces
  • Texto completo
• Resumen
  • español

    La lógica matemática y computacional son materias básicas en la mayoría de las titulaciones universitarias relacionadas con la Ingeniería Informática, tanto en España como en el extranjero. Son fundamentales en el estudio de bases de datos, complejidad computacional, lenguajes de programación, inteligencia artificial, diseño y verificación de sistemas hard y soft, entre otros. Sin embargo, para estudiantes de un primer curso no es inmediato reconocer las conexiones entre la lógica y lo que necesitarán aprender en estudios futuros. Para mitigar esta sensación de desconexión entre contenidos básicos y más avanzados, hemos desarrollado DeduccionNatural.pl, un programa con licencia de código abierto escrito en Ciao Prolog (lenguaje de programación lógico), que permite comprobar si una demostración de deducción natural (en lógica proposicional) es correcta. En DeduccionNatural.pl, las demostraciones son programas, las reglas de inferencia son funciones de una librería predefinida, y las reglas derivadas sonsubrutinas (para refactorizar las demostraciones) definidas por los estudiantes. Durante el curso 2021–2022 hemos utilizado DeduccionNatural.pl en los grados de Ingeniería de Ciberseguridad y de Inteligencia Artificial en la Universidad Rey Juan Carlos y hemos realizado una encuesta de satisfacción. Los resultados no son concluyentes, pero nos animan a seguir mejorando la herramienta.

  • English

    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.

• Referencias bibliográficas
  • ANECA. Libro Blanco del Título de Grado en Ingeniería Informática. Proyecto EICE, 2005.
  • Joaquín Arias. Lógica: desde Aristóteles hasta Prolog. Servicio de Publicaciones URJC, 2022. http://hdl.handle.net/10115/20014.
  • Association for Computing Machinery (ACM) and IEEE. Computing Curricula 2020: Paradigms for Global Computing Education, 2020.
  • Leonardo De Moura y Nikolaj Bjørner. Z3: An efficient SMT solver. En TACAS, pp. 337–340. Springer, 2008.
  • Alessandra Gallinari. Apuntes y problemas de la lógica matemática. Dykinson, Madrid, 2009.
  • Gerhard Gentzen. Untersuchungen über das logische schließen. I. Mathematische Zeitschrift, 35:176–210, 1935.
  • Josep Humet. LSD, una herramienta didáctica para el aprendizaje de la lógica. JENUI 2001, pp. 482–485, 2001.
  • Jose Emilio Labra Gayo. ¿Hay Lógica en la situación actual de las titulaciones informáticas? En JENUI 2004, pp. 227–234, 2004.
  • Faraón Llorens Largo y Sergio Mira Cabrera. Herramienta para la enseñanza de la Deducción Natural. En JENUI 2000, pp. 496–502, 2000.
  • Faraón Llorens Largo, Rosana Satorre Cuerda, Francisco Escolano, y Pilar Arques Corrales. Deducción natural versus computación. JENUI 1999,...
  • Petr Manas. CLPractice 2.0. Tools for Learning: Computation and Logic. University of Edinburgh, 2021. https://shorturl.at/boW47.
  • OECD. Resultados de PISA 2018 para España. https://www.oecd.org/pisa, 2019.
  • Iván Ramírez y Joaquín Arias. DeduccionNatural.pl, Manual. BURJC-Digital, 2022. http: //hdl.handle.net/10115/20168