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

.

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 Tecnologías de la Información y las Comunicaciones (DTIC) de la UPF dio con la solución al dilema en 1,5 segundos.

.

UPF / 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.

bastó con pedirle al programa que indicara cuál era la única situación compatible después de lo dicho por Bernard y Albert"

“Bastó con pedirle al programa que indicara cuál era la única situación compatible después de lo dicho por Bernard y Albert”

.

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).

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

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.

.

La respuesta al dilema de lógica