Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog


 Emanuele Nanetti

Questa tesi si pone come obiettivi lo studio e lo sviluppo di un supporto per l'utilizzo corretto e coerente di più teorie logiche, attive contemporaneamente, al fine di dotare tuProlog di tutti gli strumenti necessari per operare in un ambiente multi-teoria. Inizialmente sarà fondamentale fornire al sistema un meccanismo per tenere traccia di ogni singola teoria, perché sia possibile recuperarla dal complesso delle clausole. Grazie a questa opportunità si potrà estendere il concetto di programmazione contestuale anche a tuProlog, avendo a disposizione modalità affidabili per il recupero delle parti di teoria desiderate. Nel caso di una teoria logica complessiva costruita in momenti diversi,inoltre consentirà la cancellazione mirata solamente di quelle teorie che non sono più considerate utili. Successivamente, per sfruttare al meglio le potenzialità offerte da questa estensione, saranno necessari strumenti opportuni per la gestione corretta del sistema, in un ambiente multi-teoria, affinché le modifiche e le operazioni svolte a tempo di esecuzione mantengano la coerenza e non compromettano il corretto funzionamento delle attività di base.

    

Thesis

Supervision

— supervisor
Enrico Denti
— co-supervisor
Andrea Omicini
Alessandro Ricci

Category

2nd-Cycle Thesis

Status

completed

Language

wit.gif

Dates

— available since
10/11/2008
— degree date
16/02/2006

Files

PDF
slides

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY