RH (logiciel) - HR (software)
- Pour le logiciel de ressources humaines, voir Système de gestion des ressources humaines
HR est un programme informatique qui forme automatiquement des théories mathématiques en recherchant des séquences de nombres. Il a été écrit par Simon Colton et tire son nom des initiales des mathématiciens Godfrey Harold Hardy et Srinivasa Aiyangar Ramanujan .
HRL
Les RH constituent la base du programme d' intelligence artificielle HRL (le "L" en l'honneur d' Imre Lakatos ), développé par Alison Pease, Simon Colton , Alan Smaill et John Lee. HRL génère des agents "étudiants" logiciels, qui reçoivent des informations avec lesquelles ils tentent de faire des inférences . Il évalue à quel point les inférences sont « intéressantes » et envoie celles qui sont suffisamment intéressantes à un agent « enseignant ». L'enseignant organise une discussion de groupe entre les élèves et peut demander d'autres modifications des conjectures.
Un résultat réussi de HRL a été l'invention indépendante de la conjecture de Goldbach . Les agents "étudiants", étant donné le concept d'entiers et de division, ont dérivé le concept de "nombres pairs" et "la somme de deux nombres premiers", puis ont généré la conjecture "tous les nombres pairs peuvent être exprimés comme la somme de deux nombres premiers". Le « professeur » a suscité un développement ultérieur et un « élève » a trouvé un contre-exemple (le numéro 2) ; HRL a modifié la conjecture de manière appropriée.
Les références
 |
Cet article de logiciel scientifique est un bout . Vous pouvez aider Wikipedia en l' étendant . |