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.
La kernelizzazione Principali caratteristiche del kernel di un programma logico: contiene tutte le informazioni per il calcolo di modelli stabili; e completamente negativo. Per lalgoritmo di colorazione si vedano gli articoli di Brignoli, Costantini, DAntona e Provetti. ULTERIORI INFORMAZIONI...
Smodels Calcola uno o tutti i modelli stabili di un programma logico; calcola il programma well-founded; tramite lausilio di parser computa programmi logici funzionali.
Calcolo dei modelli Stabili Programma Logico KernelizzatoreSMODELS Kernel Parsato Modelli Stabili
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...
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.
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.