Use of predicate categories for modelling of operation of the semantic analyzer of the linguistic processor

Abstract

The task of analytic-synthetic process of text information cannot be solved without deep knowledge about the structure of language, without using a deep linguistic processor, processing morphology and syntax as well as semantics of language. On the stage of semantic analysis methods and algorithms of the theory of categories and predicate algebra are suggested to be used for defining connections between informational objects, which are in different superphrases unities, and referring them to description or consideration of one theme or one event. The linear logical operators were used for extracting a semantic meaning of a higher level language system from semantic meanings of the preceding level of a language system.

Building of the logic network of the information area of the corporation

“…Indicating the states of all the nodes of the logical net at a given moment of time we get the state of the net at the same moment of time [5].…”