Jump to content

Consistency (knowledge bases)

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Vervin (talk | contribs) at 09:38, 3 March 2010. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Stub icon

This logic-related article is a stub. You can help Wikipedia by expanding it.

Stub icon

This database-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Consistency_(knowledge_bases)&oldid=347480529"