## Abstract

This paper is the second in a series of papers. Here special attention is given to the interaction between syntax and semantics in knowledge bases theory. The first paper includes preparatory material which allows to introduce in detail the given approach to a knowledge base model. The considered model of a knowledge base involves various ideas of universal algebra, algebraic logic and algebraic geometry that was introduced by B.I. Plotkin.The main novelty of this approach is that a knowledge base is considered as an algebraic structure. The main goal of this paper is to show that syntax and semantics are tightly connected in the constructed knowledge base model.

Original language | English |
---|---|

Title of host publication | Groups, Algebras and Identities |

Editors | Eugene Plotkin |

Publisher | American Mathematical Society |

Pages | 87-98 |

Number of pages | 12 |

ISBN (Print) | 9781470437138 |

DOIs | |

State | Published - 2019 |

Event | Research Workshop of the Israel Science Foundation on Groups, Algebras and Identities, 2016 - Jerusalem, Israel Duration: 20 Mar 2016 → 24 Mar 2016 |

### Publication series

Name | Contemporary Mathematics |
---|---|

Volume | 726 |

ISSN (Print) | 0271-4132 |

ISSN (Electronic) | 1098-3627 |

### Conference

Conference | Research Workshop of the Israel Science Foundation on Groups, Algebras and Identities, 2016 |
---|---|

Country/Territory | Israel |

City | Jerusalem |

Period | 20/03/16 → 24/03/16 |

### Bibliographical note

Publisher Copyright:© 2019 E. Aladova, T. Plotkin.

### Funding

Research of E. Aladova was partially supported by the Israel Science Foundation grants No. 533/14, No. 1207/12, by the Emmy Noether Institute and the Gelbart Institute for Mathematical Sciences of Bar-Ilan University.

Funders | Funder number |
---|---|

Emmy Noether Institute | |

Gelbart Institute for Mathematical Sciences of Bar-Ilan University | |

Israel Science Foundation | 1207/12, 533/14 |