This paper uses an abstract form of knowledge representation and introduces knowledge lattices. A formal concept of knowledge system is defined independently of its implementation in two different but equivalent ways: first, as a free deductive system, and second, as an algebraic system with notation-denotation relation supplied with derivation rules. It analyses operations on knowledge systems. Subsequently, lattices of knowledge systems are described and used for analysis of solvability of goals.
Published in: Proc. International Conference on Artificial Intelligence Proc. WORLDCOMP’09: IC-AIŽ2009.
Lorents, P. & Tõugu, E. (2009). Lattices of knowledge systems. Proc. International Conference on Artificial Intelligence Proc. WORLDCOMP’09: IC-AIŽ2009, Las Vegas, CSREA Press, July 2009.