Inteligencia Artificial

• Sesión 9

• Agentes que razonan de manera Lógica

• Lógica de primer orden
• La inferencia en la lógica
• Cómo actuar en forma lógica

• Ing. Jonathan García

 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Agentes que razonan de manera Lógica
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
https://youtu.be/fvO6HSL6up0

• Lógica de primer orden, también llamada lógica predicativa, lógica de

predicados o cálculo de predicados, es un sistema formal diseñado para
estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de
primer orden son, a su vez, lenguajes formales con cuantificadores que
alcanzan solo a variables de individuo, y con predicados y funciones cuyos
argumentos son solo constantes o variables de individuo.

• La lógica de primer orden tiene un poder expresivo superior al de la lógica

proposicional.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Lógica de primer orden
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
https://youtu.be/OmX1Xg6bnlk

Se llama inferencia lógica a la aplicación de una regla de transformación que

permite transformar una fórmula o expresión bien formada (EBF) de un
sistema formal en otra EBF como teorema del mismo sistema.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
La inferencia de la lógica.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.
Cómo actuar de forma lógica.

• El actuar de manera lógica es el seguir una serie de pasos o razonamientos

para llegar a un punto u objetivo clave. El actuar de manera lógica es actuar
con inteligencia, siguiendo unos patrones o una secuencia bien definida.
 Inteligencia Artificial
MÓDULO 2: Resolución de problemas y Lógica de Predicados
Unidad 4: lógica de predicados.

Ruta de aprendizaje

Predicados y cuantificadores
https://www.youtube.com/watch?v=c_Rl4II_tg4

Inferencia en lógica de primer orden

https://youtu.be/p6FNzEURuKM

Agentes Lógicos de Primer Orden

https://youtu.be/_Nx1EyxqIiA

La lógica en la vida cotidiana

https://youtu.be/7qCGT0DDEpE