Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog
 |
 |
 |
@mastersthesis{nanettilabelledtheories06,
abstract = {Questa tesi si pone come obiettivi lo studio e lo sviluppo di un supporto per l'utilizzo corretto e coerente di pi\`{u} teorie logiche, attive contemporaneamente, al fine di dotare tuProlog di tutti gli strumenti necessari per operare in un ambiente multi-teoria. Inizialmente sar\`{a} fondamentale fornire al sistema un meccanismo per tenere traccia di ogni singola teoria, perch\'{e} sia possibile recuperarla dal complesso delle clausole. Grazie a questa opportunit\`{a} si potr\`{a} estendere il concetto di programmazione contestuale anche a tuProlog, avendo a disposizione modalit\`{a} affidabili per il recupero delle parti di teoria desiderate. Nel caso di una teoria logica complessiva costruita in momenti diversi,inoltre consentir\`{a} la cancellazione mirata solamente di quelle teorie che non sono pi\`{u} considerate utili. Successivamente, per sfruttare al meglio le potenzialit\`{a} offerte da questa estensione, saranno necessari strumenti opportuni per la gestione corretta del sistema, in un ambiente multi-teoria, affinch\'{e} le modifiche e le operazioni svolte a tempo di esecuzione mantengano la coerenza e non compromettano il corretto funzionamento delle attivit\`{a} di base.},
author = {Emanuele Nanetti},
available = {2008-11-10},
contact = {Ricci, Alessandro},
cosupervisor = {Omicini, Andrea and Ricci, Alessandro},
cycle = {LM},
description = {Questa tesi si pone come obiettivi lo studio e lo sviluppo di un supporto per l'utilizzo corretto e coerente di pi\`{u} teorie logiche, attive contemporaneamente, al fine di dotare tuProlog di tutti gli strumenti necessari per operare in un ambiente multi-teoria. Inizialmente sar\`{a} fondamentale fornire al sistema un meccanismo per tenere traccia di ogni singola teoria, perch\'{e} sia possibile recuperarla dal complesso delle clausole. Grazie a questa opportunit\`{a} si potr\`{a} estendere il concetto di programmazione contestuale anche a tuProlog, avendo a disposizione modalit\`{a} affidabili per il recupero delle parti di teoria desiderate. Nel caso di una teoria logica complessiva costruita in momenti diversi,inoltre consentir\`{a} la cancellazione mirata solamente di quelle teorie che non sono pi\`{u} considerate utili. Successivamente, per sfruttare al meglio le potenzialit\`{a} offerte da questa estensione, saranno necessari strumenti opportuni per la gestione corretta del sistema, in un ambiente multi-teoria, affinch\'{e} le modifiche e le operazioni svolte a tempo di esecuzione mantengano la coerenza e non compromettano il corretto funzionamento delle attivit\`{a} di base.},
language = {it},
month = feb,
supervisor = {Denti, Enrico},
title = {Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog},
type = {Master's thesis},
year = 2006
}
abstract = {Questa tesi si pone come obiettivi lo studio e lo sviluppo di un supporto per l'utilizzo corretto e coerente di pi\`{u} teorie logiche, attive contemporaneamente, al fine di dotare tuProlog di tutti gli strumenti necessari per operare in un ambiente multi-teoria. Inizialmente sar\`{a} fondamentale fornire al sistema un meccanismo per tenere traccia di ogni singola teoria, perch\'{e} sia possibile recuperarla dal complesso delle clausole. Grazie a questa opportunit\`{a} si potr\`{a} estendere il concetto di programmazione contestuale anche a tuProlog, avendo a disposizione modalit\`{a} affidabili per il recupero delle parti di teoria desiderate. Nel caso di una teoria logica complessiva costruita in momenti diversi,inoltre consentir\`{a} la cancellazione mirata solamente di quelle teorie che non sono pi\`{u} considerate utili. Successivamente, per sfruttare al meglio le potenzialit\`{a} offerte da questa estensione, saranno necessari strumenti opportuni per la gestione corretta del sistema, in un ambiente multi-teoria, affinch\'{e} le modifiche e le operazioni svolte a tempo di esecuzione mantengano la coerenza e non compromettano il corretto funzionamento delle attivit\`{a} di base.},
author = {Emanuele Nanetti},
available = {2008-11-10},
contact = {Ricci, Alessandro},
cosupervisor = {Omicini, Andrea and Ricci, Alessandro},
cycle = {LM},
description = {Questa tesi si pone come obiettivi lo studio e lo sviluppo di un supporto per l'utilizzo corretto e coerente di pi\`{u} teorie logiche, attive contemporaneamente, al fine di dotare tuProlog di tutti gli strumenti necessari per operare in un ambiente multi-teoria. Inizialmente sar\`{a} fondamentale fornire al sistema un meccanismo per tenere traccia di ogni singola teoria, perch\'{e} sia possibile recuperarla dal complesso delle clausole. Grazie a questa opportunit\`{a} si potr\`{a} estendere il concetto di programmazione contestuale anche a tuProlog, avendo a disposizione modalit\`{a} affidabili per il recupero delle parti di teoria desiderate. Nel caso di una teoria logica complessiva costruita in momenti diversi,inoltre consentir\`{a} la cancellazione mirata solamente di quelle teorie che non sono pi\`{u} considerate utili. Successivamente, per sfruttare al meglio le potenzialit\`{a} offerte da questa estensione, saranno necessari strumenti opportuni per la gestione corretta del sistema, in un ambiente multi-teoria, affinch\'{e} le modifiche e le operazioni svolte a tempo di esecuzione mantengano la coerenza e non compromettano il corretto funzionamento delle attivit\`{a} di base.},
language = {it},
month = feb,
supervisor = {Denti, Enrico},
title = {Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog},
type = {Master's thesis},
year = 2006
}
