Abstract
In every variety of algebras Θ, we can consider its logic and its algebraic geometry. In previous papers, geometry in equational logic, i.e., equational geometry, has been studied. Here we describe an extension of this theory to first-order logic (FOL). The algebraic sets in this geometry are determined by arbitrary sets of FOL formulas. The principal motivation of such a generalization lies in the area of applications to knowledge science. In this paper, the FOL formulas are considered in the context of algebraic logic. For this purpose, we define special Halmos categories. These categories in algebraic geometry related to FOL play the same role as the category of free algebras Θ0 play in equational algebraic geometry. This paper consists of three parts. Section 1 is of introductory character. The first part (Secs. 2–4) contains background on algebraic logic in the given variety of algebras Θ. The second part is devoted to algebraic geometry related to FOL (Secs. 5–7). In the last part (Secs. 8–9), we consider applications of the previous material to knowledge science.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
F. Bancillon, “On the completeness of query language for relational databases,” Lect. Notes Comput. Sci., 64, 112–123 (1978).
E. Beniaminov, “Galois theory of complete relational subalgebras of algebras of relations, logical structures, symmetry,” NTI, Ser. 2, 237–261 (1980).
A. Bulatov and P. Jeavons, “An algebraic approach to multi-sorted constraints,” Proc. CP’03, to appear (2004).
B. Ganter and G. Mineau, “Ontology, metadata, and semiotics,” in: Lect. Notes AI, 1867, Springer-Verlag (2000), pp. 55–81.
P. R. Halmos, Algebraic Logic New York (1969).
L. Henkin, J. D. Monk, and A. Tarski, Cylindric Algebras, North-Holland (1985).
P. Jeavons, D. Cohen, and J. Pearson, “Constraints and universal algebra,” Ann. Math. Artificial Intelligence, 24, 51–67 (1999).
M. Krasner, “Generalisation et analogues de la theorie de Galois,” Comptes Rendus de Congress de la Victorie de l’Ass. Franc. pour l’Avancem. Sci., 54–58 (1945).
D. Lenat, Steps to Sharing Knowledge, IOS Press (1995).
S. MacLane, Categories for Working Mathematicians, Springer-Verlag (1971).
D. Nikolova and B. Plotkin, “Some notes on universal algebraic geometry,” Proc. Kurosh Algebraic Conference, Moscow 1998, Walter de Gryiter (1999).
B. I. Plotkin, Universal Algebra, Algebraic Logic, and Databases, Kluwer (1993).
B. I. Plotkin, “Algebra, categories, and databases,” in: Handbook of Algebra, 2, Elsevier-Springer-Verlag (1999), pp. 81–148.
B. I. Plotkin, Seven Lectures in Universal Algebraic Geometry, Preprint, ArXiv:math/GM/0204245 (2002).
T. Plotkin, “Relational databases equivalence problem,” in: Adv. Databases Information Systems, Springer-Verlag (1996), pp. 391–404.
B. I. Plotkin and T. Plotkin, “Geometrical aspect of databases and knowledge bases,” in: Algebra Universalis, 46, Birkhäuser, Basel (2001), pp. 131–161.
T. Plotkin and M. Knyazhansky, Informational Equivalence of Knowledge Bases Verification, Scientific Israel, to appear (2004).
J. Sowa, Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing, Pacific Grove (2000).
Author information
Authors and Affiliations
Additional information
__________
Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 22, Algebra and Geometry, 2004.
Rights and permissions
About this article
Cite this article
Plotkin, B. Algebraic geometry in first-order logic. J Math Sci 137, 5049–5097 (2006). https://doi.org/10.1007/s10958-006-0288-2
Issue Date:
DOI: https://doi.org/10.1007/s10958-006-0288-2