Základy znalostných systémov
University textbooks present the basics of knowledge systems, which are divided into two parts. The first part of the publication is devoted to the basis of Formal Concept Analysis, ie the method of data analysis, knowledge representation and information processing, which is based on the formalization of the concept. In the second part we deal with the basics of logic programming, procedural semantics of logic programming, ie programs - theories, questions, SLD-derivation, SLD-tree, search strategies. University textbooks are intended for students of master's degree programs in computer science.
Download e-book for free (pdf)