The thesis work proposes an innovative approach to reasoning in descriptive logic through the use of tensors to implement the encoding of a knowledge base, the preprocessing and an initial set of inference services. The tests performed show the correctness and completeness of the results.
Il lavoro di tesi propone un approccio innovativo al reasoning in logica descrittiva attraverso l'utilizzo di tensori per implementare la codifica di una base di conoscenza, il preprocessing e un insieme iniziale di servizi di inferenza. I test effettuati mostrano la correttezza e completezza dei risultati.
STUDIO E SVILUPPO DI ALGORITMI DI INFERENZA IN LOGICA DESCRITTIVA MEDIANTE CALCOLO TENSORIALE
CAPRIUOLO, DANIELE
2022/2023
Abstract
The thesis work proposes an innovative approach to reasoning in descriptive logic through the use of tensors to implement the encoding of a knowledge base, the preprocessing and an initial set of inference services. The tests performed show the correctness and completeness of the results.File in questo prodotto:
Fulltext non presente su UNITESI – Verifica la disponibilità della tesi in formato cartaceo interrogando il Catalogo di Ateneo
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14253/81034