Spójność (bazy wiedzy)

Baza wiedzy KB jest spójna , jeśli jej zaprzeczenie nie jest tautologią .

Tj. Baza wiedzy KB jest niespójna (niespójna), jeśli nie ma interpretacji , która pociąga za sobą KB.

Przykład niespójnej bazy wiedzy:

KB := { a, ¬a }

Spójność w zakresie baz wiedzy jest w większości taka sama jak naturalne rozumienie spójności .