Logic and Knowledge Bases

Logic and Knowledge Bases

J. Grant, J. Minker
Copyright: © 2011 |Pages: 12
DOI: 10.4018/978-1-59904-931-1.ch097
OnDemand:
(Individual Chapters)
Available
$37.50
Current Special Offers
No Current Special Offers
TOTAL SAVINGS: $37.50

Abstract

Knowledge bases (KBs) must be able to capture a wide range of situations. One must be able to represent and answer questions regarding indefinite information where it is not clear that there is a unique answer to a question. One must also represent and answer questions about negative information. We discuss a powerful way to represent such information, namely through reasoning about knowledge bases using logic.

Key Terms in this Chapter

Disjunctive Databases: A database that allows indefinite information.

Nonmonotonic: A type of system where the addition of new information may change the old information.

Datalog: A class of deductive databases that may contain various types of negation and disjunction.

Inference: Derivation using rules and assumptions.

Knowledge Base: An entity comprising facts, rules, and integrity constraints used for collecting and querying diverse types of information.

Integrity Constraint: A rule that must be satisfied by the database or knowledge base if it is consistent.

Description Logics: A class of logical formalisms for knowledge representation.

Deductive Databases: An extension of relational databases that allows relations to be implicitly defined by rules.

Implicit Knowledge: Knowledge not explicitly given in the knowledge base but derivable from it using various assumptions.

Complete Chapter List

Search this Book:
Reset