An Algebraic Approach to Knowledge Base Models Informational Equivalence

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 base models. These notions are defined for the fixed subject of knowledge...

Full description

Saved in:
Bibliographic Details
Published inActa applicandae mathematicae Vol. 89; no. 1-3; pp. 109 - 134
Main Authors Plotkin, B., Plotkin, T.
Format Journal Article
LanguageEnglish
Published Dordrecht Springer Nature B.V 01.12.2005
Subjects
Algebra
Categories
Computer science
Equivalence
Geometry
Knowledge
Knowledge representation
Logic
Mathematical analysis
Mathematical models
Mathematics
Semantics
Studies
Online AccessGet full text
ISSN0167-8019
1572-9036
DOI10.1007/s10440-005-9008-z

Cover

More Information
Summary: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 base models. These notions are defined for the fixed subject of knowledge. The key notion of informational equivalence of two knowledge base models 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 base models are informationally equivalent.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ISSN:0167-8019
1572-9036
DOI:10.1007/s10440-005-9008-z