Kompletność (bazy wiedzy)
Termin kompletność w odniesieniu do baz wiedzy odnosi się do dwóch różnych koncepcji.
Logika formalna
W logice formalnej baza wiedzy KB jest kompletna, jeśli nie istnieje formuła α taka, że KB ⊭ α i KB ⊭ ¬α.
Przykład bazy wiedzy z niepełną wiedzą:
KB := { ZA ∨ B }
Wtedy mamy KB ⊭ A i KB ⊭ ¬A.
W niektórych przypadkach spójna baza wiedzy może zostać uzupełniona założeniem o zamkniętym świecie — czyli dodaniem do bazy wiedzy wszystkich literałów niepowiązanych jako negacji. Jednak w powyższym przykładzie nie zadziałałoby to, ponieważ spowodowałoby to, że baza wiedzy byłaby niespójna:
KB' = { ZA ∨ B, ¬A, ¬B }
W przypadku, gdy KB := { P(a), Q(a), Q(b) }, KB ⊭ P(b) i KB ⊭ ¬P(b), to przy założeniu świata zamkniętego KB' = { P(a), ¬P(b), Q(a), Q(b) }, gdzie KB' ⊨ ¬P(b).
Zarządzanie danymi
W zarządzaniu danymi kompletność to metawiedza , którą można potwierdzić dla części KB za pomocą twierdzeń o kompletności.
Na przykład baza wiedzy może zawierać pełne informacje dla predykatów R i S, podczas gdy dla predykatu T nic nie jest potwierdzone. Następnie rozważ następujące zapytania:
Q1 :- R(x), S(x) Q2 :- R(x), T(x)
W przypadku zapytania 1 baza wiedzy zwróci pełną odpowiedź, ponieważ przecinane są tylko predykaty , które same w sobie są kompletne. W przypadku Zapytania 2 nie można było wyciągnąć takiego wniosku, ponieważ predykat T jest potencjalnie niekompletny.
Zobacz też
-
^
„Integralność = Ważność + Kompletność” . 1989.
{{ cytuj dziennik }}: Cytuj dziennik wymaga|journal=( pomoc ) -
^
Levy, Alon (1996). „Uzyskanie pełnych odpowiedzi z niepełnych baz danych”.
{{ cite journal }}: Cite journal wymaga|journal=( pomoc )