Un sistema basado en conocimiento ( KBS ) es un programa de computadora que razona y utiliza una base de conocimiento para resolver problemas complejos . El término es amplio y se refiere a muchos tipos diferentes de sistemas. El único tema común que une a todos los sistemas basados en el conocimiento es un intento de representar el conocimiento de forma explícita y un sistema de razonamiento que le permita derivar nuevos conocimientos. Por lo tanto, un sistema basado en el conocimiento tiene dos características distintivas: una base de conocimiento y un motor de inferencia .
La primera parte, la base de conocimiento, representa hechos sobre el mundo, a menudo en alguna forma de ontología de subsunción (en lugar de incorporarse implícitamente en el código de procedimiento, como lo hace un programa informático convencional). Otros enfoques comunes además de una ontología de subsunción incluyen marcos , gráficos conceptuales y aserciones lógicas. [1]
La segunda parte, el motor de inferencia, permite inferir nuevos conocimientos. Más comúnmente, puede tomar la forma de reglas IF-THEN [2] junto con enfoques de encadenamiento hacia adelante o encadenamiento hacia atrás . Otros enfoques incluyen el uso de probadores de teoremas automatizados, programación lógica, sistemas de pizarra y sistemas de reescritura de términos como CHR (Reglas de manejo de restricciones) . Estos enfoques más formales se tratan en detalle en el artículo de Wikipedia sobre representación y razonamiento del conocimiento .
Los sistemas basados en el conocimiento fueron desarrollados por primera vez por investigadores de inteligencia artificial [ cita requerida ] . Estos primeros sistemas basados en el conocimiento eran principalmente sistemas expertos ; de hecho, el término a menudo se usa indistintamente con sistemas expertos, aunque existe una diferencia. La diferencia está en la vista adoptada para describir el sistema [ cita requerida ] :
Si bien los primeros sistemas basados en el conocimiento eran casi todos sistemas expertos, las mismas herramientas y arquitecturas pueden y han sido utilizadas desde entonces para una gran cantidad de otros tipos de sistemas. Prácticamente todos los sistemas expertos son sistemas basados en el conocimiento, pero muchos sistemas basados en el conocimiento no son sistemas expertos.
Los primeros sistemas basados en el conocimiento fueron sistemas expertos basados en reglas. Uno de los más famosos fue Mycin , un programa de diagnóstico médico. Estos primeros sistemas expertos representaban hechos sobre el mundo como afirmaciones simples en una base de datos plana y usaban reglas para razonar sobre (y como resultado agregar) estas afirmaciones. Representar el conocimiento explícitamente a través de reglas tenía varias ventajas: