Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
10.1. El sistema deductivo propuesto por Gentzen.
10.2. Estrategias lógicas para hacer deducciones.
10.3. Reglas de inferencia: básicas y derivadas.
10.4. Deducciones subsidiarias.
10.5. Esquema de deducción para fórmulas cuantificadas.
Tema 11: ¿Cualquier verdad se puede demostrar?
11.1. La demostración de teoremas con sistemas axiomáticos.
11.2. Paradojas lógicas: algunas tautologías no tienen demostración.
11.3. La lógica de proposiciones es completa y decidible.
11.4. La lógica de predicados es completa pero semidecidible.
Bloque IV. Demostración Automática y Programación Lógica.
Introducción
Las demostraciones mediante el método de deducción natural están muy cercanas al
modo en que razonamos pero son difíciles de mecanizar. En busca de un procedimiento
general para automatizar la demostración de teoremas, un tiempo finito y que
proporcione una solución acertada, aparece en Inteligencia Artificial, la DAT
(demostración automática de teoremas). Su fundamento se encuentra en los resultados
de Herbrand (1930), de donde nacen diversos métodos para el tratamiento automático
de la información, como el de Resolución de Robinson. De aquí surge una de las
aplicaciones de la lógica en la informática basada en la creación de un nuevo paradigma
de programación, conocido como Programación Lógica.
Objetivos
o Entender los fundamentos de la demostración automática de teoremas como base del
procesamiento automático de información.
o Entender la programación lógica como el paradigma de programación que está
basado en un subconjunto del lenguaje lógico.
o Aprender la sintaxis y semántica del lenguaje de programación lógica, Prolog y
usarlo como la herramienta que nos permite “llevar” la lógica al ordenador.
Contenido
Tema 12: La Demostración Automática de Teoremas.
12.1. La lógica y los sistemas inteligentes. Precursores
12.2. Tratamiento automático de la información. La teoría de Herbrand.
12.3. La regla de Resolución de Robinson.
12.4. Sistemas de deducción con refutación/resolución.
12.5. Árboles de resolución.
12.6. La unificación de Prawitz.
Tema 13: Introducción a la Programación Lógica.
13.1. La lógica y los lenguajes de programación lógicos.
13.2. Elección del subconjunto de fórmulas del lenguaje de predicados.
13.3. Las cláusulas de Horn definidas. Notación para la programación lógica.
13.4. Sintaxis y semántica del lenguaje Prolog.
7. METODOLOGÍA Y ESTRATEGIAS DE APRENDIZAJE
7.1 Metodología docente
Como la orientación de los nuevos planes de estudios europeos se encamina a potenciar
una mayor creatividad en las aulas más que a aprender por aprender conocimiento,
queremos que el alumno:
8