Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/PROGOL> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- PROGOL abstract "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. "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 wikiPageLength "1861".
- PROGOL wikiPageOutDegree "10".
- PROGOL wikiPageRevisionID "678401736".
- PROGOL wikiPageWikiLink A*.
- PROGOL wikiPageWikiLink A*_search_algorithm.
- PROGOL wikiPageWikiLink Category:Inductive_logic_programming.
- PROGOL wikiPageWikiLink Category:Logic_programming_languages.
- PROGOL wikiPageWikiLink Computer_science.
- PROGOL wikiPageWikiLink Ehud_Shapiro.
- PROGOL wikiPageWikiLink First_Order_Inductive_Learner.
- PROGOL wikiPageWikiLink Inductive_Logic_Programming.
- PROGOL wikiPageWikiLink Inductive_logic_programming.
- PROGOL wikiPageWikiLink Prolog.
- PROGOL wikiPageWikiLink Ross_Quinlan.
- PROGOL wikiPageWikiLink Stephen_Muggleton.
- PROGOL wikiPageWikiLinkText "PROGOL".
- PROGOL wikiPageWikiLinkText "Progol".
- PROGOL hasPhotoCollection PROGOL.
- PROGOL wikiPageUsesTemplate Template:Compu-AI-stub.
- PROGOL wikiPageUsesTemplate Template:Reflist.
- PROGOL wikiPageUsesTemplate Template:Robotics-stub.
- PROGOL subject Category:Inductive_logic_programming.
- PROGOL subject Category:Logic_programming_languages.
- PROGOL hypernym Implementation.
- PROGOL type Software.
- PROGOL comment "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. "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 sameAs Progol.
- PROGOL sameAs m.02pll4f.
- PROGOL sameAs Q1405050.
- PROGOL sameAs Q1405050.
- PROGOL wasDerivedFrom PROGOL?oldid=678401736.
- PROGOL isPrimaryTopicOf PROGOL.