Consistency (knowledge bases)
From HandWiki
Revision as of 05:51, 5 August 2021 by imported>PolicyEnforcerIA (attribution)
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. (2021) (Learn how and when to remove this template message) |
 |  |
