An algebraic approach to knowledge base models informational equivalence

B. Plotkin, T. Plotkin

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


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.

Original languageEnglish
Pages (from-to)109-134
Number of pages26
JournalActa Applicandae Mathematicae
Issue number1-3
StatePublished - Dec 2005


  • Algebraic set
  • Category
  • First order logic
  • Halmos algebra
  • Knowledge
  • Knowledge base model
  • Knowledge category
  • Knowledge equivalence


Dive into the research topics of 'An algebraic approach to knowledge base models informational equivalence'. Together they form a unique fingerprint.

Cite this