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

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

3 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),

4 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).

5 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).

6 Necesidad de no-monotonicidadBancos 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

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

8 Tipos de razonamientos no deductivosInductivos: 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

9 Inciertos: Con reglas o premisas faliblesPlausibles: 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

10 Raymundo Morado www.filosoficas.unam.mx