Kalynychenko O. "Algebra of ideas as an apparatus of natural language semantics' formalization in artificial intelligence systems"

The thesis is dedicated to mining of the natural language structure formal description methods with the algebra of ideas help - mathematical apparatus built as algebro-logical analogue of the natural language. There are designed the structure of algebra of ideas - algebra carrier, its operation and axiomatics. The problems of entirety and uncancellability of an axiomatics of offered model are reviewed. Is demonstrated, that the algebra of ideas of any dimension exists and is unique to within isomorphism. The modified predicate model permitting to decide a problem of association of partial models, set, built on the basis of subsets, of ideas is designed. The problem of congruent models arising because the partial predicate and necessity of its hipping is resolved. Some relevant formal and pithy interpretations of algebra of ideas are reviewed. The program systems created on the basis of obtained theoretical outcomes, is applicated at the enterprises of Kharkov.