e - GSI

De redes semánticas a lógica (1)
sentencia en la red
arco obj es–un
→ clase
arco clase1 tipo–de
→ clase2
arco obj atrib
→ valor
arco clase atrib
→ valor
arco obj atrib
→ excep
arco clase atrib
→ excep
sentencia lógica
es_un(obj,clase) (pertenencia)
tipo_de(clase1, clase2) (inclusión)
(∀X)(es_un(X,clase1)
⇒es_un(X,clase2))
propiedad(obj,atrib,valor)
propiedad(clase,atrib,valor)
excep(obj,atrib,excep)
excep(clase,atrib,excep)
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 47
De redes semánticas a lógica (2)
Herencia como relación transitiva:
(∀X)(∀Y)((es_un(X,Y)⇒hereda_de(X,Y))∧
(tipo_de(X,Y)⇒hereda_de(X,Y))∧
((∃Z)(es_un(X,Z)∧hereda_de(Z,Y))∧
⇒ hereda_de(X,Y)) )
Si no hubiese excepciones,
(∀O)(∀C)(∀A)(∀V)
(hereda_de(O,C)∧propiedad(C,A,V)
⇒ propiedad(O,A,V))
(∀C1)(∀C2)(∀A)(∀V)
(hereda_de(C2,C1)∧propiedad(C1,A,V)
⇒ propiedad(C2,A,V))
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 48