PANDORA: Una herramienta para la deducción natural

Presentación del tema: "PANDORA: Una herramienta para la deducción natural"— Transcripción de la presentación:

1 PANDORA: Una herramienta para la deducción natural
Lógicas para la Informática y la Inteligencia Artificial Ingeniería en Informática D. Carlos Muñoz Martín Facultad de Ciencias - Universidad de Salamanca Diciembre 2007

2 Índice Introducción ¿Qué es la deducción natural?
Presentación de la herramienta Ejemplo Resumen crítico

3 Índice Introducción ¿Qué es la deducción natural?
Presentación de la herramienta Ejemplo Resumen crítico

4 1. Introducción Herramienta para la demostración de enunciados o razonamientos aplicando reglas de la deducción natural Se abordará: Aproximación a la deducción natural. Definiciones. Presentación de la herramienta PANDRA. Ejemplos.

5 Índice Introducción ¿Qué es la deducción natural?
Presentación de la herramienta Ejemplos Resumen crítico

6 2. ¿Qué es la deducción natural?
Definición Procedimiento para la construcción de demostraciones de razonamientos mediante la aplicación de un conjunto de reglas de inferencia Tipos de reglas Introducción: construcción de nuevos enunciados a partir de enunciados previos y la introducción de conectivas Eliminación: construcción de enunciados mediante la eliminación de conectivas Aproximación formalizada a la forma de pensar humana

7 Índice Introducción ¿Qué es la deducción natural?
Presentación de la herramienta Ejemplos Resumen crítico

8 3. Presentación de la herramienta
Aplicación informática para la demostración de la validez de enunciados o razonamiento aplicando las reglas de la deducción natural URL:

9 Índice Introducción ¿Qué es la deducción natural?
Presentación de la herramienta Ejemplo Resumen crítico

10 4. Ejemplo Demostrar la corrección del siguiente razonamiento:
P→R, QR ├ R  (QP) Solución:

11 Índice Introducción ¿Qué es la deducción natural?
Presentación de la herramienta Ejemplo Resumen crítico

12 5. Resumen crítico (i) Interfaz intuitiva y completa
Aspectos positivos Interfaz intuitiva y completa Se incluyen todas las reglas de inferencia de la deducción natural, y algunas derivadas Exportación en formato LaTeX Programa que permite el tratamiento de documentos científicos con notación adecuada Aporta ejercicios resueltos Herramienta de libre disposición

13 5. Resumen crítico (ii) Aspectos negativos Carencia de editor de fórmulas y posibilidad de modificación de las mismas Secuencias de razonamiento no naturales No se adaptan al procedimiento manual de demostración mediante deducción natural Ejecución en forma de Applet Opciones de tratamiento de ficheros desactivadas Se hecha en falta una ayuda en línea en la resolución de problemas distintos de los ejemplos Herramienta adecuada para apoyo a la labor docente, pero no como método autodidacta

14 PANDORA: Una herramienta para la deducción natural
Lógicas para la Informática y la Inteligencia Artificial Ingeniería en Informática D. Carlos Muñoz Martín Facultad de Ciencias - Universidad de Salamanca Diciembre 2007