Los sistemas basados en conocimiento se caracterizan por ser sistemas que poseen conocimiento sobre el mundo donde actúan y pueden utilizar el conocimiento para realizar inferencias. Básicamente se trata de operar con estructuras simbólicas que representan conocimiento.
Para poder representar en forma clara y manipulable el conocimiento, existen lenguajes y herramientas para la representación de conocimiento. Estos lenguajes deben tener una sintaxis y semántica clara y bien definida. No sólo deben poder representar en forma clara, natural y adecuada el conocimiento sino que deben permitir deducir nuevo conocimiento y operar con él en forma eficiente.
El requerimiento de operar en forma eficiente sobre las estructuras simbólicas es lo que se llama: adecuación inferencial e eficiencia inferencial. Es decir por un lado permitir inferir nuevos hechos y además hacerlo en forma eficiente. Siempre se debe balancear amabas características.
Estudiaremos tres formas de representación de conocimiento:
-
La lógica de primer orden
-
Los frames (marcos) y redes semánticas
-
Los sistemas basados en reglas
En las siguientes secciones nos dedicaremos a describir en detalle estos mecanismos. Comenzaremos por los frames y redes semánticas ya que su modelo es bastante sencillo. Luego describiremos la lógica de primer orden (dando previamente una introducción a los conceptos de sistemas formales) y finalizaremos con los sistemas basados en reglas.