Descrizione

Titolo del progetto di ricerca: Trees for Trees: Fast Algorithms for Temporal Ontologies applied to the Modelling of the Sustainable Forest (Tree4Tree IN200X)

CUP: I55F21002330005

Descrizione dell’attività da svolgere dal/la collaboratore/trice:
Combinazione di logica temporale e linguaggi ontologici/concettuali e relativa estensione con gli operatori logici della “Tooth Logic”. Sviluppo e verifica di un prototipo di implementazione del sistema logico risultante. È richiesta una conoscenza approfondita degli aspetti teorici e pratici della teoria della dimostrazione.
Il collaboratore dovrà analizzare e documentare il codice esistente e sviluppare la teoria necessaria per consentire l'implementazione di sistemi di tableaux per operatori della “Tooth Logic”. I tableaux dovrebbero anche essere combinati con standard tableaux per la logica temporale.

Responsabile del progetto: prof. Oliver Kutz