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

3.1 El cálculo de predicados de primer orden en el PLN 45
mediante variables. A continuación se define formalmente cada uno de
estos elementos constituyentes de la forma lógica:
Símbolos de predicado. Los predicados son los elementos principales
de la forma lógica. Mediante su uso, se establecen las propiedades y
relaciones de los objetos. Es decir, a través de la utilización de predicados
se definen las propiedades y relaciones de aquellas palabras o
secuencias de palabras susceptibles de ser entidades de pensamiento
autónomas e independientes.
Argumentos de predicado. Mediante su utilización, de manera estática,
quedan representados los objetos que relaciona el predicado.
Variables. Se utilizan para instanciar los argumentos de los predicados
e identifican exclusivamente tanto a los objetos como a los propios
predicados.
Símbolos de puntuación: ( ) ,. Estos símbolos son utilizados por los
predicados. Entre paréntesis se detallan los argumentos de los predicados,
separados por comas.
Por ejemplo, PRED(., ., ..., .) es un símbolo de predicado de n argumentos
en el que cada argumento quedará instanciado por una variable.
El empleo de estos símbolos para representar la forma lógica viene derivado
de la simbología utilizada en el cálculo de predicados de primer
orden, tal y como se refleja a continuación.
3.1 El cálculo de predicados de primer orden en el
PLN
Según Moore (1995), una de los mayores aplicaciones de la lógica en el
ámbito de la inteligencia artificial es, por una parte, su utilización como
formalismo de representación del conocimiento en un sistema computacional
inteligente y, por otra parte, el empleo de la deducción lógica para
la abstracción de inferencias en el marco del conocimiento representado.
En la mayor parte de las ocasiones, el uso de la lógica como mecanismo
de representación formal y el uso de la deducción lógica para la abstracción
de inferencias del conocimiento representado van de la mano.
Es por ello por lo que muchos autores las consideran simultáneamente.
En cambio Newell (1980) considera que “el rol de la lógica es el de una
herramienta para el análisis del conocimiento, no para el razonamiento
de agentes inteligentes”.