프로골
Progol프로골(Progol)은 정교함 그래프를 통해 일반 대 특정 검색과 역참사를[definition needed] 결합한 유도 논리 프로그래밍을 구현한 것이다.[definition needed][1][2][3]그것은 스티븐 머글턴에 의해 개발되었다.
역 수반은 주어진 예를 수반하는 모드 언어[definition needed] 내에서 가장 특정한 절을 도출하기 위해 모드 선언과 함께 사용된다.이 조항은 정밀도 조사를 안내하는 데 사용된다.
에후드 샤피로의 모델추론시스템[4](MIS)과 J. 로스 퀸랜의 FLOLL의 검색과 달리 프로골의 검색은 효율적이며 검색공간에서 최대의[definition needed] 압축을 가진 솔루션을 반환할 수 있다는 입증 가능한 보증을 가지고 있다.그렇게 하기 위해, 그것은 가장 구체적인 조항을 보충하는 절에 대해 압축에 의해 안내된 허용 가능한 A*와 같은 검색을 수행한다.
프로골은 오류에 대한 설명을 가설 서술 길이와 교환하기 위해 압축 수단을 사용하여 시끄러운 데이터를 처리한다.프로골은 임의의 프롤로그 프로그램을 배경지식으로, 임의의 확정 조항은 예시로 허용한다.그럼에도 불구하고 벤치마킹은 프로골의 효율성이 FLOME과 유리하게 비교된다는 것을 보여준다.[citation needed]
참조
- ^ Muggleton, S. (1995). "Inverse entailment and progol". New Generation Computing. 13 (3–4): 245–286. CiteSeerX 10.1.1.31.1630. doi:10.1007/BF03037227.
- ^ 임페리얼 칼리지의 프로골 페이지
- ^ Muggleton, S. (1997). "Learning from positive data". Inductive Logic Programming. Lecture Notes in Computer Science. Vol. 1314. pp. 358–376. doi:10.1007/3-540-63494-0_65. ISBN 978-3-540-63494-2.
- ^ https://dl.acm.org/doi/10.5555/1623264.1623364 모델추론 시스템, 1981
