Pedro Meseguer

Institut d’Investigació en Intel.ligència Artificial (IIIA). CSIC. [Web]

Pedro Meseguer
 

Constraint Programming: A powerful technology for AI

Tomando como excusa un trabajo publicado recientemente sobre la realización de operaciones sobre feature terms usando programación con restricciones, veremos diversos elementos de esta técnica (variables, dominios, restricciones, restricciones globales, simetrías, entornos de programación con restricciones). Los resultados experimentales que hemos obtenido mejoran en velocidad órdenes de magnitud con respecto a una implementación convencional basada en búsqueda primero en profundidad.

 

ShortBio

Pedro Meseguer es investigador científico del CSIC en el IIIA. Licenciado en Ciencias Físicas y en Informática, se doctoró en la UPC en 1992, con una tesis sobre validación de sistemas expertos. Desde entonces su principal tema de investigación es razonamiento con restricciones, tema sobre el que ha hecho numerosas publicaciones. También ha trabajado sobre búsqueda heurística. Ha participado en diversos proyectos de investigación, y ha desarrollado tareas editoriales en revistas especializadas. En paralelo a su trabajo de investigación, ha realizado varias tareas docentes, de dirección de tesis doctorales y de servicio a la comunidad de IA. Es ECCAI fellow.
 

Ilustraciones de la ciudad de Albacete cedidas por Alicia Gosalbez
Copyright © 2019 Conferencia CAEPIA 2015