Gvozdins'ka N. Predicative models of logical spaces in knowledge representation systems

The boolean and predicative models of vectoric logical spaces are created in the present work. The grafical interpretation of elements and operations over them to the pradicative models as a gipercubes, as a switching circuit with one exit and several entres and as structures of natural language are proposed. This interpretation gives ability to use these models of logical spaces as a knowledge representation models for knowledge are representated by natural language. The algebraic universe of these models are prooved. This result gives ability to modify the elements of different local algebras as elements of these models of logical spaces. The software LSPACE are created and introduced on base using this result. The software LSPACE was used to creation intellegent decision support system.