Індекс рубрикатора НБУВ: З810.2

Рубрики:

Теорія мереж

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 

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

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

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

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

Рассмотрена разработка программной системы русско-украинско-английского терминологического словаря. Входными данными являются отсканированные и распознанные документы в формате MSWord. Проанализированы ошибки, возникающие при синтаксическом анализе входных данных, и указаны пути их устранения при помощи регулярных выражений. Приведена и детально описана схема лексикографической базы данных словаря, описаны классы модели данных и классы модели представления системы. Кроме этого, представлено подробное описание программной системы с точки зрения пользователя, а также обозначены перспективы использования как самого словаря, так и методов его построения. Программная система построена с использованием шаблона проектирования Model-View-ViewModel. Благодаря использованию данного шаблона интерфейс пользователя отделён от логики программы, что позволяет осуществлять независимые изменения отдельных частей программной системы. Разработанная программная система позволяет редактировать, наполнять и таким образом создавать новые тематические переводные электронные словари. Преимуществом системы является равноправие языков, т.е. в каждом отдельном случае пользователь назначает сам какой из языков будет главным.