Certain answer

Nella rappresentazione della conoscenza, quello delle certain answer (traducibile letteralmente dall'inglese come "risposta certa") è l'insieme delle risposte a una certa query formato dall'intersezione di tutti i database completi coerenti con una certa base di conoscenza incompleta di riferimento.^[1] Il concetto di certain answer, indagato nella teoria delle basi di dati sin dagli anni settanta,^[1] è infatti definito in un contesto di ipotesi del mondo aperto, in cui si assume che la propria base di conoscenza sia incompleta.

Intuitivamente, le certain answer sono le risposte sicuramente vere ottenibili interrogando una base di conoscenza, considerata sia la conoscenza estensionale che le eventuali implicazioni dedotte mediante ragionamento automatico, a prescindere dalla specifica interpretazione considerata.