El concepto de Base de Conocimiento puede entenderse como un mapeo de los objetos y relaciones del dominio de la aplicación hacia los objetos y relaciones computacionales en un programa, donde los resultados de la interferencia sobre la base de conocimiento pretenden corresponder a los resultados sobre ciertas acciones u observaciones del dominio de aplicación.

 

Los objetos computacionales, relaciones e inferencia disponible son determinados por el lenguaje de representación del conocimiento(LRC), esto es, el lenguaje de programación para manejar la base de conocimientoque se ha seleccionado. El propio lenguaje puede ayudar al programador a adquirir, oraganizar y poner a punto la base de conocimiento.