Abstract
This paper considers interrelations between universal algebra, algebraic logic, geometry and computer science. The key idea of the paper is to show that problems, coming from computer science, require introducing of highly non-trivial mathematical structures. On the other hand, algebraic models in computer science give deeper understanding of problems essence. This general idea is illustrated on the example of knowledge bases. Theorems concerning the knowledge base equivalence problem are formulated.
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Editors | Rusins Freivalds |
| Publisher | Springer Verlag |
| Pages | 35-44 |
| Number of pages | 10 |
| ISBN (Print) | 9783540446699 |
| DOIs | |
| State | Published - 2001 |
| Event | 13th International Symposium on Fundamentals of Computation Theory, FCT 2001 - Riga, Latvia Duration: 22 Aug 2001 → 24 Aug 2001 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 2138 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 13th International Symposium on Fundamentals of Computation Theory, FCT 2001 |
|---|---|
| Country/Territory | Latvia |
| City | Riga |
| Period | 22/08/01 → 24/08/01 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 2001.