Robert Kowalski - Robert Kowalski
Robert Kowalski | |
|---|---|
 | |
| Nació |
15 de mayo de 1941
Bridgeport , Connecticut, Estados Unidos
|
| Nacionalidad | británico |
| alma mater |
Universidad de Chicago Universidad de Bridgeport Universidad de Stanford Universidad de Varsovia Universidad de Edimburgo |
| Conocido por |
Programación lógica Cálculo de eventos |
| Premios | Premio IJCAI a la excelencia en investigación (2011) |
| Carrera científica | |
| Campos |
Lógica Informática |
| Instituciones |
Universidad de Edimburgo Imperial College London |
| Tesis | Estudios sobre la integridad y eficacia de la demostración de teoremas por resolución (1970) |
| Asesor de doctorado | Bernard Meltzer |
| Estudiantes de doctorado |
David HD Warren Keith Clark |
Robert Anthony Kowalski (nacido el 15 de mayo de 1941) es un científico informático y lógico estadounidense-británico , cuya investigación se centra en el desarrollo de modelos de computación orientados a los humanos y modelos computacionales del pensamiento humano. Ha pasado la mayor parte de su carrera en el Reino Unido.
Educación
Estudió 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).
Carrera profesional
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, donde 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 con Donald Kuehner como el procedimiento de prueba de gráficos de conexión. Desarrolló la resolución SLD y la interpretación procedimental de las cláusulas Horn , que sustentan la semántica operativa del razonamiento hacia atrás en la programación lógica . Con Maarten van Emden., 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 como la aplicación de la programación lógica al razonamiento legal . Con Fariba Sadri, desarrolló un modelo de agente 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 Abductive Logic Programming , en el que los programas lógicos se complementan con restricciones de integridad y con predicados abducibles indefinidos. Este trabajo llevó 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 supuestos .
En su libro de 1979, Lógica para la resolución de problemas , 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 , argumenta que el uso de la lógica computacional puede ayudar a la gente común a mejorar sus habilidades de comunicación en el lenguaje natural y que, en combinación con la teoría de la decisión, puede usarse para mejorar sus habilidades prácticas para resolver problemas.
Más recientemente, en trabajo conjunto con Fariba Sadri, ha desarrollado la lógica y el lenguaje informático LPS, (Logic Production Systems), que integra gran parte de su trabajo anterior sobre lógica computacional.
Honores y premios
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 de Computación en 2001. 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 ”. En 2012, recibió el Premio de la Sociedad Japonesa para la Promoción de la Ciencia para Científicos Eminentes para 2012-2014. En 2021, recibió el Premio CodeX Inaugural por su trabajo con Fariba Sadri y Marek Sergot "en reconocimiento a su trabajo pionero en la aplicación de la programación lógica a la formalización y análisis de la Ley de Nacionalidad Británica. British Nationality Act as a Logic Program ”, 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”. [4]
Libros
- Lógica para la resolución de problemas , Holanda del Norte, Elsevier, 1979.
- Lógica computacional y pensamiento humano: cómo ser artificialmente inteligente , Cambridge University Press, 2011.