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