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

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

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

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

KB: = {a, ¬a}

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

Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.

Этот база данных -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.