Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro.

Presentazione sul tema: "Calcolo di Modelli Stabili Attraverso la Semplificazione di Programmi Logici Fabrizio Magni Relatore: Prof.ssa Stefania Costantini Corelatore: Dott. Alessandro."— Transcript della presentazione:

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 completamente negativo. Per lalgoritmo di colorazione si vedano gli articoli di Brignoli, Costantini, DAntona e Provetti. ULTERIORI INFORMAZIONI...

6 Calcolo dei modelli Stabili Programma Logico KernelizzatoreSMODELS Kernel Parsato Modelli Stabili

7 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...

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.