Система дедуктивного логического вывода в исчислении предикатов первого порядка с унификацией функторов
Седов Дмитрий Владимирович
14 сентября 2018
336
| Предметная область | — |
| Отрасли по ОКВЭД | — |
| Страна, регион, город | Российская Федерация, Кировская область, Киров |
| Отличия от конкурентов | — |
| Вид документа об охране ИС | программа для ЭВМ |
| Номер документа ИС | 200861003 |
| Дата регистрации документа ИС | 2008-11-08 |
| Необходимые инвестиции для внедрения | договорная |
| Сроки внедрения | — |
| Стоимость предоставления технологии | договорная |
| Наличие экспертного заключения | Нет |
Польза для потенциального потребителя
Программа предназначена для обучения студентов высшего профессионального образовательного учреждения методам решения логических задач, построения баз знаний в логике предикатов первого порядка и декларативного программирования. На основе сформированной в виде текстового файла базы знаний и цели логического вывода, программа осуществляет дедуктивный логический вывод методом деления дизъюнктов. Программа может быть использования и в других областях, требующих проведения логического вывода.