Lógicas para información parcial e inconsistente
Ponencia de Umberto Rivieccio perteneciente al módulo Filosofía y tecnología de C1b3rWall Academy 22/23
Tiempo de lectura estimado: 4 minutos
Introducción de la ponencia
La lógica clásica funciona muy bien para estudiar el razonamiento matemático, pero no está pensada para estudiar el razonamiento común del día a día. El autor Nuel Belnap introdujo una lógica sencilla para superar estos obstáculos, propuesta en su obra How a computer should think (1976). En las últimas décadas, la propuesta de Belnap ha encontrado una gran variedad de aplicaciones en el campo de la inteligencia artificial y las ciencias de la computación, dando lugar a estructuras algebraicas que desembocaron en una teoría matemática que tiene conexión con otras lógicas alternativas a la clásica. El objetivo de esta ponencia es presentar esas lógicas existentes a través de la representación visual y la explicación teórica y práctica de su funcionamiento.
Debido a las explicaciones prácticas basadas en las diferentes lógicas expuestas en esta ponencia, insustituibles por un texto resumen, se recomienda la visualización para la adecuada comprensión de la píldora. Para ello, si aún no lo estás, puedes registrarte en e4you y seguir todos los contenidos de C1b3rWall Academy.
A continuación se muestran algunas imágenes extraídas directamente de la ponencia:
¿Todavía no formas parte de C1b3rWall Academy? El contenido es gratuito, únete a otras miles de personas desde este enlace.
Si te interesa este tema, puedes consultar la información y cursar el Máster en Transformación Digital o ver la oferta de másteres desde aquí.
Ponente: Umberto Rivieccio
Umberto es profesor en el Departamento de Lógica, Historia y Filosofía de la Ciencia en la UNED. Además, es investigador y PhD en Ciencia Cognitiva y Lenguaje. Contacto: umberto@fsof.uned.es
¿Cuál es tu reacción?
EEUU 
Eurozona 
Reino Unido 
España 
Venezuela 
