2.

6 El Método de
Resolución de
Robinson
 Biografía
 John Alan Robinson nació en Halifax, una
población del condado de Yorkshire en
Inglaterra un 9 de Marzo de 1930.John
Alan Robinson es un filósofo (en
formación), matemático y científico de
la computación. 

Es Profesor Emérito en la Universidad de


Syracuse, Estados Unidos.

2.6 El Método de
Resolución de Robinson
 Desde el punto de vista científico su
trabajo más
 conocido es la invención del principio de
resolución, un pilar básico para la
demostración
 automática de propiedades, la
automatización de la deducción lógica y
la base de la programación lógica y el
lenguaje Prolog.
 Sin lugar a dudas la resoluciónpuede
considerarse una de los veinte
principales hitos científicos de la
2 . 6 El Método de Resolución
de Robinson

 Elprincipio de resolución es
básicamente una lógica clausal
basada en una única regla de
inferencia muy sencilla, y la
presentó en 1963 en su artículo "A
Machine Oriented Logic Based
on the Resolution Principle" en
el Journal de la ACM. (Una lógica
de la máquina orientada Basado en
el principio de la Resolución "En El
 En lógica matemática y el probar
automatizado del
teorema, resolución es una regla
de inferencia el conducir
a refutacióntheorem-
proving técnica para las oraciones a
dentro lógica del
propositional y lógica de primer
orden.
 la aplicación de la regla de la