Система дедуктивного логического вывода в исчислении предикатов первого порядка с унификацией функторов

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

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

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