Abstract
Knowledge bases theory provides an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. The main objectives of this paper are logically-geometrically equivalent and LG-isotypic knowledge bases. We will see that these notions give us a good characterization of knowledge bases.
| Original language | English |
|---|---|
| Title of host publication | Outstanding Contributions to Logic |
| Publisher | Springer Science and Business Media B.V. |
| Pages | 3-25 |
| Number of pages | 23 |
| DOIs | |
| State | Published - 2021 |
Publication series
| Name | Outstanding Contributions to Logic |
|---|---|
| Volume | 19 |
| ISSN (Print) | 2211-2758 |
| ISSN (Electronic) | 2211-2766 |
Bibliographical note
Publisher Copyright:© 2021, Springer Nature Switzerland AG.
Funding
Acknowledgements Research of E. Aladova was partially supported by the Israel Science Foundation, grant No. 1623/16.
| Funders | Funder number |
|---|---|
| Israel Science Foundation | 1623/16 |
Keywords
- Algebraic logic
- Category
- Equivalence of knowledge bases
- Equivalence of models
- Galois correspondence
- Halmos algebras
- Knowledge base
- Semantics
- Syntax
- Ultrafilter