| 词条 | HR (software) |
| 释义 |
For human resources software see Human resource management system HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton,[1] and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan. HRLHR forms the basis for the artificial intelligence program HRL (the "L" in honour of Imre Lakatos), developed by Alison Pease, Simon Colton, Alan Smaill and John Lee.[2] HRL generates software "student" agents, which are given information with which they attempt to make inferences. It evaluates how "interesting" the inferences are and sends those that are sufficiently interesting to a "teacher" agent. The teacher arranges group discussion amongst the students and may request further modification of conjectures.[3] One successful result by HRL was the independent invention of Goldbach's conjecture. Student agents, given the concept of integers and division, derived the concept of "even numbers" and "the sum of two primes", then generated the conjecture "all even numbers can be expressed as the sum of two primes." The teacher prompted further development and one student found a counter-example (the number 2) and HRL modified the conjecture appropriately.[3] References1. ^{{cite journal|title=Rise of the Robogeeks|journal=New Scientist|volume=201|issue=2679|author=Michael Brooks}} {{science-software-stub}}2. ^{{cite web|url=http://homepages.inf.ed.ac.uk/apease/research/phd.html|title=HRL|author=Alison Pease|accessdate=2009-09-25}} 3. ^1 {{cite journal|title=reinventing the conjecture|journal=New Scientist|volume=201|issue=2679|author=Michael Brooks}} 1 : Science software |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。