Atrás Felicitar a Cheryl de Singapur, un dilema de lógica resuelto casi al instante

Felicitar a Cheryl de Singapur, un dilema de lógica resuelto casi al instante

Gracias a un algoritmo desarrollado por Filippos Kominis, investigador doctoral del Grupo de Investigación en Inteligencia Artificial del DTIC, con el que que ha sido capaz de dar con la solución en poco más de un segundo.
26.04.2015

 

Mientras Internet ardía en llamas tratando de elucidar cuándo era el cumpleaños de Cheryl, un problema de lógica en el que participaron niños de 14-15 años en una competición matemática en Singapur, un investigador del Departamento de Tecnologies de la Información y las Comunicaciónes (DTIC) de la UPF dio con la solución al dilema en 1,5 segundos.

Escribir "Bernard" llevó más tiempo que lo que necesitó un programa desarrollado por Filippos Kominis, investigador del Grupo de Inteligencia Artificial (AI) que dirige Héctor Geffner, investigador ICREA del DTIC de la UPF, como parte de la tesis doctoral.

cherylimgcast

Kominis comenta, "muchos se han parado a reflexionar cosas del estilo de: "si Bernard dijo que Albert no sabía, entonces él sabe que él otro aún no logra saber si..., y con sus cálculos han rellenado montones de libretas".

Bajo la supervisión de Héctor Geffner, Kominis  trabaja en el cálculo sobre lo que piensan varias personas, o agentes inteligentes, al hacer acciones y decir pensamientos en voz alta dirigidos a otros agentes que escuchan. Los resultados de su investigación se presentarán en una comunicación, " Beliefs in Multiagent Planning: From One Agent to Many", en The International Conference on Automated Planning and Scheduling (ICAPS ), en junio del 2015, en Jerusalén (Israel).

En el caso del cumpleaños de Cheryl, Kominis ha explicado, "aunque nuestro programa puede indicar qué debe decir o hacer cada agente, en este caso ni siquiera hizo falta, bastó con pedirle al programa que indicara cuál era la única situación compatible después de lo dicho por Bernard y Albert".

De hecho, el trabajo de Kominis está basado en una línea de investigación que comenzó en el trabajo doctoral de Héctor Palacios, investigador del Grupo de Investigación AI, que mostró cómo problemas de planificación, en apariencia complejos, pueden ser resueltos transformándolos en problemas muy simples: de sólo unos pocos pasos. Es así como el programa desarrollado por Kominis ha sido capaz de identificar el cumpleaños de Cheryl en 1.5 segundos.

El Grupo de Inteligencia Artificial (AI) del DTIC de la UPF es un referente a nivel mundial, reconocido con diversos premios internacionales entre los cuales cabe destacar: al mejor artículo científico, al artículo más influyente de los últimos años, a la mejor tesis doctoral, todos en el área de Planificación Automática, de la Inteligencia Artificial, que se ocupa de problemas cuya solución se reduce a secuencias de pasos físicos o lógicos.

Otras noticias de investigación relacionadas:

Un trabajo de Hector Geffner vuelve a ser premiado como ICAPS Influential Paper Award

 


 

 

Multimedia

Categorías:

ODS - Objetivos de desarrollo sostenible:

Els ODS a la UPF

Contact