Cyber Defence Library

Lattices of Knowledge Systems

Lattices of Knowledge Systems

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.