HR (mjukvara)

HR är ett datorprogram som automatiskt bildar matematiska teorier genom att söka efter talföljder. Den skrevs av Simon Colton och har fått sitt namn från initialerna till matematikerna Godfrey Harold Hardy och Srinivasa Aiyangar Ramanujan .

HRL

HR utgör grunden för programmet för artificiell intelligens HRL ("L" till ära för Imre Lakatos ), utvecklat av Alison Pease, Simon Colton , Alan Smaill och John Lee. HRL genererar programvaru-"student"-agenter, som får information som de försöker dra slutsatser med . Den utvärderar hur "intressanta" slutsatserna är och skickar de som är tillräckligt intressanta till en "lärare"-agent. Läraren arrangerar gruppdiskussioner bland studenterna och kan begära ytterligare modifiering av gissningar.

Ett framgångsrikt resultat av HRL var den oberoende uppfinningen av Goldbachs gissning . "Student"-agenter, med tanke på begreppet heltal och division, härledde begreppet "jämna tal" och "summan av två primtal", genererade sedan gissningen "alla jämna tal kan uttryckas som summan av två primtal." "Läraren" föranledde vidareutveckling och en "elev" hittade ett motexempel (siffran 2); HRL ändrade gissningen på lämpligt sätt.