Analisi ed Implementazione di Algoritmi per il Ragionamento Temporale Qualitativo
Autore
Stefano Paoli - Università degli Studi di Brescia - [2003-04]
Documenti
Abstract
Gestire in modo incrementale l'informazione temporale è un'attività importante in molte aree dell'intelligenza articiale. In questo lavoro di tesi abbiamo indirizzato il ragionamento temporale incrementale nel contesto ben conosciuto della Point Algebra e della subalgebra di ORD-Horn, sottoinsieme dell'Interval Algebra, analizzando ed estendendo una collezione di recenti algoritmi e strutture dati per risolvere i problemi fondamentali del ragionamento temporale.
Gli algoritmi studiati migliorano la complessità computazionale, che si avrebbe utilizzando le tecniche statiche, di un fattore di O(n) o di O(n2), dove n è il numero delle variabili temporali. I risultati sperimentali di questa tesi confermano il vantaggio teorico dei metodi incrementali. Abbiamo inoltre analizzato sperimentalmente nuovi algoritmi per il ragionamento statico nell'ambito della subalgebra di ORD-Horn che, sotto certe condizioni, sono risultati più efficienti delle tecniche precedentemente poposte.
Gli algoritmi studiati migliorano la complessità computazionale, che si avrebbe utilizzando le tecniche statiche, di un fattore di O(n) o di O(n2), dove n è il numero delle variabili temporali. I risultati sperimentali di questa tesi confermano il vantaggio teorico dei metodi incrementali. Abbiamo inoltre analizzato sperimentalmente nuovi algoritmi per il ragionamento statico nell'ambito della subalgebra di ORD-Horn che, sotto certe condizioni, sono risultati più efficienti delle tecniche precedentemente poposte.
Questa tesi è correlata alla categoria