Lógica y expertos

Este libro es sólo una guía que se ha originado en una necesidad: la de cubrir los antecedentes mínimos para explicar algunas estructuras básicas de las representaciones del conocimiento como se usan en los sistemas expertos; y nada más.

Como se anota en el texto, existe una extensa bibliografía sobre 'expertos artificiales'. Pero, como suele suceder, su nivel varía desde lo ramplón, asociado a la venta libresca o de sistemas de cómputo, hasta los tratados inaccesibles al lector deseoso de usar y producir sistemas computarizados más o menos útiles (y quizá 'inteligentes').

Se presentan muchos temas ya trillados: elementos de lógica proposicional, de lógica de clases, de lógica de predicados y otros. Sin embargo, se recomienda al lector revisarlos con cuidado porque en todos los casos hemos introducido una que otra innovación para lograr una mejor y más clara fundamentación de las representaciones. No es una lógica sólo especulativa, conlleva la intención de explicar su operatividad y aplicabilidad.