Knowledge Transformation via Different Structures of Concepts and its Application in Argumentation Theory and Case-Based Reasoning
Dmitry E. Palchunov · 2021
The article is devoted to solving some problems of argumentation theory and case-based reasoning. For this purpose, we develop methods for transforming knowledge presented in various structures of concepts. The correspondence rules between concepts of different levels of generality are investigated. We use formal concept lattices to assess knowledge and test the equivalence of knowledge transformations. Based on Melchuk's theory “Meaningtext”, formal methods of extracting knowledge from natural language texts and representing the extracted knowledge are proposed. To formally represent domain case structures, we modify the predicates by adding special situation-constants to them. The concept of ontological homomorphism of algebraic systems is introduced, on the basis of which the similarity of cases is defined. These constructions are used to develop argumentation structures that use case-based reasoning.