РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016617277

Дата регистрации: 29.06.2016

Номер и дата поступления заявки: 2016612100 14.03.2016

Дата публикации: 20.07.2016
	
Автор:
Суворов Владимир Викторович

Правообладатель:
Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский государственный университет имени М.В.Ломоносова» (МГУ)

Название программы для ЭВМ:
«Программа для реализации алгоритма решения задачи "The Hardest Logic Puzzle Ever"»

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

Тип реализующей ЭВМ: Компьютер, поддерживающий среду Eclipse для программирования на Java

Язык программирования: Java

Вид и версия операционной системы: Windows 8

Объем программы для ЭВМ: 20 Кб