| http://dbpedia.org/ontology/abstract
|
Progol is an implementation of inductive l … Progol is an implementation of inductive logic programming that combines inverse entailment with general-to-specific search through a refinement graph. It was developed by Stephen Muggleton. 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 a 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, benchmarking shows that the efficiency of Progol compares favourably with FOIL.y of Progol compares favourably with FOIL.
, Progol ist ein System zum maschinellen Ler … Progol ist ein System zum maschinellen Lernen, das 1995 von publiziert wurde. Es gehört zum Paradigma der Induktiven Logischen Programmierung und lernt Definitionen von Konzepten in Prädikatenlogik aus einer Menge von Beispielen und einem Hintergrundwissen. Die Beispiele und die Elemente des Hintergrundwissens können beliebige definite Horn-Klauseln sein. Progol kombiniert die Bottom-Up-Technik des Inverse Entailment mit einer Top-Down-Suche durch die Menge der Klauseln. Dazu konstruiert es zu einem Beispiel zunächst die spezifischste Klausel, die gemeinsam mit dem Hintergrundwissen das Beispiel erklärt, in einer durch beschränkten Sprache. Anschließend wird eine Klausel ermittelt, welche die spezifischste Klausel subsumiert und eine Kompressionsmetrik maximiert. Diese wird zur Theorie hinzugefügt. Im Gegensatz zu früheren Verfahren wie gewährleistet Progol, dass die gefundene Klausel hinsichtlich der Metrik optimal ist, da es eine Variante des A*-Algorithmus benutzt. eine Variante des A*-Algorithmus benutzt.
|
| http://dbpedia.org/ontology/wikiPageID
|
9605764
|
| http://dbpedia.org/ontology/wikiPageLength
|
2320
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1120232554
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/A%2A_search_algorithm +
, http://dbpedia.org/resource/Category:Inductive_logic_programming +
, http://dbpedia.org/resource/Ehud_Shapiro +
, http://dbpedia.org/resource/First_Order_Inductive_Learner +
, http://dbpedia.org/resource/Inductive_logic_programming +
, http://dbpedia.org/resource/Category:Logic_programming_languages +
, http://dbpedia.org/resource/Ross_Quinlan +
, http://dbpedia.org/resource/Prolog +
, http://dbpedia.org/resource/Stephen_Muggleton +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Distinguish +
, http://dbpedia.org/resource/Template:Compu-AI-stub +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Robotics-stub +
, http://dbpedia.org/resource/Template:Define%3F +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Inductive_logic_programming +
, http://dbpedia.org/resource/Category:Logic_programming_languages +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Progol?oldid=1120232554&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Progol +
|
| owl:differentFrom |
http://dbpedia.org/resource/Prolog +
|
| owl:sameAs |
http://dbpedia.org/resource/Progol +
, https://global.dbpedia.org/id/Qc97 +
, http://de.dbpedia.org/resource/Progol +
, http://www.wikidata.org/entity/Q1405050 +
|
| rdfs:comment |
Progol is an implementation of inductive l … Progol is an implementation of inductive logic programming that combines inverse entailment with general-to-specific search through a refinement graph. It was developed by Stephen Muggleton. 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.s used to guide a refinement-graph search.
, Progol ist ein System zum maschinellen Ler … Progol ist ein System zum maschinellen Lernen, das 1995 von publiziert wurde. Es gehört zum Paradigma der Induktiven Logischen Programmierung und lernt Definitionen von Konzepten in Prädikatenlogik aus einer Menge von Beispielen und einem Hintergrundwissen. Die Beispiele und die Elemente des Hintergrundwissens können beliebige definite Horn-Klauseln sein. Im Gegensatz zu früheren Verfahren wie gewährleistet Progol, dass die gefundene Klausel hinsichtlich der Metrik optimal ist, da es eine Variante des A*-Algorithmus benutzt. eine Variante des A*-Algorithmus benutzt.
|
| rdfs:label |
Progol
|
