Abstract
We study knowledge bases as a certain algebraic and model-Theoretical structure. Algebraic model of a knowledge base allows to distinguish some algebraic and logical invariants of knowledge bases. In particular, our interest is to find out how these invariants are related to the informational equivalence of knowledge bases.
Original language | English |
---|---|
Article number | 2150148 |
Journal | Journal of Algebra and its Applications |
Volume | 20 |
Issue number | 8 |
DOIs | |
State | Published - Aug 2021 |
Bibliographical note
Publisher Copyright:© 2021 World Scientific Publishing Company.
Funding
We are very grateful to the anonymous reviewer for important remarks and suggestions. Research of E. Aladova was partially supported by the Israel Science Foundation grants No. 533/14, No. 1207/12, by the Emmy Noether Institute and by Gelbart Institute for Mathematical Sciences, Department of Mathematics, Bar-Ilan University.
Funders | Funder number |
---|---|
Gelbart Institute for Mathematical Sciences | |
Department of Mathematics, Bar-Ilan University | |
Israel Science Foundation | 1207/12, 533/14 |
Keywords
- Knowledge base model
- automorphically equivalent knowledge bases
- equivalence problem
- informationally equivalent knowledge bases