rasonamiento logico

Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden
realizar razonamientos lógicos en un sistemasoftware.

1

Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

Esta es la tabla de contenidos del tema: se estudia la programación lógica, la
lógica de predicados de primer orden ycómo funcionan los sistemas inferenciales
(o motores de inferencias lógicas).

2

Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

La programación lógica surge como unageneralización de la máquina de von
Neuman tradicional de “algoritmo+datos producen resultados”, de tal forma que
ahora los programas son hechos+reglas, y el motor de inferencias es el que
produce unosresultados aplicando razonamientos.

3

Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

Las inferencias (o razonamientos) son los fundamentos de la lógica formal.

4

Inteligenciaen Redes de Comunicaciones 04 Razonamiento lógico

El objetivo de la lógica es estudiar los aspectos funcionales (por qué) de las
inferencias. Los aspectos procesales (cómo) los estudian lapsicología (en seres
vivos) y la informática (en ordenadores).

5

Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

Conceptos esenciales de la lógica: predicados de primer orden.

6Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

Esta diapositiva presenta el alfabeto de la lógica: símbolos más conectivas más
cuantificadores y símbolos auxiliares.

7Inteligencia en Redes de Comunicaciones 04 Razonamiento lógico

Los conceptos teóricos de interpretación y asignación son los soportes básicos de
la lógica clásica.

8

Inteligencia en Redes deComunicaciones 04 Razonamiento lógico

Los razonamientos se basan en que una serie de premisas impliquen o no una
determinada conclusión.

9

Inteligencia en Redes de Comunicaciones 04...