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] Juntos, Kowalski y Sergot supervisaron uno de los primeros casos de uso de un sistema experto legal . [9] Con Fariba Sadri, desarrolló un modelo de agente [10] [11] 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 indefinidos y aducibles. [12] [13] 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 . [14] [15]
En su libro de 1979, Logic for Problem Solving (Lógica para la resolución de problemas) , [16] 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) , [17] 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, [18] (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 . [19]
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". [20] En 2012, recibió el Premio de la Sociedad Japonesa para la Promoción de la Ciencia para Científicos Eminentes 2012-2014. [21] En 2021, recibió el Premio Inaugural CodeX 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". [22]