Matches in DBpedia 2014 for { <http://dbpedia.org/resource/PROGOL> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- PROGOL abstract "Progol is an implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general-to-specific search" through a refinement graph. "Inverse Entailment" is used with mode declarations to derive the most-specific clause within the mode language which entails a given example. This clause is used to guide a refinement-graph search.Unlike the searches of Ehud Shapiro's Model Inference System (MIS) and J. 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. To do so it performs an admissible A*-like search, guided by compression, over clauses which subsume the most specific clause.Progol deals with noisy data by using the "compression measure" to trade-off the description of errors against the hypothesis description length. Progol allows arbitrary Prolog programs as background knowledge and arbitrary definite clauses as examples. Despite this bench-tests show that the efficiency of Progol compares favourably with FOIL.".
- PROGOL wikiPageID "9605764".
- PROGOL wikiPageRevisionID "544694967".
- PROGOL hasPhotoCollection PROGOL.
- PROGOL subject Category:Inductive_logic_programming.
- PROGOL subject Category:Logic_programming_languages.
- PROGOL comment "Progol is an implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general-to-specific search" through a refinement graph. "Inverse Entailment" is used with mode declarations to derive the most-specific clause within the mode language which entails a given example. This clause is used to guide a refinement-graph search.Unlike the searches of Ehud Shapiro's Model Inference System (MIS) and J.".
- PROGOL label "PROGOL".
- PROGOL label "Progol".
- PROGOL sameAs Progol.
- PROGOL sameAs m.02pll4f.
- PROGOL sameAs Q1405050.
- PROGOL sameAs Q1405050.
- PROGOL wasDerivedFrom PROGOL?oldid=544694967.
- PROGOL isPrimaryTopicOf PROGOL.