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

Информацию о программном обеспечении для персонала см. Система управления человеческими ресурсами

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

HRL

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

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

Рекомендации

1. Брукс, Майкл (2009). «Восстание робогиков». Новый ученый. 201 (2697). Дои:10.1016 / S0262-4079 (09) 60588-1. ISSN  0262-4079.
2. Элисон Пиз. «Рассуждение в стиле Лакатоша». Архивировано из оригинал 27 ноября 2016 г.
3. Элисон Пиз. Вычислительная модель рассуждений в стиле Лакатоша (кандидатская диссертация). Архивировано из оригинал 12 марта 2016 г.
4. «Руководство по программному обеспечению HR». Понедельник, 27 апреля 2020 г.