An Algebraic Approach to Knowledge Bases Informational Equivalence
Plotkin, B.; Plotkin, T.;
Subject: Mathematics - General Mathematics | Mathematics - Category Theory | 08A70, 03G99,16B70,03C05
In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge bases. These notions are defined for the fi... View more
[BJ] Bulatov A., Jeavons, P.,, An algebraic approach to multi-sorted constraints, Proceedings of CP'03, to appear (2004), 15pp.
[JCP] Jeavons, P., Cohen, D.,; Pearson, J., Constraints and universal algebra, Ann. Math. Artificial Intelligence 24, 51-67.
[G] Ganter B., Mineau G., Ontology, metadata, and semiotics, vol. 1867, Lecture Notes in AI, Springer-Verlag, 2000, pp. 55-81.
[H] Halmos P.R., Algebraic logic, New York, 1969.
[HMT] Henkin L., Monk J. D., Tarski A., Cylindric Algebras, North-Holland Publ. Co., 1985.
Mars. IOS Press, 1995.
[ML] MacLane S., Categories for the working mathematicians, Springer, 1971.
[NP] Nikolova D., Plotkin B., Some Notes on Universal Algebraic Geometry, Proc. of Int. Algebraic Conference on the Occasion of 90th Birtday of A.G. Kurosh, Moscow 1998, Walter de Gryiter, (1999,), 237-261.