Стаття присвячена аналізу принципів обробки логіко-математичних знань, які ведуть до побудови комп"ютерних систем з можливостями виконання логічних міркувань в середовищі формальної природної мови.
The paper is devoted to the analysis of principles of logical-mathematical knowledge processing leading to the construction of computer systems having capabilities for logical reasoning in formal natural language.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
