Hispanopedia Wiki
Articulo de referencia

Patrick Prosser

Patrick Prosser (nacido el 8 de septiembre de 1952) es un científico informático que desarrolló la mayor parte de su carrera en la Universidad de Glasgow . Su investigación se h...

Hispanopedia WikiContenido en espanolLectura gratuita

Patrick Prosser (nacido el 8 de septiembre de 1952) es un científico informático que desarrolló la mayor parte de su carrera en la Universidad de Glasgow . Su investigación se ha centrado en la programación con restricciones , aunque se ha extendido a la aplicación de estas técnicas en otras áreas. Por sus importantes contribuciones a la teoría y la práctica de la programación con restricciones, Patrick recibió el Premio a la Excelencia en la Investigación de la Asociación para la Programación con Restricciones el 15 de septiembre de 2011; es solo el sexto galardonado con este premio. [ 1 ] Pronunció un discurso de aceptación pregrabado, que está disponible en YouTube. [ 2 ]

Su contribución más notable es la invención del backjumping dirigido por conflictos , una técnica avanzada para reducir la búsqueda en problemas de restricciones evitando el trabajo innecesario de retroceso. Su artículo de 1993 [ 3 ] que describe esto ha sido ampliamente citado. [ 4 ]

Otras áreas de la programación con restricciones que ha investigado incluyen la identificación de problemas difíciles [ 5 ] y técnicas para resolver problemas de enrutamiento de vehículos. [ 6 ] Su interés en las aplicaciones de la programación con restricciones ha incluido (por ejemplo) cómo se puede utilizar en el cálculo de árboles de especies. [ 7 ]

Entre sus aficiones se encuentra el vuelo de cometas, siendo fundador del Club de Cometas de Escocia . Ha escrito sobre la cometa tetraédrica . [ 8 ]

Referencias

  1. ↑ Sitio web del premio a la excelencia en investigación de la Asociación para la Programación con Restricciones. Archivado el 2 de abril de 2012 en Wayback Machine.
  2. ↑ Lista de reproducción del discurso de aceptación en vídeo de Patrick Prosser en YouTube.
  3. ↑ Prosser, Patrick (1993). "Algoritmos híbridos para el problema de satisfacción de restricciones" . Inteligencia Computacional . 9 (3): 268– 299. doi : 10.1111/j.1467-8640.1993.tb00310.x .
  4. ↑ Búsqueda en Google Académico
  5. ↑ Prosser, Patrick (1996). "Un estudio empírico de transiciones de fase en problemas de satisfacción de restricciones binarias" . Inteligencia Artificial . 81 ( 1–2 ): 81–109 . doi : 10.1016/0004-3702(95)00048-8 .
  6. ↑Backer, Bruno De; Furnon, Vincent; Shaw, Paul; Kilby, Philip; Prosser, Patrick (2000). "Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics". Journal of Heuristics. 6 (4): 501–523. doi:10.1023/A:1009621410177. S2CID 15296616.
  7. ↑N. C. A. Moore and P. Prosser (2008) "The Ultrametric Constraint and its Application to Phylogenetics", JAIR, Volume 32, pages 901-938
  8. ↑The tetrahedral principle in kite design, revisited, Patrick Prosser, 1996.
  • Patrick Prosser's home page at the University of Glasgow.
  • Google Scholar search for Patrick Prosser's papers.