PROGOL - PROGOL - Wikipedia
Progol je Stephen Muggleton implementace induktivní logické programování použito v počítačová věda který kombinuje „inverzní doplnění“ s „obecným vyhledáváním“ prostřednictvím upřesňujícího grafu.[1][2][3] „Inverse Entailment“ se používá s deklaracemi režimu k odvození nejkonkrétnější klauze v rámci jazyka režimu, která s sebou nese daný příklad. Tato klauzule se používá jako vodítko při hledání upřesňujícího grafu.
Na rozdíl od vyhledávání Ehud Shapiro modelový odvozovací systém[4] (MIS) a J. Ross Quinlan je FÓLIE Hledání společnosti Progol je efektivní a má prokazatelnou záruku vrácení řešení s maximální „kompresí“ ve vyhledávacím prostoru. Provede to přípustně A* -jako vyhledávání, vedené kompresí, nad klauzulemi, které zahrnují nejkonkrétnější klauzuli.
Progol pracuje s hlučnými daty pomocí „míry komprese“, aby kompromisoval popis chyb s délkou popisu hypotézy. Progol umožňuje libovolné Prolog programy jako základní znalosti a libovolné určité klauzule jako příklady. Navzdory tomuto srovnávacímu testu ukazují, že účinnost Progolu je příznivá ve srovnání s FOIL.
Reference
- ^ Muggleton, S. (1995). "Inverzní zapojení a progol". Nová generace výpočetní techniky. 13 (3–4): 245–286. CiteSeerX 10.1.1.31.1630. doi:10.1007 / BF03037227.
- ^ Stránka Progol na Imperial College
- ^ Muggleton, S. (1997). "Poučení z pozitivních dat". Induktivní logické programování. Přednášky z informatiky. 1314. str. 358–376. doi:10.1007/3-540-63494-0_65. ISBN 978-3-540-63494-2.
- ^ https://dl.acm.org/doi/10.5555/1623264.1623364 Model inferenční systém, 1981
 | Tento umělá inteligence související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
 | Tento článek týkající se robotiky je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |