rasonamiento logico
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.
6Inteligencia 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.
7Inteligencia 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...
Regístrate para leer el documento completo.