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: Vubei Zulkishakar
Country: Liberia
Language: English (Spanish)
Genre: Science
Published (Last): 17 April 2014
Pages: 421
PDF File Size: 10.87 Mb
ePub File Size: 18.94 Mb
ISBN: 596-1-55798-765-5
Downloads: 77180
Price: Free* [*Free Regsitration Required]
Uploader: Zulugis

Topics Discussed in This Paper. Skip to search form Skip to main content. This page was last edited on 24 Septemberat This paper has highly influenced other papers. From This Paper Figures, tables, and topics from this paper.

Inverse entailment and progol

From Wikipedia, the free encyclopedia. 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. This artificial intelligence -related article is a stub. By using this site, incerse agree to the Terms of Use and Privacy Policy. Are grammatical representations useful forlearning from biological sequence data?


CiteSeerX — Inverse entailment and Progol

Extensions of inversion of resolution applied to theory com- pletion. Views Read Edit View history.

Retrieved from ” https: Ross Quinlan Machine Learning This clause is used to guide a refinement-graph search. Language identi cation in the limit. 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. Languages Deutsch Edit links. Showing of extracted citations. Citations Publications citing this paper. Profol is implemented in C and available by anonymous ftp. Muggleton, editor, Inductive Logic Programming….

Learning logical definitions from relations J.

Progol allows arbitrary Prolog programs as background knowledge and arbitrary definite clauses as examples. References Publications referenced by this paper.

This robotics-related article is a stub. Artificial intelligence stubs Robotics stubs Inductive logic programming Logic programming languages. By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy PolicyTerms of Serviceand Dataset License. You can help Wikipedia by expanding it. Progol deals with noisy data by using the “compression measure” to trade-off the description of errors against the hypothesis description length.


A learnability model for universal representa- tions. Showing of 57 references. The Principles of Science: The ef- fect of background knowledge in inductive logic programming: The mathematical theory entialment communication.

Probabilistic Theory Revision from Examples: