An Algebraic Approach to Knowledge Bases Informational Equivalence

Details An Algebraic Approach to Knowledge Bases Informational Equivalence An Algebraic Approach to Knowledge Bases Informational Equivalence

2003-12-23

arxiv.org/abs/math/0312428v1

Mathematics

General Mathematics

34pp

Scientific paper

In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge bases. These notions are defined for the fixed subject of knowledge. The key notion of informational equivalence of two knowledge bases is introduced. We use the idea of equivalence of categories in this definition. We prove that for finite models there is a clear way to determine whether the knowledge bases are informationally equivalent

Affiliated with

Also associated with

No associations

Rating

An Algebraic Approach to Knowledge Bases Informational Equivalence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Algebraic Approach to Knowledge Bases Informational Equivalence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Algebraic Approach to Knowledge Bases Informational Equivalence will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-323353