DUGiDocsAmpliació i millora del “Girona Optimization System”
Text Complet
Trobar la solució a un problema és la finalitat i objectiu de quasi tot procés. L’afany per descobrir aquesta solució és el que ha incentivat la creació de nombroses tècniques i paradigmes de programació. Dins aquests paradigmes es troba
la programació amb restriccions o Constraint Programming, sovint emmarcada
dins l’àmbit de la programació declarativa.
Aquest paradigma redueix la cerca de la solució a un problema combinatori
a identificar l’assignació que satisfà les restriccions imposades sobre un conjunt
de variables o, en altres paraules, trobar la possible solució al problema combinatori que resulti vàlida, entre totes les candidates.
La motivació pel desenvolupament d’aquest projecte radica en la necessitat
de codificar les restriccions que defineixen els problemes d’una manera convenient. A la Universitat de Girona, concretament al grup de recerca de Lògica i
Intel.
ligència Artificial (LIA) del departament d’Informàtica, Matemàtica Aplicada i Estadística (IMAE), disposen d’un llenguatge declaratiu enfocat en el
paradigma de la programació per restriccions anomenat BUP, que forma part
del Girona Optimization System (GOS) [Generoso, 2020]. El sistema en qüestió
és el resultat d’un anterior TFG que pretén suplir aquesta necessitat. Tot i ser
funcional, tal com afirma el seu autor, es tracta d’una primera iteració i es troba
en una fase inicial de desenvolupament. Això vol dir que GOS requereix algunes
correccions, millores i ampliacions perquè sigui un sistema complet i funcional.
Així doncs, el propòsit és desenvolupar i millorar el sistema GOS per tal que
pugui utilitzar-se en escenaris reals, és a dir, que sigui apte tant per l’àmbit de
recerca com l’educatiu i, fins i tot, el professional
Aquest document està subjecte a una llicència Creative Commons:Reconeixement - No comercial - Sense obra derivada (by-nc-nd)
