Abduzione ABox per Basi di Conoscenza Inconsistenti sotto Semantica di Riparazione

Un nuovo articolo in informatica affronta l'abduzione ABox per basi di conoscenza (KB) inconsistenti sotto semantica di riparazione. L'abduzione ABox cerca estensioni di una KB per implicare un fatto non implicato, con applicazioni in diagnosi, spiegabilità e riparazione. Ben studiata per KB consistenti, poco si sa per quelle inconsistenti, spesso causate da dati errati. Gli autori definiscono nozioni di abduzione e criteri per ipotesi utili, utilizzando la semantica di riparazione per recuperare un ragionamento significativo. Forniscono un panorama di complessità per l'abduzione ABox sotto semantica di riparazione per le logiche descrittive leggere DL-Lite e EL_bot.