Последовательность (базы знаний) - Consistency (knowledge bases)

А база знаний КБ это последовательный если только его отрицание не является тавтология.

То есть, база знаний не согласована (не согласована) если только здесь нет интерпретация который влечет за собой КБ.

Пример противоречивой базы знаний:

KB: = {a, ¬a}

Согласованность с точки зрения баз знаний в основном такая же, как и естественное понимание последовательность.