Descargar la presentación
La descarga está en progreso. Por favor, espere
1
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
2
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.
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-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
7
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
8
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
9
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
10
Raymundo Morado www.filosoficas.unam.mx
Presentaciones similares
© 2024 SlidePlayer.es Inc.
All rights reserved.