Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
1
Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro Provetti
2
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.
3
Procedure ausiliarie Parser per la procedura di colorazione; generatore di programmi logici random; generatore di moduli extremal.
4
Programma logico a not b. c not a, not d. d b. e not b, a.
5
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...
6
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., 1999. ULTERIORI INFORMAZIONI...
7
Calcolo dei modelli Stabili Programma Logico KernelizzatoreSMODELS Kernel Parsato Modelli Stabili
8
Miglioramenti apportati dal kernel Velocita di computazione per programmi estesi; omogeneita della semantica.
9
Pianificazione automatica: Utilizzo del calcolo dei modelli stabili per la pianificazione automatica; calcolo delle prestazioni su diversi planner; confronto delle prestazioni nella letteratura.
10
Esempio di pianificazione automatica: il mondo dei blocchi Stato A Stato B
11
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.
Presentazioni simili
