e - GSI

Modelo conceptual (o mental):
Conceptuación (1)
Universo del discurso
Propiedades, relaciones, restricciones, leyes...
«Formalmente, una conceptuación es una terna que consta de un
universo del discurso, un conjunto de funciones de base, y un conjunto
de relaciones de base en ese universo del discurso.»
Genesereth y Nilsson: Logical Foundations of Artificial Intelligence, 1987.
Ejemplo: 〈{a,b,c,d,e},{Encima-de}, {Libre, Bajo, Sobre, Más-arr-que}〉
con: Encima-de = {b↦→ a,c↦→ b,e↦→ d}
Libre = {a,d}
Bajo ={c,e}
Sobre = {〈a,b〉,〈b,c〉,〈d,e〉}
Más-arr-que = {〈a,b〉,〈b,c〉,〈a,c〉,〈d,e〉}
a
b
c
d
e
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 9
Conceptuación (2)
a
b
c
d
e
¿Otra conceptuación
La conceptuación debe reflejar un
conocimiento general sobre el dominio:
El contenido semántico de la función Encima-de es el mismo que tiene la
relación Sobre: y = Encima-de(x) si y sólo si 〈y,x〉 ∈ Sobre
Si un bloque está libre no puede haber ninguno por encima de él, y
viceversa: x ∈ Libre si y sólo si no hay ningún y tal que 〈y,x〉 ∈ Sobre
Un bloque está más arriba que otro si está sobre él o está sobre un tercero
que está sobre él: 〈x,y〉 ∈ Más-arr-que si y sólo si 〈x,y〉 ∈ Sobre o bien hay
algún z tal que 〈x,z〉 ∈ Sobre y 〈z,y〉 ∈ Más-arr-que
Una relación básica, Sobre (define extensionalmente una
situación)
Definiciones de las demás de manera intensional
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 10