A
knowledge base KB is consistent ''
iff
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicon ...
'' its negation is not a
tautology.
I.e., a knowledge base KB is inconsistent (not consistent)
iff
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicon ...
there is no
interpretation
Interpretation may refer to:
Culture
* Aesthetic interpretation, an explanation of the meaning of a work of art
* Allegorical interpretation, an approach that assumes a text should not be interpreted literally
* Dramatic Interpretation, an event ...
which
entails KB.
Example of an inconsistent knowledge base:
KB :=
Consistency in terms of knowledge bases is mostly the same as the natural understanding of
consistency.
Knowledge representation
{{database-stub