Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/PROGOL> ?p ?o }
Showing triples 1 to 32 of
32
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*_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 Prolog.
- PROGOL wikiPageWikiLink Ross_Quinlan.
- PROGOL wikiPageWikiLink Stephen_Muggleton.
- PROGOL wikiPageWikiLinkText "PROGOL".
- PROGOL wikiPageWikiLinkText "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 Q1405050.
- PROGOL sameAs Progol.
- PROGOL sameAs m.02pll4f.
- PROGOL sameAs Q1405050.
- PROGOL wasDerivedFrom PROGOL?oldid=678401736.
- PROGOL isPrimaryTopicOf PROGOL.