luisafer 's Profile

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. Logical operators, such as And (conjunction), Or (disjunction), material implication and negation may be used to build it up from the atomic knowledge. Consequently, classical deduction can be used to reason about the knowledge in the knowledge base.