Ps_02.pdf

Eksploracjadanychwielorelacyjnych

Ps2 Generowanierelacyjnychregu“klasy kacyjnych

WprowadzeniedosystemuAleph

Danajestbazadanychdotycz¡carelacjirodzinnych,podzielonanadwieczƒ–ci:treningow¡itestow¡.

Treningowabazadanych:

grandfather

father

mother

id_1 id_2class

id_1 id_2

1 6 1

1 4

4 6

2 3 1

2 5

5 3

6 8 1

6 7

5 4

4 7 0

5 4 0

7 8

6 5 0

Testowabazadanych:

grandfather

father

mother

id_1 id_2class

id_1 id_2

9 10 1

9 12

12 10

11 10 1

11 13

12 14

11 9 0

12 10

9 14 0

1.Zapisa¢treningow¡bazƒdanychzapomoc¡jƒzykaProlog.

2.Wczyta¢bazƒdosystemuAleph.

3.Wygenerowa¢regu“y.

4.Ustawi¢zapisywaniedoplikuwynikudzia“aniasystemu.

5.Uniemo»liwi¢dodawanieregu“trywialnych,tj.takich,kt ó res¡zapisanewpostacijednegoobiektu.

6.Uniemo»liwi¢dodawanieregu“,kt ó res¡spe“nionetylkoprzezjedenobiekt.

7.Zapisa¢testow¡bazƒdanychzapomoc¡jƒzykaProlog.Wczyta¢bazƒdosystemu.

8.Doda¢regu“ywygenerowaneztreningowejbazydanych.Dokona¢klasy kacjinowychobiekt ó w.

9.Sprawdzi¢,kt ó reobiektyzosta“yb“ƒdniesklasy kowane.

10.Treningow¡bazydanychrozszerzy¢opomocnicz¡regu“ƒ,zastƒpuj¡c¡relacjefatherimotherrelacj¡

parent.Wygenerowa¢regu“yzbazytreningowejidokona¢klasy kacjiobiekt ó wbazytestowej.

ZapisdanychwjƒzykuProlog.

" nazwa_bazy.b " -plikzustawieniamiiwiedz¡dziedzinow¡:

DEFINICJE

:-modeh(n,nazwa_relacji_docelowej(+atrybut_1,+atrybut_2,...,+atrybut_m)). de nicjarela-

cjiwchodz¡cejwsk“adwnioskuregu“y,gdzien-maksymalnaliczbawyst¡pie«relacjiwregule(nazwyatry-

but ó wmog¡siƒpowtarza¢,je»eliatrybutys¡tegosamegotypu),np.:-modeh(1,grandfather(+id,+id)).

:-modeb(n,nazwa_relacji_dziedzinowej(+/-atrybut_1,+/-atrybut_2,...,+/-atrybut_m)). de-

nicjarelacjiwchodz¡cychwsk“adprzes“ankiregu“y,gdzie:

n maksymalnaliczbawyst¡pie«relacjiwregule;

+atrybut atrybutmusiby¢zast¡pionyzmienn¡,kt ó raju»wcze–niejwyst¡pi“awregule;

-atrybut atrybutmusiby¢zast¡pionynow¡zmienn¡;

np.:-modeb(2,father(+id,-id)).

DEKLARACJE

:-determination(nazwa_relacji_docelowej/n_1,nazwa_relacji_dziedzinowej/n_2). deklaracja

u»ycierelacjidziedzinowejwkonstrukcjiregu“y,kt ó rejwnioseksk“adasiƒzpodanejrelacjidocelowa,

gdzien_1,n_2 liczbaatrybut ó wrelacji,np.:-determination(grandfather/2,father/2).

WIEDZADZIEDZINOWA

relacja_dziedzinowa(warto–¢_1,warto–¢_2,...,warto–¢_m). zapisanieobiektudziedzinowego,np.

father(1,4).

PLIKITRENINGOWE

" nazwa_bazy.f " -plikzobiektaminale»¡cymidorelacjidocelowej:

relacja_docelowa(warto–¢_1,warto–¢_2,...,warto–¢_m). zapisobiektudocelowego,np.

grandfather(1,6).

" nazwa_bazy.n " plikzobiektaminienale»¡cymidorelacjidocelowej:

relacja_docelowa(warto–¢_1,warto–¢_2,...,warto–¢_m).,np.grandfather(4,7).

PLIKITESTOWE

Zapisywanes¡woddzielnychplikach,wanalogicznyspos ó bdodanychtreningowych.

WybraneinstrukcjesystemyAleph.

1.Ustawieniaparametr ó w(umieszczanewpliku " nazwa_bazy.b " ).

:-set(record,true). zapisaniewynikudzia“aniaprogramudopliku;

:-set(recordfile,’nazwa_pliku’). okre–leniepliku,dokt ó regomaby¢zapisanywynik;

:-set(interactive,true). generowanieregu“wspos ó binteraktywny(zapobiegadodawaniu

trywialnychregu“);

:-set(minpos,n). generowanaregu“amusiby¢spe“nionaprzezconajmniejnobiekt ó wnale»¡-

cychdodanejrelacjidocelowej;

:-set(noise,n). generowanaregu“amo»eby¢spe“nionaprzezconajwy»ejnobiekt ó wnienale-

»¡cychdodanejrelacjidocelowej.

2.Polecenia.

read_all(’nazwa_bazy’). wczytaniebazydanych;

induce.-generowaniezbioruregu“;

rdhyp. wczytanieregu“ypodanejprzezu»ytkownika;

addhyp. dodaniewczytanejprzezu»ytkownikaregu“ydozbioruregu“;

show(theory). klasy kacjaobiekt ó wnapodstawiewczytanychregu“;

test(’nazwa_pliku’,(no)show,Covered,Total). klasy kowanieobiekt ó wzapisanychwpoda-

nympliku,gdzie(no)showoznacza,»eklasy kowaneobiektywrazzprzypisanymiimklasami(nie)

s¡wy–wietlane,Coveredoznaczaliczbƒobiekt ó wprzypisanychdodanejklasy,Totaloznaczaliczbƒ

wszystkichklasy kowanychobiekt ó w.

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika: