Tecniche di pianificazione automatica in giochi con regole dinamiche: sviluppo di un agente intelligente per la Keke Competition.

L'intelligenza artificiale (IA) trova nei giochi un campo di applicazione molto vasto, nel quale poter sperimentare svariate tecniche e proporre nuove stimolanti sfide che spingano i partecipanti ad esplorare nuovi orizzonti nell'ambito delle applicazioni di IA. La Keke AI Competition rappresenta una di queste sfide, introducendo una gara tra agenti intelligenti per il gioco Baba is You, puzzle game in cui i giocatori possono creare regole che influenzano le meccaniche del gioco in maniera temporanea o permanente. La natura di queste regole dinamiche crea una sfida per l'intelligenza artificiale, che deve adattarsi ad una varietà di combinazioni di meccaniche per risolvere un livello. Questo progetto di tesi si propone di realizzare un agente intelligente che possa idealmente partecipare alla competizione sfruttando tecniche di pianificazione automatica. In particolare, l'agente progettato si basa sull'algoritmo di pianificazione graphplan che opera a diversi livelli di astrazione posti in gerarchia tra loro ed è stato realizzato completamente in Prolog. Questo progetto mostra quindi come le tecniche di pianificazione automatica siano un valido strumento per risolvere alcune tipologie di giochi innovativi complessi nell'ambito dell'IA.

The FAMU experiment: characterization of innovative detectors for high precision spectroscopy

The incompatibility between the proton radius values measured in recent years has given rise to what is now called the proton radius puzzle. This discrepancy is nowadays without explanation. In order to find a solution to the proton radius puzzle a new experiment has been proposed. The aim of this experiment, called FAMU, is to obtain a new and more precise measure of the Zemach radius of the proton, ie the quantity that has the highest uncertainty in high precision spectroscopy. If this measurement confirmed the results obtained before 2010, the starting date of the puzzle, then the discrepancy would be caused by procedural errors or ignored corrections. Otherwise, the new value would indicate the presence of new physics still unkown.