Spiegazioni Contrastive Proposte per Basi di Conoscenza in Logica Descrittiva
Uno studio recente disponibile su arXiv introduce spiegazioni contrastive per basi di conoscenza in logica descrittiva (DL), affrontando le carenze dei metodi esistenti come le giustificazioni e il ragionamento abduttivo. Gli autori sostengono che questi approcci attuali non danno priorità alla prospettiva dell'utente, trascurando la sua comprensione, le sue esigenze e le conoscenze pregresse. L'obiettivo delle spiegazioni contrastive è chiarire perché un assioma P (fatto) è vero in contrasto con un altro assioma Q (foglio), poiché gli utenti esprimono spesso sorpresa per P quando si aspettavano Q. Questo articolo formalizza il concetto all'interno delle basi di conoscenza DL, sottolineando che spiegazioni separate per 'perché P' e 'perché non Q' sono insufficienti, poiché gli utenti cercano di comprendere la distinzione tra i due. Il lavoro è catalogato su arXiv con l'identificatore 2605.01442v1.
Fatti principali
- L'articolo propone spiegazioni contrastive per basi di conoscenza in logica descrittiva.
- Affronta i limiti delle giustificazioni e del ragionamento abduttivo.
- Le spiegazioni contrastive rispondono al motivo per cui l'assioma P è vero invece dell'assioma Q.
- Motivato dalla sorpresa dell'utente quando l'evento atteso Q non si verifica.
- I formalismi esistenti mancano di un approccio incentrato sull'utente.
- Pubblicato su arXiv con identificatore 2605.01442v1.
Entità
Istituzioni
- arXiv