A knowledge base (abbreviated KB, kb or Δ[1][page needed]) is a special kind of database for knowledge management, providing the means for the computerized collection, organization, and retrieval of knowledge. Knowledge bases are categorized into two major types: - Machine-readable knowledge bases store knowledge in a computer-readable form, usually for the purpose of having automated deductive reasoning applied to them. They contain a set of data, often in the form of rules that describe the knowledge in a logically consistent manner. An ontology can define the structure of stored data - what types of entities are recorded and what their relationships are. Logical operators, such as And (conjunction), Or (disjunction), material implication and negation may be used to build it up from simpler pieces of information. Consequently, classical deduction can be used to reason about the knowledge in the knowledge base. Some machine-readable knowledge bases are used with artificial intelligence, for example as part of an expert system that focuses on a domain like prescription drugs or customs law. Such knowledge bases are also used by the semantic web.
[edit] See also Informational formats - ^ Argumentation in Artificial Intelligence by Iyad Rahwan, Guillermo R. Simari
[edit] External links | Semantic Web | | | Background | | | | Sub-topics | | | | Applications | | | | Related Topics | | | | Standards | | | | Computable knowledge | | Topics and Concepts | | | Proposals and Implementations | Zairja • Ars Magna ( Ramon Llull, 1300) • An Essay towards a Real Character and a Philosophical Language ( John Wilkins, 1688) • Calculus ratiocinator & Characteristica universalis ( Gottfried Leibniz, 1700) • Dewey Decimal Classification ( Melvil Dewey, 1876) • Begriffsschrift ( Gottlob Frege, 1879) • Mundaneum ( Paul Otlet & Henri La Fontaine, 1910) • Logical atomism ( Bertrand Russell, 1918) • Tractatus Logico-Philosophicus ( Ludwig Wittgenstein, 1921) • Hilbert's program ( David Hilbert, 1920s) • Incompleteness theorem ( Kurt Gödel, 1931) • Memex ( Vannevar Bush, 1945) • Cyc (1984) • True Knowledge (2007) • Wolfram Alpha ( Stephen Wolfram, 2009) | | | In fiction | | | |