Combining Knowledge Bases Consisting of First Order Theories

Abstract

This document discusses the construction of an expert system by encoding the knowledge of different experts. Suppose the knowledge provided by each expert is encoded into a knowledge base. Then the process of combining the knowledge of these different experts is an important and non-trivial problem. We study this problem here when the expert systems are considered to be first order theories. We present techniques for resolving inconsistencies in such knowledge bases. We also provide algorithms for implementing these techniques.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1990
Accession Number
ADA232090

Entities

People

  • Chitta Baral
  • Jack Minker
  • Sarit Kraus
  • V. S. Subrahmanian

Organizations

  • University of Maryland

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Coding
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Construction
  • Databases
  • Expert Systems
  • Mathematics
  • Notation
  • Plastic Explosives
  • Theoretical Computer Science
  • Universities

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence