Konzistence (znalostní báze) - Consistency (knowledge bases) - Wikipedia

A znalostní báze KB je konzistentní iff jeho negace není a tautologie.

Tj. Znalostní báze KB je nekonzistentní (nekonzistentní) iff tady není žádný výklad který znamená KB.

Příklad nekonzistentní znalostní báze:

KB: = {a, ¬a}

Konzistence, pokud jde o znalostní báze, je většinou stejná jako přirozené chápání konzistence.