Robert Anthony Kowalski (nacido el 15 de mayo de 1941) es un lógico y científico informático británico-estadounidense , cuya investigación se centra en el desarrollo de modelos de computación orientados al ser humano y modelos computacionales del pensamiento humano. [1] Ha pasado la mayor parte de su carrera en el Reino Unido .
Estudió en la Universidad de Chicago , la Universidad de Bridgeport (licenciatura en matemáticas, 1963), la Universidad de Stanford (máster 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-75) 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 grafos de conexión. [3] Desarrolló la resolución SLD y la interpretación procedimental de las cláusulas de Horn , [4] que sustentan la semántica operacional del razonamiento hacia atrás 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 legal . [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 amplían con restricciones de integridad y con predicados abducibles 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, Logic for Problem Solving (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, Computational Logic and Human Thinking - How to be Artificially Intelligent (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 usarse para mejorar sus habilidades prácticas de resolución de problemas.
En colaboración con Fariba Sadri, ha desarrollado el lenguaje lógico y computacional LPS, [17] (Logic Production Systems), que integra gran parte de su trabajo previo 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 de Inteligencia Artificial en 1991, del Comité Coordinador Europeo de Inteligencia Artificial en 1999 y de la Asociación de Maquinaria Informática en 2001. [1] En 2011, recibió el Premio IJCAI a la Excelencia en Investigación , "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 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 seminal 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 el campo". [21]