La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

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.

Presentaciones similares


Presentación del tema: "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."— Transcripción de la presentación:

1 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. Ya se estudia la lógica matemática y han aparecido importantes contribuciones en México. 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: Mientras tanto el mundo ha descubierto: Teoría de funciones recursivas, Teoría de funciones recursivas, complejidad, complejidad, circuitos lógicos (cálculo proposicional), circuitos lógicos (cálculo proposicional), programación funcional (cálculo lambda), programación funcional (cálculo lambda), programación lógica (NAF, resolución y unificación), programación lógica (NAF, resolución y unificación),

4 programación por objetos (inheritance), programación por objetos (inheritance), semánticas para programas (lógicas lambda, temporales, dinámicas y lineales), semánticas para programas (lógicas lambda, temporales, dinámicas y lineales), control de sistemas (temporales, dinámicas), control de sistemas (temporales, dinámicas), robótica: (frame problem) robótica: (frame problem) bancos de datos (CWA, lógicas no monotónicas, circunscripción). 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). Axiomas y deducción, ni error ni revisión (monotonicidad por compacidad). Pero: el mundo cambia y los agentes crean. (¡Estos no son errores!) 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). 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 Bancos de datos deductivos: Supuesto de mundo cerrado, circunscripción Robótica: Problema de las coordenadas (frame) Robótica: Problema de las coordenadas (frame) Diseño de sistemas: tolerancia a fallas pues la complejidad lleva a fragilidad Diseño de sistemas: tolerancia a fallas pues la complejidad lleva a fragilidad Reconocimiento de patrones: Conjeturas visuales o fonológicas retractables Reconocimiento de patrones: Conjeturas visuales o fonológicas retractables

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

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

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

10 Raymundo Morado


Descargar ppt "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."

Presentaciones similares


Anuncios Google