Académique Documents
Professionnel Documents
Culture Documents
<Trmino> := <Funcin>(<Trmino>,...)
| <Constante>
| <Variable>
<Conector> :=^ | | <=> | =>
<Cuantificador> := |
<Constante> := Martin | 59302 | Gato | X | ...
<Variable> := a | x | s | ...
<Predicado> := Previo | Gusta | Llueve | Falla | ...
<Funcin> := Padre | Cabellode | 10043nota | ...
Hamster(x) Mamifero(x)
Hermana(x,mancha) Hamster(x)
Progenitor(x,y) Hijo(y,x)
Conexiones entre y
Hay una ntima conexin entre los dos cuantificadores. Para ver esto,
considerar la sentencia
x Gusta(x,LideresDecepcionantes)
Para todo x, x no gusta de los lderes decepcionantes."
Otra forma de decir esto es, No existe un x que guste de los lderes
decepcionantes. x Gusta(x,LideresDecepcionantes)
Esto es verdad en general porque es una conjuncin sobre todos los
objetos y es una disyuncin sobre todos los objetos.
PQ (PQ)
x P x P
(PQ) P Q
x P x P
P Q (P Q)
x P x P
P Q (P Q)
Igualdad
Con frecuencia el smbolo de igualdad se incluye como un smbolo
especial. Esto se debe a que la nocin de igualdad es muy importante
en nuestro modo de pensar. Con este smbolo, podemos escribir cosas
como Padre(Juan)=Jose, con el objeto de afirmar que el objeto que es
padre de Juan es el mismo que el objeto Jos. Igualdad puede ser
pensada como un smbolo de relacin binaria ordinaria, as la interpretacin de = es un conjunto de pares.
ASK(KB, x hijo(x,Mancha)).
Aqu no solo queremos la respuesta si/no, querramos conocer el
trmino x que denota objetos en el dominio. En general, para un query
con variables existencialmente cuantificadas, queremos conocer las
particularizaciones de dichas variables. Entonces, ASK retorna una lista
de particularizaciones, ej., {x/boots}.
Clculo de situacin
Clculo de situacin es el nombre dado a un modo particular de
describir cambio en LPO. Concibe al mundo como una secuencia de
situaciones, cada una de las cuales es un instante en el estado del
mundo. Las situaciones son generadas a partir de situaciones previas
por medio de acciones.
Cada relacin cuya verdad pueda cambiar con el tiempo, es manejada
dndole un argumento extra de situacin al correspondiente smbolo
de predicado. Por convencin, ubicamos el argumento de situacin
siempre al final. As, en vez de En(Agente,Ubicacion), deberemos tener
En(Agente,[1,1],S0) En(Agente,[1,2],S1).
Las relaciones o propiedade que no cambian con el tiempo no
necesitan el argumento extra, ej., ParedEn([0,1]).
Clculo de situacin