Vés enrere Felicitar a Cheryl de Singapur, un dilema de lògica resolt quasi a l'instant

Felicitar a Cheryl de Singapur, un dilema de lògica resolt quasi a l'instant

Amb un algorisme desenvolupat per Filippos Kominis, investigador doctoral del Grup de Recerca en Intel·ligència Artificial del DTIC, amb què ha estat capaç de trobar la solució en poc més d'un segon.
26.04.2015

 

Mentre que a Internet s'intentava elucidar quan era l'aniversari de Cheryl, un problema de lògica que s'ha fet viral en què van participar nens de 14-15 anys en una competició matemàtica a Singapur, un investigador del Departament de Tecnologies de la Informació i les Comunicacions (DTIC) de la UPF va donar amb la solució al dilema en 1,5 segons.

Escriure "Bernard" ocupa més temps que el que va necessitar un programa desenvolupat per Filippos Kominis, investigador del Grup d'Intel·ligència Artificial (AI) que dirigeix ​​Héctor Geffner, investigador ICREA del DTIC de la UPF, com a part de la tesi doctoral.

Kominis comenta, "molts s'han parat a reflexionar coses de l'estil de:" si Bernard va dir que l'Albert no sabia, llavors ell sap que l'altra encara no aconsegueix saber si ..., i amb els seus càlculs han emplenat munts de llibretes ".

cherylimg

Sota la supervisió d' Héctor Geffner, Kominis treballa en el càlcul sobre què pensen diverses persones, o agents intel·ligents, quan fan accions i diuen pensaments en veu alta adreçats a altres agents que escolten. Els resultats de la seva recerca es presentaran en una comunicació, " Beliefs in Multiagent Planning: From One Agent to Many", a The International Conference on Automated Planning and Scheduling (ICAPS), el juny del 2015, a Jerusalem (Israel).

En el cas de l'aniversari de Cheryl, Kominis ha explicat, "encara que el nostre programa pot indicar què ha de dir o fer cada agent, en aquest cas ni tan sols va fer falta, va ser suficient amb demanar-li al programa que indiqués quina era l'única situació compatible després del que s'ha dit per Bernard i Albert".

De fet, el treball de Kominis està basat en una línia de recerca que va començar en la tesi doctoral d' Héctor Palacios, investigador d'AI,  en què mostrava com problemes de planificació, en aparença complexos, poden ser resolts transformant-los en problemes molt simples: de només uns pocs passos. És així com el programa desenvolupat per Kominis ha estat capaç d'identificar l'aniversari de Cheryl en 1,5 segons.

El Grup d'Intel·ligència Artificial del DTIC de la UPF és un referent a nivell mundial, reconegut amb diversos premis internacionals entre els quals cal destacar: al millor article científic, a l'article més influent dels últims anys, a la millor tesi doctoral, tots a l'àrea de Planificació Automàtica, de la Intel·ligència Artificial, que s'ocupa de problemes la solució dels quals es redueix a seqüències de passos físics o lògics.

Altres notícies d'investigació relacionades:

Hector Geffner ha estat premiat amb l'ICAPS Influential Paper Award

Un treball d'Hector Geffner torna a ser premiat AMB l'ICAPS Influential Paper Award


Multimèdia

Categories:

ODS - Objectius de desenvolupament sostenible:

Els ODS a la UPF

Contact