Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica

Abstract

Curso de Lógica y Matemática

Unidad 4: Negación en programación lógica

Descripción: La semántica de la negación y el razonamiento no monótono en programación lógica.

Actividades: Revisión del material de apoyo y de las láminas.

Evaluación: Debate (y contenidos para el segundo examen parcial).

Material de apoyo: Capítulo 4 de libro de texto. Bitácoras y láminas de clase.

SESIONES DE UNIDAD 04:

Sesión 1: Negación por falla y razonamiento no monótono.

Descripción: Revisamos la definición de la regla de negación por falla como forma de razonamiento no monótono. También conocermos los efectos que tiene la introducción de la negación en los programas lógicos. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Material de apoyo: Bitácoras y láminas de clase.

Sesión 2: Programas completos y otras restricciones en la sintaxis de los programas lógicos con negación.

Descripción: Conocemos la definición de la completitud de Clark como estrategia para definir la semántica de programas lógicos con negaciones. También revisamos algunas estrategias complementarias para definir el significado de la negación. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Los debates y el material para el segundo examen parcial. Material de apoyo: Bitácoras y láminas de clase.

Tabla de contenido del Curso de Lógica y Matemática