Estadísticas del PDF: Tema 2: Procedimiento general de demostración

Demostración automática de teoremas

Curso 2002–03

Tema 2: Procedimiento general

de demostración

José A. Alonso Jiménez
Joaquín Borrego Díaz

Antonia Chávez González

Dpto. de Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

DAT 2002–03

CcIa

Procedimiento general de demostración

2.1

Razonamiento proposicional con OTTER
x Base de conocimiento
u Base de reglas:

* R1: Si el animal tiene pelos es mamífero.
* R2: Si el animal da leche es mamífero.
* R3: Si el anim...