Request PDF on ResearchGate | Inverse entailment and Progol | This paper firstly provides a re-appraisal of the development of techniques for inverting. Progol is Stephen Muggleton’s implementation of inductive logic programming used in computer science that combines “Inverse Entailment” with. Progol is implemented in C and available by anonymous ftp. The re-assessment of previous techniques in terms of inverse entailment leads to new results for.
|Published (Last):||3 July 2006|
|PDF File Size:||15.21 Mb|
|ePub File Size:||9.6 Mb|
|Price:||Free* [*Free Regsitration Required]|
Are grammatical representations useful forlearning from biological sequence data? From This Paper Figures, tables, and topics from this paper. A learnability model for universal representa- tions.
Inverse entailment and progol
Showing of extracted citations. Artificial intelligence stubs Robotics stubs Inductive logic programming Logic programming languages. Extensions of inversion of resolution applied to theory com- pletion. You can help Wikipedia by expanding it.
This invwrse is used to guide a refinement-graph search. The Principles of Science: Progol allows arbitrary Prolog programs as background knowledge and arbitrary definite clauses as examples. Citations Publications citing this paper. Progol deals with noisy data by using the “compression measure” to trade-off the description of errors against the hypothesis description length.
Skip to search form Skip to main content. From Wikipedia, the free encyclopedia. The ef- fect of background knowledge in inductive logic programming: Progol is implemented in C and available by anonymous ftp.
Showing of 57 references. Topics Discussed in This Paper. Progol is Stephen Muggleton ‘s implementation of inductive logic programming used in computer science that combines “Inverse Entailment” with “general-to-specific search” through a refinement graph.
Ross Quinlan entailmennt FOIL Progol’s search is efficient and has a provable guarantee of returning a solution having the maximum “compression” in the search-space.
Muggleton, editor, Inductive Logic Programming….
This paper has highly influenced other papers. Prohol robotics-related article is a stub. Languages Deutsch Edit links. Use dmy dates from September All stub articles.
Inverse entailment and progol – Semantic Scholar