La segunda
generación de lógicas no-monotónicas
Dr. Raymundo Morado
División de Estudios de Posgrado de la Facultad de Filosofía y Letras de la UNAM
Área de Lógica, Filosofía del Lenguaje y Filosofía de la Mente
Otoño de 2004 (Semestre 2005-1)
Las sesiones serán en el aula 3 del IIF-UNAM, martes y jueves de 16:00 a 18:00 horas.
A menudo hacemos supuestos sensatos aunque falibles. Información adicional puede entonces forzarnos a abandonar opiniones previamente legítimas. En este sentido decimos que el incremento de creencias no es "monotónico''. Esto no puede ser modelado adecuadamente por la lógica clásica. Por ello, desde finales de los setentas aparecieron las lógicas que estudiamos en este curso. Se les conoce como "Lógicas No-Monotónicas" (o "No-Monótonas") porque tratan de resolver el problema de la monotonicidad en la lógica clásica. Estudiamos las formalizaciones de inferencias que admiten excepciones con énfasis en los sistemas de la segunda generación de lógicas no-monotónicas, mencionando variantes, ventajas y desventajas.
El propósito del seminario es producir trabajos originales de investigación conducentes a una tesis de grado. Por ello, tratamos de conectar los temas del seminario a los intereses de los alumnos quienes presentarán investigación original periódicamente. Habrá un análisis conjunto de lecturas previamente fijadas, discusión y estudio independiente que pueda derivar en exposiciones en clase de temas previamente acordados con el maestro.
Cada miembro del grupo hace varias presentaciones, y habrá un trabajo de investigación final.