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 de informática orientados al ser humano y modelos computacionales del pensamiento humano. [1] Ha desarrollado la mayor parte de su carrera en el Reino Unido .
Se educó en la Universidad de Chicago , la Universidad de Bridgeport (licenciatura en matemáticas, 1963), la Universidad de Stanford (maestría en matemáticas, 1966), la Universidad de Varsovia y la Universidad de Edimburgo (doctorado en informática , 1970). [1]
Fue investigador en la Universidad de Edimburgo (1970-1975) y ha estado en el Departamento de Computación del Imperial College de Londres desde 1975, obteniendo una cátedra en Lógica Computacional en 1982 y convirtiéndose en Profesor Emérito en 1999. [1]
Comenzó su investigación en el campo de la demostración automatizada de teoremas , desarrollando tanto la resolución SL [2] con Donald Kuehner como el procedimiento de prueba de gráficos de conexión. [3] Desarrolló la resolución SLD y la interpretación procesal de las cláusulas de Horn , [4] que sustentan la semántica operativa del razonamiento inverso en la programación lógica . Con Maarten van Emden, [5] también desarrolló el modelo mínimo y la semántica de punto fijo 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 [6] como la aplicación de la programación lógica al razonamiento jurídico . [7] [8] Con Fariba Sadri, desarrolló un modelo de agente [9] [10] en el que las creencias están representadas por programas lógicos y los objetivos están representados 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 con predicados abducibles e indefinidos. [11] [12] 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 casos especiales de argumentación basada en suposiciones . [13] [14]
En su libro de 1979, Lógica para la resolución de problemas , [15] Kowalski sostiene que la inferencia lógica proporciona un modelo simple y poderoso de resolución de problemas que puede ser utilizado tanto por humanos como por computadoras. En su libro de 2011, Lógica computacional y pensamiento humano: cómo ser artificialmente inteligente , [16] sostiene que el uso de la lógica computacional puede ayudar a la gente común a mejorar sus habilidades de comunicación en lenguaje natural y que, en combinación con la teoría de la decisión , puede utilizarse para mejorar sus capacidades prácticas de resolución de problemas.
En trabajo conjunto con Fariba Sadri, ha desarrollado el lenguaje informático y lógico LPS, [17] (Logic Production Systems), que integra gran parte de su trabajo anterior sobre lógica computacional. Ha continuado su interés en el desarrollo de la inteligencia artificial . [18]
Kowalski fue elegido miembro de la Asociación Estadounidense para la Inteligencia Artificial en 1991, del Comité Coordinador Europeo para la Inteligencia Artificial en 1999 y de la Asociación para Maquinaria de Computación en 2001. [1] En 2011, recibió el Premio IJCAI de Investigación. Excelencia , "por sus contribuciones a la lógica para la representación del conocimiento y la resolución de problemas, incluido su trabajo pionero en la demostración automatizada de teoremas y la programación lógica". [19] En 2012, recibió el Premio de la Sociedad Japonesa para la Promoción de la Ciencia para Científicos Eminentes para 2012-2014. [20] En 2021, recibió el Premio CodeX inaugural por su trabajo con Fariba Sadri y Marek Sergot "en reconocimiento a su trabajo sobre la aplicación de la programación lógica a la formalización y análisis de la Ley de Nacionalidad Británica. El artículo fundamental de los autores, "La Ley de Nacionalidad Británica como Programa Lógico", publicado en 1986 en la revista Communications of the ACM , es uno de los primeros y más conocidos trabajos en derecho computacional, y uno de los artículos más citados en este campo. [21]