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.

Author: Fauzragore Mikalrajas
Country: Suriname
Language: English (Spanish)
Genre: Love
Published (Last): 23 July 2007
Pages: 82
PDF File Size: 16.79 Mb
ePub File Size: 5.70 Mb
ISBN: 506-7-97441-644-4
Downloads: 35403
Price: Free* [*Free Regsitration Required]
Uploader: Duzshura

ahd Progol allows arbitrary Prolog programs as background knowledge and arbitrary definite clauses as examples. By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy PolicyTerms of Serviceand Dataset License. Topics Discussed in This Paper.

From Wikipedia, the free encyclopedia. Are grammatical representations useful forlearning from biological sequence data?

Ross Quinlan ‘s FOIL Progol’s search proggol efficient and has a provable guarantee of returning a solution having the maximum “compression” in the search-space. This artificial intelligence -related article is a stub.


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. This robotics-related article is a stub. Showing of extracted citations. This paper has highly influenced prlgol papers. Probabilistic Theory Revision from Examples: Muggleton, editor, Inductive Logic Programming….

PROGOL – Wikipedia

Showing of 57 references. Ross Quinlan Machine Learning Views Read Edit View history. The Principles enailment Science: This clause is used to guide a refinement-graph search. Learning logical definitions from relations J. Language identi cation in the limit.

Languages Deutsch Edit links. Use dmy dates from September All stub articles.

CiteSeerX — Inverse entailment and Progol

Artificial intelligence stubs Robotics stubs Inductive logic programming Logic programming languages. Extensions of inversion of resolution applied to theory com- pletion. A learnability model for universal representa- tions. By using this site, you agree to the Terms of Use and Privacy Policy. You can help Wikipedia by expanding it. This page was last edited on 24 Entailmenat Retrieved from ” https: Progol is implemented in C and available by anonymous ftp.


Inverse entailment and progol

From This Paper Figures, tables, and topics from this paper. Progol is Stephen Muggleton ‘s implementation entalment inductive logic programming used in computer science that combines “Inverse Entailment” with “general-to-specific search” through a refinement graph. References Publications referenced by this paper. The mathematical theory of communication.

The ef- fect of background knowledge in inductive logic programming: Skip to search form Skip to main content.