Syntax versus semantics in knowledge bases – I

DOI10.1142/S0218196718400015zbMath1405.68372OpenAlexW2884503559MaRDI QIDQ4611332

E. V. Aladova

Publication date: 18 January 2019

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196718400015

zbMATH Keywords

content of knowledgedescription of knowledgeHalmos categoryknowledge functorknowledge-base model

Mathematics Subject Classification ID

Knowledge representation (68T30) Applications of universal algebra in computer science (08A70) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Universal algebraic geometry: syntax and semantics ⋮ Logically automorphically equivalent knowledge bases models ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the utility of Robinson-Amitsur ultrafilters. II
• Isotyped algebras
• Multi-sorted logic and logical geometry: some problems.
• Algebraic geometry in first-order logic
• Model theory
• Automorphisms of the category of free Lie algebras
• Geometrical aspect of databases and knowledge bases.
• Algebraic geometry over algebraic structures. II: Foundations
• Isotypeness of models and knowledge bases equivalence
• Model Theory
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Seven lectures on universal algebraic geometry
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• Algebras with a Scheme of Operators