Robert Anthony Kowalski (nacido el 15 de mayo de 1941) es un lógico e informático estadounidense-británico cuya investigación se centra en el desarrollo de modelos informáticos orientados a los humanos y modelos computacionales del pensamiento humano. Ha desarrollado la mayor parte de su carrera en el Reino Unido.
Fue educado en la Universidad de Chicago , la Universidad de Bridgeport (BA en matemáticas, 1963), la Universidad de Stanford (MSc en matemáticas, 1966), la Universidad de Varsovia y la Universidad de Edimburgo (Doctorado en informática , 1970).
Fue investigador en la Universidad de Edimburgo (1970–75) y ha estado en el Departamento de Informática del Imperial College de Londres desde 1975, obtuvo una cátedra en lógica computacional en 1982 y se convirtió en profesor emérito en 1999.
Comenzó su investigación en el campo de la demostración automatizada de teoremas , desarrollando tanto la resolución SL [1] con Donald Kuehner como el procedimiento de demostración de gráficos de conexión. [2] Desarrolló la resolución SLD y la interpretación procedimental de las cláusulas de Horn , [3] que sustentan la semántica operativa del razonamiento inverso en la programación lógica . Con Maarten van Emden., [4] también desarrolló el modelo mínimo y la semántica de puntos fijos de las cláusulas de Horn, que sustentan la semántica lógica de la programación lógica.
Con Marek Sergot, desarrolló tanto el cálculo de eventos [5] como la aplicación de la programación lógica al razonamiento jurídico . [6] [7] Con Fariba Sadri, desarrolló un modelo de agente [8] [9] en el que las creencias están representadas por programas lógicos y las metas están representadas por restricciones de integridad .
Kowalski fue uno de los desarrolladores de la programación lógica abductiva , en la que los programas lógicos se aumentan con restricciones de integridad y predicados abducibles indefinidos. [10] [11] Este trabajo condujo a la demostración con Phan Minh Dung y Francesca Toni de que la mayoría de las lógicas para el razonamiento predeterminado pueden considerarse como casos especiales de argumentación basada en suposiciones . [12] [13]