Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro Provetti
Obiettivi della Tesi Creazione di procedure che supportino quelle già esistenti per il calcolo di modelli stabili; Implementazione dellalgoritmo di Kernelizzazione; Calcolo delle prestazioni dellalgoritmo; Applicazioni dellalgoritmo; applicazione del calcolo dei modelli stabili alla pianificazione automatica.
Procedure ausiliarie Parser per la procedura di colorazione; generatore di programmi logici random; generatore di moduli extremal.
Programma logico a not b. c not a, not d. d b. e not b, a.
Kernel di un programma Principali caratteristiche : contiene tutte le informazioni per il calcolo di modelli stabili; e well-founded; e completamente negativo. Per lalgoritmo di colorazione si vedano gli articoli di Brignoli, Costantini, DAntona e Provetti. ULTERIORI INFORMAZIONI...
Calcolo del kernel di un programma: Calcolo del well-founded; uso delloperatore ; unfolding iterato; top iterato; eliminazione delle regole positive rimanenti. Per lalgoritmo si veda larticolo: Costantini et al., ULTERIORI INFORMAZIONI...
Calcolo dei modelli Stabili Programma Logico KernelizzatoreSMODELS Kernel Parsato Modelli Stabili
Miglioramenti apportati dal kernel Velocita di computazione per programmi estesi; omogeneita della semantica.
Pianificazione automatica: Utilizzo del calcolo dei modelli stabili per la pianificazione automatica; calcolo delle prestazioni su diversi planner; confronto delle prestazioni nella letteratura.
Esempio di pianificazione automatica: il mondo dei blocchi Stato A Stato B
Sviluppi futuri Aumento dellefficienza della kernelizzazione; ampliamento del concetto di kernelizzazione a programmi logici funzionali; applicazione del calcolo dei modelli stabili allintelligenza artificiale e alla robotica.