Consistency (knowledge bases)

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.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Consistency (disambiguation) — Consistency can refer to: Consistency (negotiation), the psychological need to be consistent with prior acts and statements Consistency , an 1887 speech by Mark Twain The consistency criterion, a measure of a voting system requiring that where… …   Wikipedia

  • Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… …   Wikipedia

  • Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B …   Wikipedia

  • Integrated business planning — (IBP) refers to the technologies, applications and processes of connecting the planning function across the enterprise to improve organizational alignment and financial performance. IBP accurately represents a holistic model of the company in… …   Wikipedia

  • Scientific modelling — Example of scientific modelling. A schematic of chemical and transport processes related to atmospheric composition. Scientific modelling is the process of generating abstract, conceptual, graphical and/or mathematical models. Science offers a… …   Wikipedia

  • biblical literature — Introduction       four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha.       The Old… …   Universalium

  • Western architecture — Introduction       history of Western architecture from prehistoric Mediterranean cultures to the present.       The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… …   Universalium

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

  • china — /chuy neuh/, n. 1. a translucent ceramic material, biscuit fired at a high temperature, its glaze fired at a low temperature. 2. any porcelain ware. 3. plates, cups, saucers, etc., collectively. 4. figurines made of porcelain or ceramic material …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”