LÓGICA FORMAL LICENCIATURA EN CIENCIAS COMPUTACIONALES 2°”1” Asignatura: Lógica Computacional
INTEGRANTES DE EQUIPO: AVILÉS LÓPEZ ANA HYATS’I BARRAGAN MADERA CARLOS YAEL ISLAS MENESES MARÍA FERNANDA MARTÍNEZ PÉREZ JORGE ADRIÁN VILLAVICENCIO GRAJEDA MARÍA FERNANDA
Introducción Fundador
Aristóteles
Supone que la lógica es una ciencia objetiva que estudia el pensamiento para determinar su orden y estructura desde la validez o invalidez de los predicables y predicamentos.
Considera la forma en omisión del contenido empírico. "Es un tipo de lógica que estudia la estructura del pensamiento, sin embargo, no le interesan la veracidad de los contenidos"
cARACTERÍSTICAS Razonamiento
Ciencia
formalmente
Conocimiento
válido
Estudia la deducción como proceso formal capaz de generar nuevos elementos de conocimiento a partir de otro existente.
Conclusión
Premisas Ciencia
Deducción
Software y/o aplicaciones que se utilizan ●
●
El Asistente para Deducción Natural (ADN) es una herramienta didáctica que asiste al alumno que se inicia en la técnica de Deducción Natural a elaborar sus propias deducciones. El lenguaje de programación PROLOG es conocido en el medio de investigación en Inteligencia Artificial.
Usos/aplicaciones de equipos y/o dispositivos que utilizan •Un sistema lógico formal se puede ver como un sistema formal deductivo universal, en el mismo sentido que las máquinas de Turing universales.
Máquina de Turing Es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma CINTA=> L/E =>CINTA Con este sencillo aparato es posible realizar cualquier cómputo que un equipo digital sea capaz de realizar
Usos/aplicaciones de equipos y/o dispositivos que utilizan APLICACIONES ●
Control de complejos procesos industriales
●
Diseño de dispositivos artificiales de deducción automática ○ Construcción de artefactos electrónicos ○ “” artefactos de uso doméstico ○ “” artefactos de entretenimiento ○ Sistemas de diagnóstico
Usos/aplicaciones de equipos y/o dispositivos que utilizan Sistemas de decisión Sistemas expertos
Sistemas de control
•En ellos las acciones a tomar se encuentran almacenadas en la base de conocimiento del computador en forma de reglas lingüísticas.
Ejemplos de aplicación para la solución de problemas La cena de Guille
Es la hora de la cena, a Guille no le gusta la sopa pero oye decir a su mamá: “Si no te acabas la sopa, te irás a la cama sin ver la tele”. Con esfuerzo, Guille se come la sopa. Cuando le avisa a su mamá que se la ha terminado, su madre responde: “¡Muy bien!, lavate los dientes y a la cama”.
¿Cuándo un razonamiento es correcto? 1.
Si el agua alcanza los 100 grados, el agua se evapora. ¿es cierto que…
2.
Si el agua baja a -5 grados, el agua se congela. ¿es cierto que…
Si el agua no alcanza los 100 grados, el agua no se evapora? CIERTO
Si el agua no baja a -5 grados, el agua no se congela?