Abstract
Knowledge base theory stimulates numerous applications of computer algebra and symbolic computations. The paper is aimed to explain how the general ideas of Galois theory work for knowledge bases and help to determine the criterion of knowledge bases informational equivalence. This criterion reduces the problem of informational equivalence of knowledge bases to the conjugacy problem for groups. We give a survey of recent results and outline prospective problems.
Original language | English |
---|---|
Pages (from-to) | 369-383 |
Number of pages | 15 |
Journal | Annals of Mathematics and Artificial Intelligence |
Volume | 64 |
Issue number | 4 |
DOIs | |
State | Published - Apr 2012 |
Keywords
- Algebraic model
- Informational equivalence
- Knowledge base
- Symmetry