Kowalski, Roberto

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 17 de agosto de 2017; las comprobaciones requieren 13 ediciones .
Roberto Kowalski
Fecha de nacimiento 15 de mayo de 1941( 15/05/1941 ) (81 años)
Lugar de nacimiento
País
Esfera científica Informática
Lugar de trabajo
alma mater
consejero científico Bernard Meltzer [d] [1]
Premios y premios Premio IJCAI a la Excelencia Investigadora [d] ( 2011 ) Fello ACM

Robert Anthony Kowalski ( nacido el 15 de mayo de 1941 ) es un lógico y científico estadounidense que pasó la mayor parte de su carrera en el Reino Unido .

Educación

Fue educado en la Universidad de Chicago , la Universidad de Bridgeport (BS Matemáticas, 1963), la Universidad de Stanford (MS Matemáticas, 1966), la Universidad de Varsovia y la Universidad de Edimburgo (Licenciatura en Ciencias de la Computación , 1970).

Carrera

Fue miembro de la Universidad de Edimburgo (1970-75) y del Imperial College London desde 1975. En 1999 se convirtió en profesor de honor. Pronto se unió a la Asociación Estadounidense para el Avance de la Inteligencia Artificial en 1991, al Comité Coordinador de IA en 1999 y a la Asociación de Maquinaria de Computación en 2001.

Robert comenzó su investigación en el campo de las pruebas automáticas [2] , que se implementa a nivel de programa . Se basa en el aparato de la lógica matemática . Sin embargo, es mejor conocido por su contribución al desarrollo de la programación lógica , comenzando con la interpretación procedimental de Horn . [3]

También desarrolló un modelo mínimo de semántica de Horn con Maarten van Emden [4] . Con Marek Sergot, desarrolló el cálculo de eventos [5] y la aplicación de la programación lógica al razonamiento jurídico. [6] [7] y la aplicación de la programación lógica con fines legales. Con Farib Sadri, desarrolló el 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 primeros desarrolladores de la lógica de programación abductiva , donde los programas lógicos se aumentan con restricciones de integridad y con predicados abductivos indefinidos. [10] [11] Este trabajo ha demostrado que la lógica del razonamiento predeterminado puede verse como casos separados de argumentación basada en suposiciones. [12] [13]

prólogo

El desarrollo del lenguaje Prolog comenzó en 1970 por Alan Culmeroe y Philippe Roussel. Querían crear un lenguaje que pudiera sacar inferencias de un texto dado. El nombre Prolog es la abreviatura de "PROgramación en LOGic". Este lenguaje fue desarrollado en Marsella en 1972. El principio de resolución de Kuznechny parecía un modelo adecuado a partir del cual desarrollar un motor de inferencia. Con la restricción de resolución en la cláusula de Horn, la unificación dio como resultado un sistema eficiente donde el no determinismo insuperable se manejó con un proceso de retroceso que podría implementarse fácilmente. El algoritmo de resolución hizo posible crear una secuencia ejecutable necesaria para implementar especificaciones como la relación anterior.

La primera implementación del lenguaje Prolog utilizando el compilador ALGOL-W de Wirth se completó en 1972 y las bases del lenguaje moderno se sentaron en 1973. El uso de Prolog se extendió gradualmente entre los involucrados en la programación lógica, principalmente a través de contactos personales, y no a través de la comercialización del producto. Actualmente, hay varias versiones diferentes, pero muy similares. Aunque no existe un estándar para el lenguaje Prolog, sin embargo, la versión desarrollada en la Universidad de Edimburgo se ha convertido en la variante más utilizada. La falta de desarrollo de aplicaciones eficientes de Prolog retrasó su adopción hasta la década de 1980.

Libros

Véase también

Notas

  1. ↑ 1 2 Genealogía matemática  (inglés) - 1997.
  2. ↑ Kowalski, R. y Kuehner, D., "Resolución lineal con función de selección" en Inteligencia artificial, vol. 2, 1971 227-260. Reimpreso en Anthology of Automated Theorem-Proving Papers, vol. 2, Springer-Verlag , 1983, 542-577.
  3. ↑ Kowalski, R., "Lógica de predicados como lenguaje de programación", en Proceedings IFIP Congress, Estocolmo, North Holland Publishing Co., 1974, 569-574. Reimpreso en Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), IEEE Computer Society Press , Los Ángeles, 1986, 68-73.
  4. ↑ 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, 733-742.
  5. ↑ Kowalski, R. y Sergot, M., "Un cálculo de eventos basado en la lógica", en " Informática de nueva generación ", vol. 4, nº 1, febrero de 1986, 67-95. También en "Knowledge Base Management-Systems", (eds. C. Thanos y JW Schmidt), Springer-Verlag, gg. 23-51. También en The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky y R. Gaizauskas). Prensa de la Universidad de Oxford , 2005.
  6. ↑ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. y Cory, T., "The British Nationality Act as a Logic Program", en " Communications of the ACM " , vol. 29, núm. 5, 1986, 370-386.
  7. ↑ 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, 203-230.
  8. ^ Kowalski, R., "Uso de Metalogic para reconciliar con agentes racionales reactivos". En "Meta-Logics and Logic Programming" (K. y Apt F. Turini, eds.), MIT Press , 1995.
  9. ↑ Kowalski, R. y Sadri, F., "De la programación lógica hacia los sistemas multiagente", " Annals of Mathematics and Artificial Intelligence ", volumen 25 (1999), 391-419.
  10. ↑ Eshghi, K. y Kowalski, R., "Abducción a través de la deducción". Departamento de Computación, Imperial College, 1988.
  11. ↑ Kakas, T., Kowalski, K. y Toni, F., "Programación lógica abductiva". „ Revista de Lógica y Computación “, 1992, vol. 2 núm. 6, págs. 719-770.
  12. ↑ Bondarenko, A., Dung, PM, Kowalski, R. y Toni, F. Un enfoque teórico de la argumentación abstracta para el razonamiento por defecto". " Revista de Inteligencia Artificial ", 93(1-2), 1997, pp 63-101.
  13. ↑ Dung, PM, Kowalski, R. y Toni, F. Procedimientos de prueba dialéctica para la argumentación admisible basada en suposiciones. Journal of Artificial Intelligence, 170(2), febrero de 2006, 114-159.

Enlaces

  Ir al elemento de Wikidata  sitios temáticos
diccionarios y enciclopedias