В предлагаемой работе развивается формальный подход к семантической интерпретации текстов научно-технического стиля на основе вычислительной процедуры, которая представляется в виде семантической схемы. Для этого вводятся операция контекстного вычисления смысла, контекстная связка, представления фрагментов текста в обратной польской записи. Предлагается семантическую близость фрагментов текстов определять на основе результатов сравнения их семантических схем, используя сконструированные в работе критерий семантической близости и процедуру сравнения. Показывается, что семантический критерий близости включает в себя в качестве частного случая традиционный частотный критерий. Кроме того, в предлагаемой работе конструируется лингвистическая переменная близости документов, правила вывода и процедура включения релевантных документов в информационную выдачу. Семантическое сравнение иллюстрируется конкретными примерами, демонстрирующими результативность предлагаемого подхода.

The paper presents a formal approach to the semantic interpretation of scientific and technical texts. The identification of text semantics is performed by means of a computational procedure represented as a semantic scheme. For this purpose, the special concepts such as operation of semantic value context definition, context bunch as well as text chunk representation as expressions of Reverse Polish Notation were introduced. The approach suggests defining semantic similarity of text chunks by results of comparison of their semantic schemes, by applying the criterion of semantic similarity and comparison procedure. In this paper we show that semantic similarity criteria include a traditional frequency criterion as a special case. Furthermore, we constructed a linguistic variable of documents similarity, decision rules and selection procedure of relevant documents. Also, we provide semantic comparisons of text chunks and illustrate them in the examples. These examples show the performance of the described approach.