Logically automorphically equivalent knowledge bases models

Elena Aladova, Tatjana Plotkin

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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 languageEnglish
Article number2150148
JournalJournal of Algebra and its Applications
Volume20
Issue number8
DOIs
StatePublished - 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.

FundersFunder number
Gelbart Institute for Mathematical Sciences
Department of Mathematics, Bar-Ilan University
Israel Science Foundation1207/12, 533/14

    Keywords

    • Knowledge base model
    • automorphically equivalent knowledge bases
    • equivalence problem
    • informationally equivalent knowledge bases

    Fingerprint

    Dive into the research topics of 'Logically automorphically equivalent knowledge bases models'. Together they form a unique fingerprint.

    Cite this