Формальное описание логического пространства

Abstract

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

Дістала подальшого розвитку теорія логічного поля, логічного векторного простору, що дає можливість визначити клас задач, які розв’язують за допомогою лінійних логічних перетворень. Наведено предикатну інтерпретацію логічного простору, що служить в свою чергу проміжним етапом між формалізацією природномовної задачі та її програмною реалізацією.

The theory of logical field, logical vector space are developed. Its allow to define the class of tasks, wich we can solve using linear logical transformations. The predicate interpretation of logical space is leaded. It is a milestone in formalization of natural language problem and its software support.