Multi-Sorted Logic, Models, and Logical Geometry
- 作者: Aladova E.1, Gvaramia A.2, Plotkin B.3, Plotkin T.1
-
隶属关系:
- Department of Mathematics, Bar-Ilan University
- Abkhazian State University
- Department of Mathematics, Hebrew University of Jerusalem
- 期: 卷 214, 编号 6 (2016)
- 页面: 742-754
- 栏目: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/237504
- DOI: https://doi.org/10.1007/s10958-016-2811-4
- ID: 237504
如何引用文章
详细
Abstract. Let Θ be a variety of algebras, (H,Ψ, f) be a model, where H is an algebra from Θ, Ψ is a set of relation symbols ϕ, f is an interpretation of all the symbols ϕ in H. Let X0 be an infinite set of variables, Γ be the collection of all finite subsets in X0 (the collection of sorts), and \( \tilde{\varPhi} \) be the multi-sorted algebra of formulas. These data define a knowledge base KB(H,Ψ, f). In this paper, the notion of isomorphism of knowledge bases is considered. We give sufficient conditions that provide isomorphism of knowledge bases. We also study the problem of necessary and sufficient conditions for isomorphism of two knowledge bases.
作者简介
E. Aladova
Department of Mathematics, Bar-Ilan University
编辑信件的主要联系方式.
Email: aladovael@mail.ru
以色列, Ramat Gan, 52900
A. Gvaramia
Abkhazian State University
Email: aladovael@mail.ru
格鲁吉亚, Sukhumi
B. Plotkin
Department of Mathematics, Hebrew University of Jerusalem
Email: aladovael@mail.ru
以色列, Jerusalem, 91904
T. Plotkin
Department of Mathematics, Bar-Ilan University
Email: aladovael@mail.ru
以色列, Ramat Gan, 52900