HR (программное обеспечение)

HR — это компьютерная программа , которая автоматически формирует математические теории путем поиска последовательностей чисел. Его написал Саймон Колтон . ^[1]^: 34–36 и получил свое название от инициалов математиков Годфри Гарольда Харди и Шринивасы Айянгара Рамануджана .

HRЛ

HR составляет основу искусственного интеллекта программы HRL («L» в честь Имре Лакатоса ), разработанной Элисон Пиз, Саймоном Колтоном , Аланом Смайлом и Джоном Ли. ^[2]^[3] HRL генерирует программные «студентские» агенты, которым предоставляется информация, с помощью которой они пытаются сделать выводы . Он оценивает, насколько «интересны» выводы, и отправляет те, которые достаточно интересны, агенту-учителю. ^[4] Учитель организует групповую дискуссию среди учащихся и может потребовать дальнейшей модификации предположений. ^[1]^{: 36-Box «Изобретение гипотезы заново»}

Одним из успешных результатов HRL стало независимое изобретение гипотезы Гольдбаха . Агенты-«студенты», учитывая понятие целых чисел и деления, вывели понятия «четных чисел» и «суммы двух простых чисел», затем выдвинули гипотезу «все четные числа могут быть выражены как сумма двух простых чисел». «Учитель» подсказал дальнейшее развитие, и один «ученик» нашел контрпример (цифра 2); HRL соответствующим образом модифицировал гипотезу. ^[1]^{: 36-Box «Изобретение гипотезы заново»}

Ссылки

^ Jump up to: ^а ^б ^с Брукс, Майкл (2009). «Восстание робогиков». Новый учёный . 201 (2697). дои : 10.1016/S0262-4079(09)60588-1 . ISSN 0262-4079 .
^ Элисон Пиз. «Рассуждения в стиле Лакатоса» . Архивировано из оригинала 27 ноября 2016 года.
^ Элисон Пиз. Вычислительная модель рассуждений в стиле Лакатоса (кандидатская диссертация) . Архивировано из оригинала 12 марта 2016 года.
^ «Программное обеспечение для управления персоналом и расчета заработной платы — настоящее универсальное решение» . info.microkeeper.com.au . Проверено 19 июля 2024 г.

Эта статья о математическом программном незавершена обеспечении . Вы можете помочь Википедии, расширив ее .

[hrns-1] Jump up to: ^а ^б ^с Брукс, Майкл (2009). «Восстание робогиков». Новый учёный . 201 (2697). дои : 10.1016/S0262-4079(09)60588-1 . ISSN 0262-4079 .

[2] Элисон Пиз. «Рассуждения в стиле Лакатоса» . Архивировано из оригинала 27 ноября 2016 года.

[3] Элисон Пиз. Вычислительная модель рассуждений в стиле Лакатоса (кандидатская диссертация) . Архивировано из оригинала 12 марта 2016 года.

[4] «Программное обеспечение для управления персоналом и расчета заработной платы — настоящее универсальное решение» . info.microkeeper.com.au . Проверено 19 июля 2024 г.

[1]

[2]

[3]

[4]