Adattamento Limitato per Logiche Descrittive Espressive

L'adattamento limitato è un paradigma per apprendere formule logiche da dati etichettati, che offre garanzie di tipo PAC e viene spesso implementato tramite risolutori SAT. È stato applicato con successo ai concetti della logica descrittiva ALC. Questo lavoro estende l'adattamento limitato a logiche descrittive più espressive con ruoli inversi, restrizioni numeriche qualificate e confronti di caratteristiche. Gli autori indagano le condizioni che preservano le proprietà teoriche favorevoli e implementano l'approccio utilizzando un risolutore SAT. Il loro strumento viene confrontato con i migliori apprenditori di concetti, mostrando risultati incoraggianti e dimostrando l'applicabilità pratica per l'apprendimento espressivo di concetti.