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: | Araktilar Voodoozragore |

Country: | Germany |

Language: | English (Spanish) |

Genre: | Finance |

Published (Last): | 28 February 2018 |

Pages: | 265 |

PDF File Size: | 9.33 Mb |

ePub File Size: | 4.32 Mb |

ISBN: | 932-3-86654-521-4 |

Downloads: | 94250 |

Price: | Free* [*Free Regsitration Required] |

Uploader: | Kagakora |

You can help Wikipedia by expanding it. Language identi cation in the limit.

Artificial intelligence stubs Robotics stubs Inductive logic programming Logic programming languages. Ross Quinlan Machine Learning The Principles of Science: This paper has highly influenced other papers. Extensions of inversion of resolution applied to theory com- pletion. Skip to search form Skip to main content.

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

Use dmy dates from September All stub articles. Views Read Edit View history.

### CiteSeerX â€” Inverse entailment and Progol

Probabilistic Theory Revision from Examples: Progol deals with noisy data by using the “compression measure” to trade-off the description of errors against the hypothesis description length. Learning logical definitions from relations J. This artificial intelligence -related article is a stub. By using this site, you agree invese the Terms of Use and Privacy Policy. 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.

From Wikipedia, the free encyclopedia.

### Inverse entailment and progol – Semantic Scholar

The mathematical theory of communication. This robotics-related article is a stub. This page was last progop on 24 Septemberat References Publications referenced by 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. This clause is used to guide a refinement-graph search.

## Inverse entailment and progol

The ef- fect of background knowledge in inductive logic programming: Citations Publications citing inerse paper. A learnability model for universal representa- tions. Showing of 57 references. Topics Discussed in This Paper. From This Paper Figures, tables, and topics from this paper. Are grammatical representations useful forlearning from biological sequence data?

Languages Deutsch Edit links. Progol is implemented in C and available by anonymous ftp.

Muggleton, editor, Inductive Logic Programmingâ€¦. Showing of extracted citations. Retrieved from ” https: