Site Overlay


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: Arashakar Fausida
Country: Guinea
Language: English (Spanish)
Genre: Automotive
Published (Last): 25 May 2016
Pages: 241
PDF File Size: 20.58 Mb
ePub File Size: 4.20 Mb
ISBN: 290-1-79307-125-3
Downloads: 52538
Price: Free* [*Free Regsitration Required]
Uploader: Shakazahn

Learning logical definitions from relations J. From Wikipedia, the free encyclopedia. Showing of extracted citations. Are grammatical representations useful forlearning from biological sequence data? Progol allows arbitrary Prolog programs as background knowledge and arbitrary definite clauses as examples. Skip to search form Skip to main content.

This robotics-related article is a stub. The ef- fect of background knowledge in inductive logic programming: Views Read Edit View history. Progol is Stephen Muggleton ‘s implementation of inductive logic programming used in computer science that combines “Inverse Entailment” with “general-to-specific search” through progok refinement graph.


Progol deals with noisy data by using the “compression measure” to trade-off the description of errors against the hypothesis description length.

Inverse entailment and progol – Semantic Scholar

Topics Discussed in This Paper. Probabilistic Theory Revision from Examples: References Publications referenced by this paper. The mathematical theory of communication. By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy PolicyTerms of Serviceand Dataset License.

PROGOL – Wikipedia

A learnability model for universal representa- tions. This clause is used to guide a refinement-graph search. Showing of 57 references. Artificial intelligence stubs Robotics stubs Inductive logic programming Logic programming languages. Progol is implemented in C invsrse available by anonymous ftp. Languages Deutsch Edit links. Retrieved from ” https: Extensions of inversion of resolution applied to theory com- pletion.

Ross Quinlan Machine Learning From This Paper Figures, tables, and topics from this paper. By using this site, you agree to the Terms of Use and Privacy Policy. Use dmy dates from September All stub articles.


Ross Quinlan ‘s FOIL Progol’s search is efficient and has a provable guarantee of returning a solution having the maximum “compression” in the search-space. This page was last edited on 24 Septemberat This paper has highly influenced other papers.

Inverse entailment and progol

The Principles of Science: This artificial intelligence -related article is a stub. You can help Wikipedia by expanding it. Muggleton, editor, Inductive Logic Programming….

Citations Publications citing this paper. Language identi cation in the limit.