![Page 1: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/1.jpg)
Induktıv logikai programozas
Varga Peter
2004. oktober 25.
Varga Peter Induktıv logikai programozas
![Page 2: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/2.jpg)
Indukcio
I def.: kovetkeztetes az egyesbol az altalanosra
I Francis Bacon ota a tudomany eszkozenek tartjak
I matematikai indukcio vs. empirikus indukcio
I az indukcio konfirmaltsagi foka:
∀x .H(x) ⊃ F (x)←− H(a) ∧ F (a)
I az indukcio Hempel-fele paradoxona:
∀x .H(x) ⊃ F (x) ≡ ∀x .¬F (x) ⊃ ¬H(x)←− ¬F (b) ∧ ¬H(b)
Varga Peter Induktıv logikai programozas
![Page 3: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/3.jpg)
Indukcio
I def.: kovetkeztetes az egyesbol az altalanosra
I Francis Bacon ota a tudomany eszkozenek tartjak
I matematikai indukcio vs. empirikus indukcio
I az indukcio konfirmaltsagi foka:
∀x .H(x) ⊃ F (x)←− H(a) ∧ F (a)
I az indukcio Hempel-fele paradoxona:
∀x .H(x) ⊃ F (x) ≡ ∀x .¬F (x) ⊃ ¬H(x)←− ¬F (b) ∧ ¬H(b)
Varga Peter Induktıv logikai programozas
![Page 4: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/4.jpg)
Indukcio
I def.: kovetkeztetes az egyesbol az altalanosra
I Francis Bacon ota a tudomany eszkozenek tartjak
I matematikai indukcio vs. empirikus indukcio
I az indukcio konfirmaltsagi foka:
∀x .H(x) ⊃ F (x)←− H(a) ∧ F (a)
I az indukcio Hempel-fele paradoxona:
∀x .H(x) ⊃ F (x) ≡ ∀x .¬F (x) ⊃ ¬H(x)←− ¬F (b) ∧ ¬H(b)
Varga Peter Induktıv logikai programozas
![Page 5: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/5.jpg)
Indukcio
I def.: kovetkeztetes az egyesbol az altalanosra
I Francis Bacon ota a tudomany eszkozenek tartjak
I matematikai indukcio vs. empirikus indukcio
I az indukcio konfirmaltsagi foka:
∀x .H(x) ⊃ F (x)←− H(a) ∧ F (a)
I az indukcio Hempel-fele paradoxona:
∀x .H(x) ⊃ F (x) ≡ ∀x .¬F (x) ⊃ ¬H(x)←− ¬F (b) ∧ ¬H(b)
Varga Peter Induktıv logikai programozas
![Page 6: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/6.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ U
Fogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 7: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/7.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ UFogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 8: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/8.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ UFogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 9: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/9.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ UFogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 10: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/10.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ UFogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 11: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/11.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ UFogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 12: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/12.jpg)
Fogalmak induktıv gepi tanulasa: az alapok
Fogalom: U : C ⊆ UFogalomleıro nyelv Pl. elsorendu logika nyelve
Objektumleıro nyelv Pl. attributum-ertek parok halmaza
Fogalom definıcioja: extenzionalis vagy intenzionalis
Cımkezett peldak
Hipotezis
Hattertudas
Varga Peter Induktıv logikai programozas
![Page 13: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/13.jpg)
A hipotezis illeszkedesi lehetosegei
A hipotezis es a peldahalmaz lehetseges illeszkedesi viszonyai
Varga Peter Induktıv logikai programozas
![Page 14: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/14.jpg)
A hipotezis illeszkedesenek folyamata
A hipotezis a pozitıv peldak befogadasaval es a negatıv peldakkizarasaval alakul
Varga Peter Induktıv logikai programozas
![Page 15: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/15.jpg)
Az illeszkedes meg nem minden
Az illeszkedes pontossaga: errol volt szo az elobbiekben
A hipotezis formaja: pl. hany literalt tartalmaz
Statisztikai szignifikancia: milyen regularitast emel ki a hipotezis
Informacios tartalom: a tanulando fogalom a priori valoszınusegetis figyelembe veszi
Varga Peter Induktıv logikai programozas
![Page 16: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/16.jpg)
Az induktıv logikai programozas helye
Gepi tanulas
I evolucios tanulas
I konnekcionista tanulasI induktıv tanulas (fogalmakra)
I attributum-ertek tanulok (propozionalis tanulok)I dontesi listakI if-then szabalyok
I relacio-tanulokI elsorendu logikai tanulokI Horn-kloz tanulok: induktıv logikai programozas
Varga Peter Induktıv logikai programozas
![Page 17: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/17.jpg)
Az ILP-sajatossagai (1.): a θ tartalmazasi halo
A keresesi ter strukturalasara a θ tartalmazasi relacio szerintreszben rendezest definialunk. A relacio definıcioja:
Behelyettesıtes: θ = {X1/t1, . . . ,Xk/tk}θ-tartalmazas: Legyen c , c ′ (logikai) program-klozok, θ egy
behelyettesıtes. A c θ-tartalmazza c ′-t, ha cθ ⊆ c ′.
Vegyuk eszre, hogy a θ-tartalmazasbol kovetkezik c |= c ′, de ezfordıtva nem igaz. Erre pelda:
c = list([V |W ])← list(W ), c ′ = list([X ,Y | Z ])← list(Z )
Varga Peter Induktıv logikai programozas
![Page 18: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/18.jpg)
Az ILP-sajatossagai (2.): Mire jo a θ-tartalmazas?
I A valtozoatnevezes erejeig egyedi legkisebb felso eslegnagyobb also elemek lesznek
I Szintaktikai a definıcio, nem tamaszkodik a hattertudasraI A keresesi teret vaghatjuk, ha c inkonzisztens, mert
I Ha c > c ′ es B ∪ {c} |= e, akkor B ∪ {c ′} |= e is igaz.
I A keresesi teret vaghatjuk, ha c nem teljes, mertI Ha c > c ′ es B ∪ {c} 2 e, akkor B ∪ {c ′} 2 e is igaz.
Varga Peter Induktıv logikai programozas
![Page 19: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/19.jpg)
Az ILP ket alaplepese
Most mar lathatjuk az ILP ket alapveto lepeset:
Szaturacio: a peldak telıtese, azaz altalanosıtasa: a bottom-uplepes
Redukcio: lefele utazni a finomıtasi grafon: a top-down lepes
Varga Peter Induktıv logikai programozas
![Page 20: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/20.jpg)
Az ILP ket alaplepese
Most mar lathatjuk az ILP ket alapveto lepeset:
Szaturacio: a peldak telıtese, azaz altalanosıtasa: a bottom-uplepes
Redukcio: lefele utazni a finomıtasi grafon: a top-down lepes
Varga Peter Induktıv logikai programozas
![Page 21: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/21.jpg)
Az ILP ket alaplepese
Most mar lathatjuk az ILP ket alapveto lepeset:
Szaturacio: a peldak telıtese, azaz altalanosıtasa: a bottom-uplepes
Redukcio: lefele utazni a finomıtasi grafon: a top-down lepes
Varga Peter Induktıv logikai programozas
![Page 22: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/22.jpg)
Az ILP sajatossagai (3.): Egy szaturacios technika (1.)
Keressuk meg a legfelso elemet: lgg(c1, c2)I Termek eseteben:
I lgg(t, t) = t,
I lgg(f (s1, . . . , sn), f (t1, . . . , tn)) = f (lgg(s1, t1),..., lgg(tn, sn)),
I lgg(f (s1, . . . , sn), f (t1, . . . , tm)) = V (V ∈ Vars), ha f 6= g ,I lgg(s, t) = V (V ∈ Vars), ha s 6= t es legalabb egyikuk valtozo
I Atomok eseteben:I lgg(p(s1, . . . , sn), p(t1, . . . , tn)) = p(lgg(t1, s1), . . . , p(tn, sn))I maskulonben definialtlan
I Nem-atomi literalok eseteben:I Ha L1 = A1 es L2 = A2, akkor lgg(L1, L2) = lgg(A1,A2).I maskulonben definialtlan
Varga Peter Induktıv logikai programozas
![Page 23: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/23.jpg)
Az ILP sajatossagai (4.): Egy szaturacios technika (2.)
I Klozok eseteben:I Legyen c1 = {L1, . . . , Ln} es c2 = {K1, . . . ,Km}.
lgg(c1, c2) = {Lij = lgg(Li ,Kj) | Li ∈ cq,Kj ∈ c2 es lgg(Li ,Kj)definialt}.
Vegyuk figyelembe a hattertudast is:
I rlgg(A1,A2) = lgg((A1 ← K ), (A2 ← K )), ahol K a groundedhattertudast jeloli.
Varga Peter Induktıv logikai programozas
![Page 24: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/24.jpg)
Az ILP sajatossagai (5.): Egy masik szaturacios technika
Egy masik szaturacios technika az inverz rezolucio:
Varga Peter Induktıv logikai programozas
![Page 25: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/25.jpg)
Az ILP sajatossagai...
Sok technikat lehetne meg ismertetni a szimbolikus tanulas es atetelbizonyıtas temakorebol,
de . . .
lassuk inkabb a gyakorlatot!
Varga Peter Induktıv logikai programozas
![Page 26: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/26.jpg)
Az ILP sajatossagai...
Sok technikat lehetne meg ismertetni a szimbolikus tanulas es atetelbizonyıtas temakorebol, de . . .
lassuk inkabb a gyakorlatot!
Varga Peter Induktıv logikai programozas
![Page 27: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/27.jpg)
Az ILP-rendszerek felosztasa
Egy predikatum vs. egesz elmelet tanulasa Egy predikatum (tobbkloza), avagy tobb predikatumbol allo elmelet.
Batch vs. inkrementalis tanulas A tanulais folyamat soran apeldakat egyenkent, vagy egyszerre hasznalja.
Interaktıv A felhasznalo felugyeli az altalanosıtasi folyamatot esmodosıthatja az osztalyozast is.
Kiindulo hipotezis Meglevo elmelet revıziojara hasznalhato.
Ket gyakoribb tıpus:
I Nem-interaktıv batch rendszerek kiindulohipotezis nelkul
I Inkrementalis interaktıv elmelet-modosıtorendszerek
Varga Peter Induktıv logikai programozas
![Page 28: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/28.jpg)
ILP a gyakorlatban: az ALEPH rendszer
I A Learning Engine for Proposing Hypotheses
I Fejleszto: Ashwin Srinivasan (Oxford Univ.)
I Folyamatos fejlesztes 1993 ota (Legutolso modosıtas 2004.okt. 10-en.)
I Korabbi neve: P-PrologI Hasznalhato Prolog rendszerek:
I YAP: egy nagyon gyors Prolog-implementacioI SWI-Prolog: a meltan nepszeru LGPL-licenszu Prolog
I Non-profit celokra szabadon hasznalhato
I Tenylegesen hasznaljak is (biologiai es NLP-alkalmazasok)
Varga Peter Induktıv logikai programozas
![Page 29: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/29.jpg)
Az ALEPH kepessegei
I A fogalom- es tenyleıro nyelv a Prolog
I Reszletesen specifikalhato nyelvi bias
I Inkrementalis es batch-tanulas
I Interaktıv es nem-interaktıv tanulas
I Tobb predikatum egyuttes tanulasa (kıserleti)
I Kiegeszıtesek: osztalyozo, dontesi fa, korlatok espredikatum-szignaturak tanulasa
I 10 keresesi bias es 12 beepıtett ertekeles
I Jol bovıtheto (Sajat fuggvenyek ertekelesre, heurisztikakra,megjelenıtesre, hipotezis-validalasra vagy pruningra; sajatkenyszerek stb.)
I Non-grounded peldak megadasa (a pozitıv meg kıserletistadiumban)
I Nyılt kod, tisztesseges dokumentacio
Varga Peter Induktıv logikai programozas
![Page 30: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/30.jpg)
Egyszeru pelda az ALEPH (es az ILP) mukodesere
Celunk: A grandfather/2 predikatum megtanulasa.
Adott: A magyar fejedelmek szuloi relacioi az elso magyarkiralyig, valamint a ferfitagok neme.
Nyelvi bias: Ket predikatum
I parent/2I male/1
Varga Peter Induktıv logikai programozas
![Page 31: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/31.jpg)
Az egyszeru pelda: A hattertudas (1.)
parent(imre,istvan).parent(istvan,geza).parent(geza,taksony).parent(taksony,zoltan).parent(zoltan,arpad).parent(sarolt,istvan).parent(gizella,imre).male(istvan).male(geza).male(arpad).male(zoltan).male(taksony).male(imre).
Varga Peter Induktıv logikai programozas
![Page 32: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/32.jpg)
Az egyszeru pelda: A hattertudas (2.)
:-modeh(1,grandfather(+person,+person)).:-modeb(1,male(+person)).:-modeb(*,parent(+person,+person)).:-modeb(*,parent(+person,-person)).:-determination(grandfather/2,parent/2).:-determination(grandfather/2,male/1).:-set(i,2).:-set(clauselength,4).:-set(newvars,1).:-set(minpos,2).
Varga Peter Induktıv logikai programozas
![Page 33: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/33.jpg)
Az egyszeru pelda: A peldak
Pozitıv peldak (grandfather.f)
grandfather(imre,geza).grandfather(istvan,taksony).grandfather(geza,zoltan).grandfather(taksony,arpad).
A negatıv peldak (grandfather.n)
grandfather(imre,istvan).grandfather(gizella,istvan).grandfather(imre,gizella).grandfather(imre,sarolt).grandfather(taksony,zoltan).
Varga Peter Induktıv logikai programozas
![Page 34: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/34.jpg)
Az egyszeru pelda: az ALEPH rendszer
Varga Peter Induktıv logikai programozas
![Page 35: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/35.jpg)
Az egyszeru pelda: az eredmenyek
Varga Peter Induktıv logikai programozas
![Page 36: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/36.jpg)
Az ALEPH parameterezese: a nyelvi bias
determination/2: Melyik kloz torzseben melyik klozt lehetfelhasznalni.
mode/2: A klozra hanyszor es milyen szignaturaval lehethivatkozni.
I Ha nem egesz elmeletet keresunk, akkor csak egypredikatumra vonatkozo determination deklaraciok lesznekervenyesek.
I A szignatura specifikaciojanak szintaxisa:I +T: bemeno parameterI -T: kimeno parameterI #T: konstans parameter
I Rekurzıv definıciora is lehetseges.
Varga Peter Induktıv logikai programozas
![Page 37: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/37.jpg)
Az ALEPH parameterezese: alapveto keresesi bias-ok
set(clauselength,+V): Felso korlat a klozban szereplo literalokszamara (tehat a fej is szamıt)
set(depth,+V): Milyen melysegu SLD-rezolucioba szabadbelemenni a hipotezis ellenorzesekor
set(explore,+V): Kikapcsolja a pruning-ot es kevesbe mohonkeres.
set(i,+V): Milyen melysegu valtozok szerepelhetnek a klozban(a fej valtozoinak melysege egy, sıt.)
set(minpos,+V): Minimum hany pozitıv peldat kell lefednie ahipotezis-kloznak (nagyon hasznos a groundclause-ok kizarasara).
set(newvars,+V): Hany egzisztencialisan kotott valtozotvezethessen be kloz torzseben.
Varga Peter Induktıv logikai programozas
![Page 38: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/38.jpg)
Az ALEPH parameterezese: alapveto keresesi bias-ok
set(clauselength,+V): Felso korlat a klozban szereplo literalokszamara (tehat a fej is szamıt)
set(depth,+V): Milyen melysegu SLD-rezolucioba szabadbelemenni a hipotezis ellenorzesekor
set(explore,+V): Kikapcsolja a pruning-ot es kevesbe mohonkeres.
set(i,+V): Milyen melysegu valtozok szerepelhetnek a klozban(a fej valtozoinak melysege egy, sıt.)
set(minpos,+V): Minimum hany pozitıv peldat kell lefednie ahipotezis-kloznak (nagyon hasznos a groundclause-ok kizarasara).
set(newvars,+V): Hany egzisztencialisan kotott valtozotvezethessen be kloz torzseben.
Varga Peter Induktıv logikai programozas
![Page 39: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/39.jpg)
Az ALEPH parameterezese: alapveto keresesi bias-ok
set(clauselength,+V): Felso korlat a klozban szereplo literalokszamara (tehat a fej is szamıt)
set(depth,+V): Milyen melysegu SLD-rezolucioba szabadbelemenni a hipotezis ellenorzesekor
set(explore,+V): Kikapcsolja a pruning-ot es kevesbe mohonkeres.
set(i,+V): Milyen melysegu valtozok szerepelhetnek a klozban(a fej valtozoinak melysege egy, sıt.)
set(minpos,+V): Minimum hany pozitıv peldat kell lefednie ahipotezis-kloznak (nagyon hasznos a groundclause-ok kizarasara).
set(newvars,+V): Hany egzisztencialisan kotott valtozotvezethessen be kloz torzseben.
Varga Peter Induktıv logikai programozas
![Page 40: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/40.jpg)
Az ALEPH parameterezese: alapveto keresesi bias-ok
set(clauselength,+V): Felso korlat a klozban szereplo literalokszamara (tehat a fej is szamıt)
set(depth,+V): Milyen melysegu SLD-rezolucioba szabadbelemenni a hipotezis ellenorzesekor
set(explore,+V): Kikapcsolja a pruning-ot es kevesbe mohonkeres.
set(i,+V): Milyen melysegu valtozok szerepelhetnek a klozban(a fej valtozoinak melysege egy, sıt.)
set(minpos,+V): Minimum hany pozitıv peldat kell lefednie ahipotezis-kloznak (nagyon hasznos a groundclause-ok kizarasara).
set(newvars,+V): Hany egzisztencialisan kotott valtozotvezethessen be kloz torzseben.
Varga Peter Induktıv logikai programozas
![Page 41: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/41.jpg)
Az ALEPH parameterezese: alapveto keresesi bias-ok
set(clauselength,+V): Felso korlat a klozban szereplo literalokszamara (tehat a fej is szamıt)
set(depth,+V): Milyen melysegu SLD-rezolucioba szabadbelemenni a hipotezis ellenorzesekor
set(explore,+V): Kikapcsolja a pruning-ot es kevesbe mohonkeres.
set(i,+V): Milyen melysegu valtozok szerepelhetnek a klozban(a fej valtozoinak melysege egy, sıt.)
set(minpos,+V): Minimum hany pozitıv peldat kell lefednie ahipotezis-kloznak (nagyon hasznos a groundclause-ok kizarasara).
set(newvars,+V): Hany egzisztencialisan kotott valtozotvezethessen be kloz torzseben.
Varga Peter Induktıv logikai programozas
![Page 42: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/42.jpg)
Az ALEPH parameterezese: alapveto keresesi bias-ok
set(clauselength,+V): Felso korlat a klozban szereplo literalokszamara (tehat a fej is szamıt)
set(depth,+V): Milyen melysegu SLD-rezolucioba szabadbelemenni a hipotezis ellenorzesekor
set(explore,+V): Kikapcsolja a pruning-ot es kevesbe mohonkeres.
set(i,+V): Milyen melysegu valtozok szerepelhetnek a klozban(a fej valtozoinak melysege egy, sıt.)
set(minpos,+V): Minimum hany pozitıv peldat kell lefednie ahipotezis-kloznak (nagyon hasznos a groundclause-ok kizarasara).
set(newvars,+V): Hany egzisztencialisan kotott valtozotvezethessen be kloz torzseben.
Varga Peter Induktıv logikai programozas
![Page 43: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/43.jpg)
Az ALEPH parameterezese: egyszerubb keresesi strategiak
set(search,bf): Egyszeru szerkezetu klozokat preferalja (ez azalapertelmezett strategia)
set(search,id): Iteratıvan melyulo kereses a clauselengthkorlatig
set(search,rls): Szimulalt lehutes (a parameterei reszletesenbeallıthatok, pl. kezdohomerseklet, generalasivaloszınuseg klozhossz fuggvenyeben stb.)
set(search,heuristic): Egyszeru heurisztikus kereses
Varga Peter Induktıv logikai programozas
![Page 44: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/44.jpg)
Az ALEPH parameterezese: egyszerubb keresesi strategiak
set(search,bf): Egyszeru szerkezetu klozokat preferalja (ez azalapertelmezett strategia)
set(search,id): Iteratıvan melyulo kereses a clauselengthkorlatig
set(search,rls): Szimulalt lehutes (a parameterei reszletesenbeallıthatok, pl. kezdohomerseklet, generalasivaloszınuseg klozhossz fuggvenyeben stb.)
set(search,heuristic): Egyszeru heurisztikus kereses
Varga Peter Induktıv logikai programozas
![Page 45: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/45.jpg)
Az ALEPH parameterezese: egyszerubb keresesi strategiak
set(search,bf): Egyszeru szerkezetu klozokat preferalja (ez azalapertelmezett strategia)
set(search,id): Iteratıvan melyulo kereses a clauselengthkorlatig
set(search,rls): Szimulalt lehutes (a parameterei reszletesenbeallıthatok, pl. kezdohomerseklet, generalasivaloszınuseg klozhossz fuggvenyeben stb.)
set(search,heuristic): Egyszeru heurisztikus kereses
Varga Peter Induktıv logikai programozas
![Page 46: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/46.jpg)
Az ALEPH parameterezese: egyszerubb keresesi strategiak
set(search,bf): Egyszeru szerkezetu klozokat preferalja (ez azalapertelmezett strategia)
set(search,id): Iteratıvan melyulo kereses a clauselengthkorlatig
set(search,rls): Szimulalt lehutes (a parameterei reszletesenbeallıthatok, pl. kezdohomerseklet, generalasivaloszınuseg klozhossz fuggvenyeben stb.)
set(search,heuristic): Egyszeru heurisztikus kereses
Varga Peter Induktıv logikai programozas
![Page 47: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/47.jpg)
Az ALEPH parameterezesi: egyszerubb ertekelesek
set(evalfn,accuracy): Csak a peldakra figyel: P/)P + N). (Ezaz alapertelmezett.)
set(evalfn,compression): Figyelembe veszi a kloz hosszat(literalok szamat) is.
Ezen kıvul statisztikai ertekelo fuggvenyek, valamintILP-publikaciokban megjelent fuggvenyek is rendelkezesunkreallnak.
Varga Peter Induktıv logikai programozas
![Page 48: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/48.jpg)
Mikor hasznalhato az ILP?
Szabad diszkusszio...
Varga Peter Induktıv logikai programozas
![Page 49: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/49.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 50: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/50.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 51: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/51.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 52: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/52.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 53: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/53.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 54: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/54.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 55: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/55.jpg)
Mikor hasznalhato az ILP? – a sajat velemenyem
I Ember altal is ertelmezheto szabalyokat akarunk
I ... avagy illeszkedni szeretnenk mar letezo szabalyokstrukturajahoz.
I A megtanulando regularitasok intenzionalisan definialtpredikatumokra tamaszkodnak.
I Nagy vonalakban lathato a megtanulando szabalyok”strukturaja”
I ... csak eppen ”sok van beloluk”
︸ ︷︷ ︸”sok kicsi, ismert alaku”, sot leteznek ILP-modszerek zajosadatokra is...
Varga Peter Induktıv logikai programozas
![Page 56: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/56.jpg)
Egy eletszagubb pelda (1.)
alphabetic past data.f
past([a, b, a, n, d, o, n],[a, b, a, n, d, o, n, e, d]).past([a, b, e, t],[a, b, e, t, t, e, d]).past([a, b, o, u, n, d],[a, b, o, u, n, d, e, d]).past([a, b, s, o, r, b],[a, b, s, o, r, b, e, d]).past([a, c, c, e, p, t],[a, c, c, e, p, t, e, d]).past([a, c, c, o, m, p, a, n, y],[a, c, c, o, m, p, a, n, i, e, d]).past([a, c, c, o, m, p, l, i, s, h],[a, c, c, o, m, p, l, i, s, h, e, d]).past([a, c, c, o, u, n, t],[a, c, c, o, u, n, t, e, d]).past([a, c, c, u, s, e],[a, c, c, u, s, e, d]).past([a, c, h, e],[a, c, h, e, d]).past([a, c, h, i, e, v, e],[a, c, h, i, e, v, e, d]).
Varga Peter Induktıv logikai programozas
![Page 57: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/57.jpg)
Egy eletszagubb pelda: reszlet a szabalyokbol
Varga Peter Induktıv logikai programozas
![Page 58: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/58.jpg)
Ajanlott irodalom
I N. Lavrac and S. Dzeroski. Inductive Logic Programming :Techniques and Applications. Ellis Horwood, New York, 1994.(http://www-ai.ijs.si/SasoDzeroski/ILPBook/ )
I Saso Dzeroski and Nada Lavrac, editors Relational DataMining Springer, Berlin, 2001
I Stuart J. Russell, Peter Norvig: Mesterseges intelligenciamodern megkozelıtesben Panem Kiado, 1999. (az uj kiadasmagyar fordıtasa elokeszuletben) 18. fejezet
Varga Peter Induktıv logikai programozas
![Page 59: Indukt´ıv logikai programoz´asszeredi/vflp/vflp04/ILPEloadasElkuldott.pdf · Indukcio I def.: k¨ovetkeztet´es az egyesbol az ´altal´anosra I Francis Bacon ota a tudom´any](https://reader034.vdocuments.pub/reader034/viewer/2022051909/5ffe865553a5a970c131bebc/html5/thumbnails/59.jpg)
Induktıv logikai programozas
Koszonom a figyelmet, varom a kerdeseiteket...
Varga Peter Induktıv logikai programozas