This system is means for creation of a semantic network for construction, storage and processing of logic models. The network uses object-oriented methodology. The network consists of classes, objects, links, operations. By means of this network it is possible to create graf - logic models and to make operations with them. The system allows to carry out partial or full abstraction of models, thus keeping their integrity and reliability. The system also potentially allows to make classification of models, in the presence of some initial experience.
Though now the system looks as the next realisation of the theory of semantic networks, despite it, it should be considered as some language and the programming environment. It is possible to design any type, to describe its behaviour and then to use. It is possible to develop system so that it has turned in framework, having realised typical classes of objects and operation with them then there is possible a construction of almost applicable models. I wished to use here a word "Algorithm", but the logic model as a whole is not algorithm. In a biological platform where logic models considered here are formed, in general it is impossible to divide hardware and software. The created system is attempt to model logic of reason at accessible technological level.... read more