Транслятор языка первопорядковых логических формул в формате ТРТР в язык позитивно-образованных формул TPTP2PCF

14 сентября 2018
325
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Иркутская область, Иркутск
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201761392
Дата регистрации документа ИС 2017-04-04
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

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