Żywa wiedza
Żywa wiedza odnosi się do określonego rodzaju reprezentacji wiedzy .
Ideą żywej bazy wiedzy jest uzyskanie z niej prostej interpretacji – implikuje ona interpretację. W ten sposób każde zapytanie do takiej bazy wiedzy można zredukować do zapytania podobnego do bazy danych .
Propozycjonalna baza wiedzy
Zdaniowa baza wiedzy KB jest żywa , jeśli KB jest kompletnym i spójnym zbiorem literałów ( w pewnym słownictwie).
Taka baza wiedzy ma tę właściwość, że jako dokładnie jedna interpretacja, czyli interpretacja jest niepowtarzalna. Sprawdzenie implikacji zdania można po prostu podzielić na jego literały, na które można odpowiedzieć za pomocą prostego sprawdzenia KB, podobnego do bazy danych.
Baza wiedzy pierwszego rzędu
Baza wiedzy pierwszego rzędu KB jest żywym iff dla pewnego skończonego zbioru dodatnich, wolnych od funkcji literałów podstawowych KB + ,
- KB = KB + ∪ Negacje ∪ Zamknięcie domeny ∪ Unikalne nazwy,
w wyniku czego
- Negacje ≔ { ¬p | p jest atomowe i KB ⊭ p },
- DomainClosure ≔ { (c ja ≠ c j ) | c i , c j to różne stałe },
- UniqueNames ≔ { ∀x: (x = c 1 ) ∨ (x = c 2 ) ∨ ..., gdzie c i to wszystkie stałe w KB + }.
Wszystkie interpretacje żywej bazy wiedzy pierwszego rzędu są izomorficzne.
Zobacz też