La planificació automàtica és una disciplina de la intel·ligència artificial que té per objectiu la generació automàtica de plans, és a dir, seqüències ordenades d'accions que assoleixen uns objectius concrets. Un cop generats, els plans poden ser executats per un agent, posem per exemple per un robot.  Sovint, una família de plans que resolen problemes similars (de robòtica, de videojocs, etc.) comparteixen la mateixa estructura i, aleshores, aquestes famílies de plans es poden representar senceres de manera compacta per controladors d’estat finit (Finite State Controllers, FSC). 

Javier Segovia-Aguas, Sergio Jiménez i Anders Jonsson, investigadors del Grup de Recerca en Intel·ligència Artificial, del Departament de Tecnologies de la Informació i les Comunicacións (DTIC) de la UPF, han proposat una nova representació de famílies de plans en el treball “Hierarchical Finite State Controllers for Generalized Planning”, que els autors han presentat a la 25a. edició de la International Joint Conference on Artificial Intelligence (IJCAI-16), la trobada més important a nivell internacional en aquest àmbit,  que tindrà lloc del 9 al 15 de juliol a Nova York (EUA),  i que ha estat considerat com a Distinguished Paper, el premi al millor article del congrés.

Una nova família de controladors per a la planificació automàtica

En aquest treball, els autors introdueixen una nova representació formal i computacional de les famílies de plans, compacta i generalitzada, que anomenen controladors d’estat finit jeràrquics.  Com explica Anders Jonsson, investigador principal del treball, “la nova formulació que proposem és innovadora en el sentit que, tot i que suposa una extensió de la planificació per FSC estàndard, pot representar les famílies de plans de manera més compacta que els FSC ordinaris”. En primer lloc, un FSC jeràrquic pot contenir múltiples FSC individuals. En segon lloc, aquesta nova arquitectura permet que cada FSC individual pugui cridar a altres FSC i per últim, cada FSC té assignats una sèrie de paràmetres que li confereixen versatilitat. 

La formulació que es proposa en el treball per aquesta nova família de controladors, permet implementar solucions recursives, atès que un controlador es pot cridar a sí mateix amb diferents arguments; poden representar plans generals de manera més compacte i és modulable, és a dir, els controladors es poden dimensionar en mòduls. A més, el nou sistema de controladors proposat és compilable, és a dir, permet compilar un conjunt de problemes de planificació generalitzats d’un domini, i donar una única solució en forma de controlador jeràrquic.

Treball de referència:

Javier Segovia-Aguas, Sergio Jiménez i Anders Jonsson (2016), “Hierarchical Finite State Controllers for Generalized Planning”, 25th International Joint Conference on Artificial Intelligence (IJCAI-16), 9 al 15 de juliol a Nova York (EUA), Distinguished Paper Award.