Толықтылық (білім негіздері) - Completeness (knowledge bases)
 | Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)
|
Термин толықтығы қатысты білім негіздері екі түрлі ұғымға сілтеме жасайды.
Ресми логика
Ресми логикада КБ білім қоры толық болады егер KB ⊭ α және KB ⊭ ¬α болатын α формуласы жоқ.
Толық емес білім базасының мысалы:
КБ: = {A ∨ B}
Сонда бізде KB ⊭ A және KB ⊭ ¬A болады.
Кейбір жағдайларда, а тұрақты білім қоры толығымен жасалуы мүмкін жабық әлемдік болжам - бұл бәрін қосу әкелмеген литералдар білім базасына негативтер ретінде. Жоғарыда келтірілген мысалда бұл жұмыс істемейді, өйткені білім базасын сәйкес келмейтін етеді:
KB '= {A ∨ B, ¬A, ¬B}
Егер KB: = {P (a), Q (a), Q (b)}, KB ⊭ P (b) және KB ⊭ ¬P (b), сондықтан, әлемнің жабық болжамымен, KB '= {P (a), ¬P (b), Q (a), Q (b)}, мұнда KB '⊨ ¬P (b).
Деректерді басқару
Деректерді басқаруда толықтығы болып табылады мета білу толығымен дәлелдеу арқылы КБ бөліктеріне бекітуге болады.[1][2]
Мысалы, білім қорында толық ақпарат болуы мүмкін предикаттар R және S, ал Т предикаты үшін ештеңе айтылмаған болса, келесі сұрақтарды қарастырыңыз:
Q1: - R (x), S (x) Q2: - R (x), T (x)
1-сұрау үшін білім қоры тек толық жауап береді предикаттар толық өздері қиылысады. 2-сұрау үшін мұндай қорытынды жасауға болмайды, өйткені Т предикаты толық емес болуы мүмкін.
Сондай-ақ қараңыз
Әдебиеттер тізімі
 | Бұл логика - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |
 | Бұл дерекқор - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |