Consistency (knowledge bases)

A knowledge base KB is consistent iff its negation is not a tautology. I.e., a knowledge base KB is inconsistent (not consistent) iff there is no interpretation which entails KB.

Example of an inconsistent knowledge base:

KB := { a, ¬a }

Consistency in terms of knowledge bases is mostly the same as the natural understanding of consistency.

This article does not cite any external source. HandWiki requires at least one external source. See citing external sources. Please help improve this article. Unsourced material may be removed in future. Find sources: "Consistency" knowledge bases – news · newspapers · books · scholar · JSTOR (2021) (Learn how and when to remove this template message)

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/Consistency (knowledge bases). Read more