Программа для реализации алгоритма решения задачи "The Hardest Logic Puzzle Ever"

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

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

В программе реализовано алгоритмическое решение задачи "The Hardest Logic Puzzle Ever" (George Boolos. The Hardest Logic Puzzle Ever // Harvard Review of Philosophy. 1996. Vol. 6. P. 62). Вычисление графа последовательностей шагов решения включает логические преобразования, разрешающие неопределенности: а) неизвестность атрибута субъекта, которому задан вопрос, б) неопределенность ответов субъекта «случая» и в) неизвестность кодировки слов ответов «ja» и «da». Назначение программы: компонент решателя сложных логических задач в нечеткой постановке. Область применения: интеллектуальные компьютерные технологии. Функциональные возможности: решение класса задач Р. Смаллиана; применение для решения практических задач; реализация алгоритма в аппаратном исполнении (микросхемном).