Professional Documents
Culture Documents
Objetivo
Introduccin
Introduccin
Introduccin
Sintaxis y semntica
Sintaxis y semntica
Elementos
Sintaxis y semntica
Trminos
Sintaxis y semntica
Oraciones atmicas
Sintaxis y semntica
Oraciones complejas
Sintaxis y semntica
Cuantificadores
Sintaxis y semntica
Cuantificacin universal ()
Lo cual equivale a
Sintaxis y semntica
Cuantificacin universal ()
Sintaxis y semntica
Cuantificacin existencial ()
En general, x P es verdadero si P es
verdadero para cierto objeto del universo.
Sintaxis y semntica
Cuantificacin existencial ()
Sintaxis y semntica
Cuantificadores anidados
x y Aman (x,y)
y x Aman (x,y)
Sintaxis y semntica
Sintaxis y semntica
Relaciones entre y
Sintaxis y semntica
Relaciones entre y
x P x P
x P x P
P Q (P Q)
x P x P
P Q (P Q)
x P x P
P Q (P Q)
(P Q) P Q
Sintaxis y semntica
Igualdad
Padre(Juan) = Enrique
Extensiones en la Notacin
Extensiones en la Notacin
x,y x2 - y2
Extensiones en la Notacin
El cuantificador de unicidad !
! Rey(x)
c Pas(c) ! r Gobernante(r, c)
Extensiones en la Notacin
El operador de unicidad
En la representacin del
conocimiento, un dominio es un
fragmento del mundo acerca del que
deseamos expresar un determinado
conocimiento.
x Hombre(x) Mujer(x)
[] = Nada
[x] = Cons(x, Nada)
[x,y] =Cons(x, Cons(y,
Nada))
[x,y|l] =Cons(x, Cons(y,
l))
Preguntar(BC,x Hijo(x,Mancha))
Agentes reflejos
Agentes basados en modelos
Agentes basados en metas
a Accin(a,5)
t , EnOro(t) Accin(Tomar, t)
Clculo de situaciones
Clculo de situaciones
Clculo de situaciones
Clculo de situaciones
Inferencia
Bsqueda
Planificacin