Estadísticas del PDF: Capítulo 1 Razonamiento automático

Capítulo 1

Razonamiento automático

J. A. Alonso Jiménez
A. Fernández Margarit
M. J. Pérez Jiménez

1.1 Introducción

En el presente trabajo hacemos un resumen histórico del razonamiento
automático y presentamos mediante un sistema de razonamiento auto-
mático distintas reglas, estrategias y aplicaciones.

1.2 Breve historia del razonamiento automático

Hacia finales del siglo XVII, Leibniz formula dos cuestiones que sinteti-
zan viejas aspiraciones del hombre:

• la necesidad de disponer de un ...