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 ocupa del 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.
Robert Kowalski | |
---|---|
Nació | Bridgeport , Connecticut, Estados Unidos | 15 de mayo de 1941
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 |
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 [1] con Donald Kuehner como el procedimiento de prueba de gráficos de conexión. [2] Desarrolló la resolución SLD y la interpretación procedimental de las cláusulas Horn , [3] que sustentan la semántica operativa del razonamiento hacia atrás en la programación lógica . Con Maarten van Emden., [4] 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 [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 Abductive Logic Programming , en el que los programas lógicos se amplían con restricciones de integridad y con predicados abducibles indefinidos. [10] [11] 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 . [12] [13]
En su libro de 1979, Lógica para la resolución de problemas , [14] 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 , [15] 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 ser utilizado para mejorar sus habilidades prácticas de resolución de problemas.
Más recientemente, en trabajo conjunto con Fariba Sadri, ha desarrollado la lógica y el lenguaje de computadora LPS, [16] (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 ”. [17] En 2012, recibió el Premio de la Sociedad Japonesa para la Promoción de la Ciencia para Científicos Eminentes para 2012-2014. [18] 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. Artículo fundamental de los autores , "The 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 el campo ". [5]
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.
Ver también
- Cálculo de eventos
- Programación lógica
- Prólogo
Referencias
- ^ Kowalski, R. y Kuehner, D., "Resolución lineal con función de selección", en Inteligencia artificial, vol. 2, 1971, págs. 227-260. Reimpreso en Anthology of Automated Theorem-Proving Papers , vol. 2, Springer-Verlag , 1983, págs. 542-577.
- ^ Kowalski, R., "Un procedimiento de prueba mediante gráficos de conexión", en Journal of the ACM Vol. 22, núm. 4, 1975, págs. 572-595.
- ^ Kowalski, R., "Predicate Logic as Programming Language", en Proceedings IFIP Congress, Estocolmo, North Holland Publishing Co., 1974, págs. 569–574. Reimpreso en Computers for Artificial Intelligence Applications, (eds. Wah, B. y Li, G.-J.), IEEE Computer Society Press , Los Ángeles, 1986, págs. 68–73.
- ^ van Emden, M. y Kowalski, R., "La semántica de la lógica de predicados como lenguaje de programación", en Journal of the ACM , vol. 23, núm. 4, 1976, págs. 733–742.
- ^ Kowalski, R. y Sergot, M., "Un cálculo de eventos basado en la lógica", en Computación de nueva generación , vol. 4, núm. 1, febrero de 1986, págs. 67–95. También en Knowledge Base Management-Systems , (eds. C. Thanos y JW Schmidt), Springer-Verlag, págs. 23–51. También en El lenguaje del tiempo: un lector (eds. Inderjeet Mani, J. Pustejovsky y R. Gaizauskas). Prensa de la Universidad de Oxford , 2005.
- ^ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. y Cory, T., "La ley de nacionalidad británica como programa lógico", en Comunicaciones de la ACM , vol. . 29, núm. 5, 1986, págs. 370–386.
- ^ Kowalski, R., "Legislación como programas lógicos", en Programación lógica en acción (eds. G. Comyn, NE Fuchs, MJ Ratcliffe), Springer-Verlag, 1992, págs. 203-230.
- ^ Kowalski, R., "Uso de la metalogía para reconciliar reactivo con agentes racionales". En Meta-Logics and Logic Programming (K. Apt y F. Turini, eds.), MIT Press , 1995.
- ^ Kowalski, R. y Sadri, F., "Desde la programación lógica hacia sistemas multiagente", Anales de matemáticas e inteligencia artificial , volumen 25 (1999), págs. 391–419.
- ^ Eshghi, K. y Kowalski, R., "Secuestro por deducción". Departamento de Computación , Imperial College , 1988.
- ^ Kakas, T., Kowalski, K. y Toni, F., "Programación de lógica abductiva". Revista de lógica y computación , 1992, vol. 2 núm. 6, págs. 719–770.
- ^ Bondarenko, A., Dung, PM, Kowalski, R. y Toni, F. "Un enfoque teórico de la argumentación abstracta para el razonamiento predeterminado". Journal of Artificial Intelligence , 93 (1–2), 1997, págs. 63–101.
- ^ Dung, PM, Kowalski, R. y Toni, F. "Procedimientos de prueba dialéctica para argumentación admisible basada en suposiciones". Journal of Artificial Intelligence , 170 (2), febrero de 2006, págs. 114-159.
- ^ Kowalski, RA, 1979. [1] Lógica para la resolución de problemas, Elsevier, Holanda del Norte.
- ^ Kowalski, RA, 2011. [2] Lógica computacional y pensamiento humano: cómo ser inteligente artificialmente, Cambridge University Press.
- ^ http://lps.doc.ic.ac.uk
- ^ [3]
- ^ [4]
enlaces externos
- Página de inicio de Robert Kowalski
- Biografía
- Biografía ( PDF )
- Ensayo biográfico
- Entrevista abril 2020