Representación del conocimiento textual mediante técnicas lógico ...

58 3. La Forma Lógica
tificará exclusivamente al propio predicado. El tercer argumento
vendrá instanciado con una variable que identificará exclusivamente
al propio objeto.
• Eventos. Este tipo de predicado es utilizado representar los eventos,
es decir, las relaciones existentes entre los objetos. Los predicados
del tipo evento tienen tres argumentos. El primero de ellos quedará
instanciado con el propio evento. El segundo argumento es
instanciado con la variable que identifica exclusivamente al propio
predicado. El tercer argumento vendrá instanciado con una lista de
variables que identifica de manera exclusiva a los objetos implicados
en el evento.
• Propiedades. Se utiliza este tipo de predicados para representar las
propiedades, es decir, las características tanto de los eventos como
de los objetos. Este tipo de predicados tiene también tres argumentos.
El primer argumento queda instanciado con la propiedad. El
segundo de ellos queda instanciado con la variable que identifica de
manera exclusiva el propio predicado. El tercer argumento queda
identificado con una variable que identifica al objeto/evento (o su
predicado asociado) que cumple dicha propiedad.
Además, pueden aparecer otros tipos de predicados en la forma lógica
cuyo único propósito es el de relacionar otros predicados de la misma.
Un ejemplo de ellos son los predicados asociados a las preposiciones
que tienen dos argumentos que identifican a los predicados relacionados
por medio de la preposición. Se ha de considerar también que
la forma lógica de Mollá et al. (2002) está orientada a manejar textos
en el dominio restringido de los manuales del sistema operativo
Unix. Es por ello por lo que también introduce predicados dependientes
del dominio de aplicación. A continuación, el ejemplo 24 muestra
la representación de una frase del manual del sistema operativo Unix
mediante su forma lógica asociada.
(24) Frase: cp copies very long files.
Forma lógica: holds(e1), object(cp, o1, x1), evt(copy,
e1, [x1, x2]), object(file, o2, x2), prop(long, p1,
x2), prop(very, p2, p1)
En la forma lógica del ejemplo, el predicado holds(e1) es dependiente
del dominio de aplicación e indica que el predicado identificado por
la variable e1, es decir, object(cp, o1, x1), pertenece al dominio res-