Согласованность (базы знаний)
База знаний KB непротиворечива , если ее отрицание не является тавтологией .
Т.е. база знаний KB является непоследовательной (несогласованной) , если нет интерпретации , которая влечет за собой KB.
Пример противоречивой базы знаний:
КБ := { а, ¬а }
Согласованность с точки зрения баз знаний в основном аналогична естественному пониманию непротиворечивости .
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта базам данных статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |