BuscadorDocumental

La conferencia “Heurísticas y estrategias en teoría, pedagogía y filosofía de la lógica, con algunas consideraciones sobre razonamiento automático en inteligencia artificial” se presentará el jueves 31 de marzo dede las 18:00 en el auditorio alterno de la Facultad de Filosofía, Letras y Ciencias de la Educación.

El evento es organizado por la carrera de Filosofía, sociología y economía, contará con la participación del conferencista Levis Zerpa, PhD profesor de Yachay Tech.

Sobre la conferencia

En esta ponencia se discute el tema de las heurísticas y estrategias en el razonamiento simbólico a través de una notación que permite registrar y estudiar explícitamente dichas heurísticas en la lógica elemental (deducción natural y árboles de verdad en el cálculo proposicional clásico). Algunos ejemplos de heurísticas ampliamente usadas en la enseñanza de la lógica y la teoría de conjuntos son discutidos en detalle en base a trabajos de D. Batens. Así mismo, se discuten también algunos aspectos de la filosofía de la lógica del lógico, filósofo e historiador de las ideas J. Hintikka; esta concepción de la lógica promueve una visión de nuestra disciplina influenciada por la teoría matemática de juegos. Según Hintikka, la excelencia en el razonamiento está profundamente ligada a las reglas estratégicas que usamos en juegos (como el ajedrez) y en el razonamiento que empleamos en lógica, filosofía, matemática y computación. Al final de la ponencia se discute un elegante teorema de R. Smullyan; este teorema permite ilustrar la importancia de las consideraciones heurísticas en la lógica computacional (el área del razonamiento automático en inteligencia artificial basada en lógica) y a las lógicas no clásicas.

     

Above Menu Module Position Here

Arriba