Combinazione di concetti: fondamenti e applicazioni della combinazione di un numero arbitrario di concetti

In questa tesi si proporranno due estensioni di un sistema per la combinazione di due concetti. In particolare, si vuole mostrare il lavoro svolto che ha permesso di costruire un sistema di combinazione multipla, capace di combinare un numero arbitrario di concetti. Dopo aver illustrato il funzionamento dei sistemi costruiti, si analizzeranno i risultati ottenuti e si sottolineeranno pregi e difetti degli approcci perseguiti, valutando la qualità della combinazione e analizzando la complessità di esecuzione. Verrà poi proposta un'applicazione della combinazione di concetti in un contesto reale, cioè la combinazione di concetti nel dominio delle razze canine. Si illustrerà come è stata eseguita l'estrazione dei dati per poi riportare e commentare i risultati della combinazione. Il sistema su cui si è svolto il lavoro di estensione è CoCoS (Concept Combination System). CoCoS sfrutta il formalismo della logica TCL per permettere di ottenere, tramite il ragionamento automatico, la combinazione di due concetti supportando le eccezioni. Con l'obiettivo di giustificare il funzionamento del sistema di combinazione e delle estensioni che sono state proposte, si presenteranno, inizialmente, le logiche descrittive alla base della combinazione, ovvero 𝓐𝓛𝓒+T, e 𝓐𝓛𝓒+TR, la semantica DISPONTE e, infine, la logica di combinazione di concetti TCL, ciascuna accompagnata da esempi con il fine di sottolineare il valore che queste logiche apportano al contesto della combinazione di concetti.