Tractatus on the knowledge approximation

The idea of knowledge approximation is naturally rooted in the usual examples of approximation in our experience. More abstract approximation, at the levels of syntactic structures representing knowledge, is becoming a need in the existing knowledge management, addressing a variety of important issues. Here we propose a method and its implementation, which generalizes the unification method to the syntax components for which the classic unification is not performed, up to the second order level (variables for function and predicate symbols allowed). In this way we can naturally talk on the knowledge approximation and similar concepts dispersed in the broad class of contexts.