Abstract
This paper is the first one in a series of papers where we lay special attention on syntax and semantics in knowledge base theory. The main goal of the present paper is to set up all necessary mathematical background for the definition of a knowledge-base model which will be introduced in the next paper. We should emphasize that in these papers we develop a slightly different approach to the knowledge-base model than in the previous ones.
| Original language | English |
|---|---|
| Pages (from-to) | 1385-1402 |
| Number of pages | 18 |
| Journal | International Journal of Algebra and Computation |
| Volume | 28 |
| Issue number | 8 |
| DOIs | |
| State | Published - 1 Dec 2018 |
Bibliographical note
Publisher Copyright:© 2018 World Scientific Publishing Company.
Funding
Research of E. Aladova was partially supported by the Israel Science Foundation Grant Nos. 533/14 and 1207/12, 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
- Halmos category
- Knowledge-base model
- content of knowledge
- description of knowledge
- knowledge functor