Estadísticas del PDF: Deducción automática y programación lógica

Deducción automática y

programación lógica

José A. Alonso Jiménez

Área de ciencias de la computación e inteligencia artificial

Universidad de Sevilla

Sevilla, 12 de Septiembre de 1995

Contenido

1 Deducción automática proposicional

1.1 El método de Davis-Putnam . . . . . . . . . . . . . . . . . . .

1.1.1 Métodos de decisión basados en formas normales

. . .

1.1.2 Cláusulas

. . . . . . . . . . . . . . . . . . . . . . . . .

1.1.3 El algoritmo de Davis–Putnam . . . . . . . . . . . . .

1...