HR (software) - HR (software)

Software pro lidské zdroje viz Systém řízení lidských zdrojů

HR je počítačový program které se automaticky tvoří matematický teorie hledáním posloupností čísel. Napsal to Simon Colton,[1]:34–36 a odvozuje svůj název od iniciál matematiků Godfrey Harold Hardy a Srinivasa Aiyangar Ramanujan.

HRL

HR tvoří základ pro umělá inteligence program HRL ("L" na počest Imre Lakatos ), vyvinutý Alison Pease, Simon Colton, Alan Smaill a John Lee.[2] [3]HRL generuje softwarové „studentské“ agenty, kterým jsou poskytovány informace, s nimiž se pokoušejí vytvářet závěry. Vyhodnocuje, jak „zajímavé“ jsou závěry, a posílá ty, které jsou dostatečně zajímavé, „učitelskému“ agentovi. Učitel organizuje skupinovou diskusi mezi studenty a může požadovat další úpravy domněnek.[1]:36-box "Znovuobjevení domněnky"[4]

Jedním z úspěšných výsledků HRL byl nezávislý vynález Goldbachova domněnka. „Studentští“ agenti, vzhledem k konceptu celých čísel a dělení, odvodili koncept „sudých čísel“ a „součtu dvou prvočísel“, poté vytvořili domněnku „všechna sudá čísla lze vyjádřit jako součet dvou prvočísel.“ „Učitel“ podnítil další rozvoj a jeden „student“ našel protiklad (číslo 2); HRL vhodně upravil domněnku.[1]:36-box "Znovuobjevení domněnky"

Reference

  1. ^ A b C Brooks, Michael (2009). „Rise of the robogeeks“. Nový vědec. 201 (2697). doi:10.1016 / S0262-4079 (09) 60588-1. ISSN  0262-4079.
  2. ^ Alison Pease. „Zdůvodnění ve stylu Lakatos“. Archivovány od originál dne 27. listopadu 2016.
  3. ^ Alison Pease. Výpočtový model uvažování ve stylu Lakatos (disertační práce). Archivovány od originál dne 12. března 2016.
  4. ^ „Průvodce softwarem HR“. Pondělí 27. dubna 2020