Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
deducción natural, el método deductivo que está más cercano al razonamiento
intuitivo del ser humano y que utiliza reglas de inferencia para obtener nuevas
fórmulas.
Tema 8: Métodos de deducción.
8.1. ¿Sabemos inferir o deducir?
8.2. Esquema genérico de una deducción.
8.3. Métodos formales de deducción.
8.4. Implicación lógica.
Tema 9: El método de Deducción Natural.
9.1. El sistema deductivo propuesto por Gentzen.
9.2. Estrategias lógicas para hacer deducciones.
9.3. Reglas de inferencia básicas y derivadas.
9.4. Deducciones subsidiarias.
9.5. Esquema de deducción para fórmulas cuantificadas.
Tema 10: ¿Cualquier verdad se puede demostrar?
10.1. La demostración de teoremas con sistemas axiomáticos.
10.2. Paradojas lógicas: algunas tautologías no tienen demostración.
10.3. La lógica de proposiciones es completa y decidible.
10.4. La lógica de predicados es completa pero semidecidible.
Desarrollo del Bloque IV: Demostración Automática y Programación Lógica
Podemos considerar la deducción como una forma de computación, ya que
acaso ¿un programa no es una deducción en la cual a partir de unas entradas
(premisas) debemos obtener unas salidas determinadas (conclusiones)?. Para verlo
se presenta el tratamiento automático de la información como la posibilidad real de
la mecanización de demostraciones, y por lo tanto, de la capacidad de
razonamiento. También los fundamentos de la programación lógica aportan un
nuevo paradigma de programación y con un lenguaje de este tipo, como Prolog, se
puede “llevar” la lógica al ordenador.
Tema 11: Depurando el lenguaje para su tratamiento automático.
11.1. Conjunto de fórmulas que componen un argumento.
11.2. Subconjunto de fórmulas válidas para tratamiento automático
de la información.
11.3. La forma clausal. Características. Método de obtención.
11.4. Tratamiento automático de la cuantificación.
Tema 12: La Demostración Automática de Teoremas.
12.1. La lógica y los sistemas inteligentes. Precursores
12.2. La regla de Resolución de Robinson.
12.3. Sistemas de deducción con refutación/resolución.
12.4. Árboles de resolución.
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. Notación para la programación lógica.
13.3. Cláusulas de Horn.
13.4. Sintaxis y semántica del lenguaje Prolog.
19