一貫性（知識ベース）

知識ベースKB は、その否定がトートロジーでない場合に限り、一貫しています 。

つまり、知識ベース KB は、 KB を含意する解釈が存在しない場合に限り、矛盾している (一貫していない) ことになります。

一貫性のない知識ベースの例:

KB := {a, ¬a}

知識ベースにおける一貫性は、一貫性の自然な理解とほぼ同じです。