Modelos de Conocimiento Basados en Ontologías para la ...

Capítulo 3. Representación del conocimiento y ontologías
trabajos de Minsky, al igual que los de Quillian, se desarrollaban en el campo de
la psicología congnitiva).
La idea de los marcos fue criticada por Hayes (Hayes, 1979) entre otros, haciendo
especial hincapié en la necesidad de consistencia en la representación del
conocimiento como forma para asegurar un buen proceso de razonamiento. Hayes
también postula que la idea de marcos no es más que una nueva sintaxis para la
lógica de primer orden 22 . De cualquier forma, la idea de representación de la
complejidad, incluyendo la jerarquía de herencia y la idea de razonamiento sobre
las estructuras de conocimiento, son dos importantes aportaciones de esta
propuesta que influenciaron los desarrollos posteriores.
Otra de las aportaciones más relevantes de los marcos es el concepto de
asignación de procedimientos (procedural attachment), que consiste en que
algunos de los slots pueden tener asignados procedimientos para responder ante
ciertos eventos de forma que puedan calcular o modificar los valores que
contienen (de hecho el concepto de asignación de procedimientos a los slots es un
precedente de la encapsulación de métodos en el paradigma software de
orientación a objetos).
La idea de los marcos influyó decisivamente en el desarrollo de los lenguajes de
programación orientados a objetos, como el SmallTalk y posteriores y es también
la base de algunos formalismos de representación de ontologías, como se verá más
adelante. Los marcos pretenden representar la complejidad de las situaciones; de
acuerdo a Minsky, el conocimiento debe estar recogido de forma localizada en
estructuras complejas y no en muchos pequeños axiomas lógicos. El ordenador, en
este sentido, es una herramienta de representación muy útil para tratar la
complejidad.
3.2.3.3 La lógica formal
La lógica ha jugado diferentes papeles a lo largo de los años en el campo de la
representación del conocimiento. Como mecanismo genérico de representación
del razonamiento humano fue la primera propuesta de la inteligencia artificial
cuando se buscaba un formalismo genérico para emular el comportamiento del
cerebro. Pronto esta idea se abandonó, llegando a la conclusión de que la lógica
puede representar ciertos tipos de razonamiento, decidiendo sobre su validez
formal, pero no cualquier tipo de razonamiento humano.
22 Este hecho, el de la lógica como formalismo universal al que puede ser resumido cualquier otra
aproximación, es un aspecto recurrente en la discusión sobre diferentes esquemas de representación del
conocimiento.
35