Raymundo Morado www.filosoficas.unam.mx CONFERENCIA PARALELA: Lógica y computación. IX ENCUENTRO INTERNACIONAL DE DIDÁCTICA DE LA LÓGICA (EIDL IX Huauchinango) Raymundo Morado www.filosoficas.unam.mx

A mediados del siglo XX nos llegó el XIX A mediados del siglo XX nos llegó el XIX. Ya se estudia la lógica matemática y han aparecido importantes contribuciones en México.

Mientras tanto el mundo ha descubierto: Teoría de funciones recursivas, complejidad, circuitos lógicos (cálculo proposicional), programación funcional (cálculo lambda), programación lógica (NAF, resolución y unificación),

programación por objetos (inheritance), semánticas para programas (lógicas lambda, temporales, dinámicas y lineales), control de sistemas (temporales, dinámicas), robótica: (frame problem) bancos de datos (CWA, lógicas no monotónicas, circunscripción).

Modelo Antiguo Axiomas y deducción, ni error ni revisión (monotonicidad por compacidad). Pero: el mundo cambia y los agentes crean. (¡Estos no son errores!) La información requiere tanto recolección (que puede ser equivocada, contradictoria, incompleta) como procesamiento (que puede saltar a conclusiones para no ser demasiado lento).

Necesidad de no-monotonicidad Bancos de datos deductivos: Supuesto de mundo cerrado, circunscripción Robótica: Problema de las coordenadas (frame) Diseño de sistemas: tolerancia a fallas pues la complejidad lleva a fragilidad Reconocimiento de patrones: Conjeturas visuales o fonológicas retractables

Necesidad de no-monotonicidad Programación lógica: Negación como falla Sistemas expertos: Grados de confiabilidad Representación de conocimiento: Prototipos, herencia Inteligencia artificial: Sentido común

Tipos de razonamientos no deductivos Inductivos: Se generaliza a partir de algunos casos Abductivos: Se concluye una explicación Probables: ? Estadísticos Prima facie: A falta de información en contra

Inciertos: Con reglas o premisas falibles Plausibles: Altamente apoyados por la evidencia Retractables: Bloqueables si el contexto cambia Default: Tipicamente No-monotónicos: Sus conclusiones son retractables a la luz de información adicional De sentido común: Aceptable para una comunidad

Raymundo Morado www.filosoficas.unam.mx