El libro recoge los tres componentes de un Sistema Lógico: el sintáctico, el interpretativo y el axiomático para llegar al desarrollo de los métodos de razonamiento automático, componente esencial de los Sistemas Inteligentes.
El libro recoge los tres componentes de un Sistema Lógico: el sintáctico, el interpretativo y el axiomático para llegar al desarrollo de los métodos de razonamiento automático, componente esencial de los Sistemas Inteligentes.