Hispanopedia Wiki
Articulo de referencia

Michael Gelfond

Michael Gelfond es profesor de Ciencias de la Computación en la Universidad Tecnológica de Texas en Estados Unidos . Se licenció en matemáticas en el Instituto de Matemáticas St...

Hispanopedia WikiContenido en espanolLectura gratuita

Michael Gelfond es profesor de Ciencias de la Computación en la Universidad Tecnológica de Texas en Estados Unidos . Se licenció en matemáticas en el Instituto de Matemáticas Steklov de Rusia en 1974 y emigró a Estados Unidos en 1978. Los intereses de investigación de Gelfond se centran en las áreas de lógica computacional y representación del conocimiento . Es miembro de la Asociación para el Avance de la Inteligencia Artificial [ 1 ] y editor de área (en Representación del Conocimiento y Razonamiento No Monótono) de la revista Theory and Practice of Logic Programming .

Él, junto con Vladimir Lifschitz , definió la semántica de modelos estables [ 2 ] para programas lógicos , que más tarde se convirtió en la base teórica de la Programación de Conjuntos de Respuestas [ 3 ] , un nuevo paradigma de programación declarativa .

Referencias

  1. ↑ Lista de miembros de la AAAI en el sitio web de la AAAI
  2. ↑ Michael Gelfond, Vladimir Lifschitz: La semántica de modelos estables para la programación lógica. ICLP/SLP 1988: 1070-1080
  3. ↑ Victor Marek y Miroslaw Truszczynski. Modelos estables y un paradigma alternativo de programación lógica. En El paradigma de la programación lógica: una perspectiva de 25 años, páginas 375-398. Springer Verlag, 1999.