Sesión 6 – Representación

Lógica del Dominio de

Problemas
Dr. Miguel Ángel Barrientos Martínez

Primavera 2020

Inteligencia Artificial – Redes

Neuronales (AINN)
Tópicos
Agentes basados en Razonamiento
Lógico
Representación Lógica Tipo de Problemas
Estado Verdadero o Falso

Definición
Sintáxis
Lógica Proposicional Ejemplos
Limitaciones

Definición
Sintaxis
Lógica de Primer Orden Ejemplos

2 BI - Primavera 2020 - Sesión 6

AI y las dimensiones del conocimiento
 La inteligencia artificial es una área dinámica y en
constante evolución avocándose a la complejidad de los
problemas al menos en tres dimensiones
 En términos del Diseño del Agente - La dimensión del espacio
de búsqueda de estados posibles para alcanzar el estado meta
u objetivo
 En términos de la complejidad del dominio iniciando con el
espacio parcialmente observable, acciones estocásticas,
múltiples agentes
 En términos de la Representación del Mundo, el agente crea
modelos que representan la complejidad del espacio

3 BI - Primavera 2020 - Sesión 6

Ejemplo de Representación

4 BI - Primavera 2020 - Sesión 6

Lógica Proposicional
 Representación del Mundo con base al Modelo que
considera Eventos que son Verdaderos o Falsos tomando
en cuenta los símbolos de las proposiciones

5 BI - Primavera 2020 - Sesión 6

Tabla de Verdad

Símbolo Enunciado Símbolo Enunciado

O 5 es Impar P Paris es la capital de
Francia
E 7 es Par M Moscú es la capital
de Frincia

6 BI - Primavera 2020 - Sesión 6

QUIZ
 Indicar cual de las siguientes proposiciones son
VERDADERAS

7 BI - Primavera 2020 - Sesión 6

Razonamiento en Lógica Proposicional
 Las siguientes tres proposiciones son verdaderas. Indicar
cual es el estatus de cada uno de los elementos dado el
modelo con la tres proposiciones

8 BI - Primavera 2020 - Sesión 6

Validez de un Enunciado o Proposición
 La Proposición es verdera en todos los casos
 → La Proposición es siempre VERDADERA

P ꓦ ¬P

9 BI - Primavera 2020 - Sesión 6

Enunciado o Proposición Satisfactoria
 La proposición es verdadera solo en algunos casos

10 BI - Primavera 2020 - Sesión 6

Quiz
 Determinar cual de los siguientes Enunciados es Válido
(V), Satisfactorio (S) o No Satisfactorio (U)

11 BI - Primavera 2020 - Sesión 6

Limitaciones de la Lógica Proposicional
 Tiene una representación
simbólica poderosa y un
mecanismo de inferencia
para determinar la validez o
si es satisfactorio un
enunciado.
 Solo podemos referirnos a
eventos verdaderos o falsos
del mundo
 No maneja incertidumbre
 No existe forma sintética de
representar las condiciones
del mundo

12 BI - Primavera 2020 - Sesión 6

Lógica de Primer Orden
 Relación de Lógica de Primer Orden con otras
Representaciones

13 BI - Primavera 2020 - Sesión 6

Modelos en Lógica de Primer Orden
 Esta es la representación de un modelo complejo basado
en un conjunto de objetos

14 BI - Primavera 2020 - Sesión 6

Modelo, Constantes, Funciones y Relaciones

15 BI - Primavera 2020 - Sesión 6

Sintaxis de Lógica de Primer Orden

16 BI - Primavera 2020 - Sesión 6

Lógica de Primer Orden – Aspiradora Robot

17 BI - Primavera 2020 - Sesión 6

Lógica de Orden Superior
 Hace referencia a las relaciones sobre las relaciones no
solo a las relaciones de objetos
 La definición de una relación Transitiva puede ser como

18 BI - Primavera 2020 - Sesión 6

QUIZ
 Determinar cual de los siguientes enunciados de Lógica
de Primer Orden son Válidos, Satisfacen al menos una (S)
o NO Satisfacen bajo ninguna condición (U)

19 BI - Primavera 2020 - Sesión 6

Axiomas o Enunciados
 Verificar si cada unos de los siguientes axiomas es una
buena representación

20 BI - Primavera 2020 - Sesión 6