La interpretación procedimental de las cláusulas de Horn, desarrollada por Robert Kowalski, proporciona la base operativa para el razonamiento hacia atrás en la programación lógica. Nacido en 1941 en Bridgeport, Connecticut, el matemático y científico informático centró su carrera en la intersección de la demostración automática de teoremas y los modelos computacionales orientados al ser humano, principalmente mientras trabajaba en instituciones académicas del Reino Unido.
Antecedentes académicos
Kowalski asistió a la Fairfield College Preparatory School antes de cursar estudios superiores. Obtuvo una licenciatura en matemáticas en la Universidad de Bridgeport en 1963, seguida de una maestría en matemáticas en la Universidad de Stanford en 1966. Sus estudios de doctorado lo llevaron a la Universidad de Varsovia y finalmente a la Universidad de Edimburgo, donde obtuvo un doctorado en informática en 1970.
Fundamentos de la programación lógica
Su carrera investigadora comenzó como becario en la Universidad de Edimburgo de 1970 a 1975. En 1975, se trasladó al Departamento de Informática del Imperial College de Londres. Obtuvo una cátedra en lógica computacional en 1982 y alcanzó el estatus de emérito en 1999. Al principio de este periodo, desarrolló la resolución SL junto con Donald Kuehner y formuló el procedimiento de prueba de grafos de conexión. En colaboración con Maarten van Emden, estableció la semántica de punto fijo y el modelo mínimo de las cláusulas de Horn, que definen los fundamentos lógicos del campo.
Aplicaciones en derecho y lógica
Kowalski amplió el alcance de la programación lógica a dominios complejos como el razonamiento jurídico. Con Marek Sergot, desarrolló el cálculo de eventos y aplicó la programación lógica para crear los primeros sistemas expertos jurídicos. Su estudio de 1986, The British Nationality Act as a Logic Program, sigue siendo una obra fundamental en derecho computacional, lo que le valió al equipo el premio CodeX inaugural en 2021. Además, su trabajo con Fariba Sadri condujo a la creación de los Sistemas de Producción Lógica y al desarrollo del Inglés Lógico, una sintaxis restringida diseñada para mejorar la comunicación y formalizar contratos legales.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Reconocimiento profesional
Sus contribuciones han sido reconocidas con importantes honores profesionales. Fue elegido miembro de la Asociación para el Avance de la Inteligencia Artificial en 1991 y de la Asociación de Maquinaria Computacional en 2001. En 2011, recibió el Premio a la Excelencia en la Investigación de la IJCAI. Entre 2012 y 2014, recibió el Premio de la Sociedad Japonesa para la Promoción de la Ciencia para Científicos Eminentes.
Datos rápidos
- Nacimiento: 1941, Bridgeport - Campo: Lógica e informática - Doctorado: Universidad de Edimburgo, 1970 - Profesor emérito: Imperial College de Londres - Membresías: AAAI, ACM - Interés principal: Lógica computacional - Libro notable: Logic for Problem Solving, 1979 - Ganador del premio CodeX: 2021
Preguntas frecuentes de los lectores
### ¿Cuál es la función principal del Inglés Lógico?
Sirve como azúcar sintáctico para lenguajes de programación como Prolog, destinado a permitir que las personas lean y comprendan reglas lógicas utilizando la sintaxis estándar del inglés.
### ¿Cómo conecta Kowalski la lógica con el pensamiento humano?
Sostiene que la lógica computacional actúa como un modelo para la resolución de problemas, que, cuando se combina con la teoría de la decisión, puede mejorar la comunicación en lenguaje natural y las habilidades de razonamiento práctico.
