HR(소프트웨어)

HR (software)
인적 자원 소프트웨어는 인적 자원 관리 시스템을 참조하십시오.

HR은 숫자의 순서를 찾아 자동으로 수학 이론을 구성하는 컴퓨터 프로그램이다.사이먼 콜튼이 쓴 것으로 수학자 고드프리 해롤드 하디와 스리니바사 아이양가르 라마누잔의 이니셜에서 유래했다.[1]: 34–36 null

HRL

HR은 앨리슨 페이즈, 사이먼 콜튼, 앨런 스마일, 존 리가 개발한 인공지능 프로그램 HRL(임레 라카토스의 명예에 관한 "L")의 기초를 이룬다.[2][3]HRL은 추론을 시도하는 정보를 제공하는 소프트웨어 "학생" 에이전트를 생성한다.추론이 얼마나 '흥미로운' 추론인지를 평가해 충분히 흥미로운 추론을 '교사' 요원에게 전달한다.교사는 학생들 사이에 그룹 토의를 주선하고 추가적인 추측 수정을 요구할 수 있다.[1]: 36-Box "Reinventing the conjecture" null

HRL에 의한 한 가지 성공적인 결과는 Goldbach의 추측의 독자적 발명이었다.'학생' 에이전트는 정수와 분절의 개념을 감안하여 '이른 숫자'와 '이른 숫자의 합'이라는 개념을 도출한 다음, '이른 숫자들은 모두 두 프리임의 합으로 표현할 수 있다'는 추측을 낳았다."선생님"은 더 많은 발전을 촉진시켰고 한 "학생"은 반례(숫자 2)를 발견했고, HRL은 추측을 적절하게 수정했다.[1]: 36-Box "Reinventing the conjecture" null

참조

  1. ^ a b c Brooks, Michael (2009). "Rise of the robogeeks". New Scientist. 201 (2697). doi:10.1016/S0262-4079(09)60588-1. ISSN 0262-4079.
  2. ^ Alison Pease. "Lakatos-style Reasoning". Archived from the original on 27 November 2016.
  3. ^ Alison Pease. A Computational Model of Lakatos-style Reasoning (PhD thesis). Archived from the original on 12 March 2016.
Stub icon

이 과학 소프트웨어 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.