Непротиворечивость знаний (noncontradiction knowledge) — свойство знаний не содержать противоречия фактов, фраз, предложений, абзацев и фрагментов текста друг другу. Интеллектуальная система обнаруживает локальные или глобальные противоречия и информирует пользователя о наличии таких противоречий. Локальные противоречия обычно «пропускаются» (настройка знаний на новые или дополнительные представления об объектах или их взаимосвязи), а глобальные противоречия приводят к прекращению процесса разрешения запроса и требуют пересмотра всего знания в данной конкретной области.
[Словарь понятий по информатике от Н до С. Семенов А. А. (Электронный ресурс). Режим доступа: http://asemenov77.narod.ru/, свободный]