Un'estensione della Dependency Tree Semantics: completezza espressiva e complessità computazionale

La tesi descrive un'estensione della Dependency Tree Semantics (DTS), un formalismo semantico sottospecificato (underspecified semantics formalism, USF) utilizzato per la disambiguazione semantica di frasi in linguaggio naturale. I risultati ottenuti sono inquadrati nel contesto a partire dal quale e' stato svolto il lavoro: vengono esposti i motivi per cui e' stato considerato utile ricorrere agli USF nel processo di elaborazione del linguaggio naturale e sono elencate le principali caratteristiche che essi devono possedere per risultare funzionali. La DTS e' confrontata con alcuni degli altri principali USF introdotti in letteratura e sono presentate le caratteristiche che l'estensione sviluppata le conferisce ed i risvolti negativi dal punto di vista computazionale. Infine e' descritto un esperimento svolto sul Turin University Treebank (TUT), che conferma la rarita' con cui occorrono nei casi reali le frasi che causano un'esplosione combinatoria di difficile trattazione.