Modul Pratikum Sistem Pakar (Modul 4)

Transkripsi

1 1 TOPIK : PROGRAM SILSILAH KELUARGA KERAJAAN INGGRIS Dalam Praktikum kali ini, setelah anda berkenalan dengan Turbo Prolog,kini coba anda implementasikan persoalan silsilah kerajaan Inggris ini ke dalam Turbo Prolog. ATURAN DASAR Aturan dasar yang harus anda buat pada predicates program anda adalah sebagai berikut : male(name) female(name) parent(name,name) couple(name,name) ATURAN TURUNAN husband(name,name) wife(name,name) son(name,name) daughter(name,name) child(name,name) father(name,name) mother(name,name) brother(name,name) sister(name,name) grandpa(name,name) grandma(name,name) cousin(name,name) niece(name,name) nephew(name,name) uncle(name,name) aunt(name,name) daughter_in_law(name,name) son_in_law(name,name) father_in_law(name,name) mother_in_law(name,name) brother_in_law(name,name) sister_in_law(name,name) clauses /* male(x) : X adalah pria */ Yang termasuk Male : "Philip" "Charles". "Andrew".

2 2 "Edward". "Mark" "William". "Harry". "Peter" /* female(x) : X adalah wanita */ yaitu : "Elizabeth". "Diana". "Anne". "Sarah". "Zara". "Beatrice". "Eugenie". /* parent(x,y) : X adalah orangtua dari Y */ Philip dan Elizabeth adalah orang tua (Parent ) dari : "Charles". "Anne". "Andrew". "Edward". Charles dan Diana adalah orang_tua(parent ) dari : "William". "Harry". Mark dan Anne adalah orang_tua dari : "Peter". "Zara". Andrew dan Sarah adalah orang_tua dari : "Beatrice" "Eugenie". Untuk couple(x,y) lihat kembali Parent(X,Y). /* couple(x,y) : X adalah pasangan dari y */ ALGORITMA-ALGORITMA /*husband(x,y) : X adalah suami dari Y */ husband(x,y) :- husband(x,y) male(x) and couple(x,y).

3 3 /* wife(x,y) : X adalah isteri dari Y */ wife(x,y) :- wife(x,y) female(x) and couple(x,y) /* son(x,y) : X adalah anak lelaki dari Y */ son(x,y) :- son(x,y) (male(x)and father(y,x)) or (male(x) and mother(y,x)) /* daughter(x,y) : X adalah anak wanita dari Y */ daughter(x,y) :- daughter(x,y) female(x)and father(y,x)) or (female(x) and mother(y,x)) /* child(x,y) : X adalah anak dari Y */ child(x,y) :- child(x,y) son(x,y) or daughter(x,y). /* father(x,y) : X adalah ayah dari Y */ father(x,y) :- father(x,y) male(x) and parent(x,y). /* mother(x,y) : X adalah ibu dari Y */ mother(x,y) :- mother(x,y) female(x) and parent(x,y).

4 4 /* brother(x,y) : X adalah saudara laki-laki dari Y */ brother(x,y) :- brother(x,y) male(x) and parent(f,x) and parent(f,y) and X Y. /* sister(x,y) : X adalah saudara wanita dari Y */ sister(x,y) :- sister(x,y) female(x) and parent(f,x) and parent(f,y) and X Y. /* grandpa(x,y) : X adalah kakek dari Y */ grandpa(x,y) :- grandpa(x,y) male(x) and parent(x,z) and parent(z,y). /* grandma(x,y) : X adalah nenek dari Y */ grandma(x,y) :- grandma(x,y) female(x) and parent(x,z) and parent(z,y). /* cousin(x,y) : X adalah saudara sepupu dari Y */ cousin(x,y) :- cousin(x,y) (brother(z,w) and parent(z,y) and parent(w,x) and Z W) or (sister(z,w) and parent(z,y) and parent(w,x) and Z W) /* niece(x,y) : X adalah kemenakan wanita dari Y */ niece(x,y) :- niece(x,y) (brother(u,y) and parent(u,x) and female(x))

5 5 female(x)) or (sister(u,y) and parent(u,x) and /* nephew(x,y) : X adalah kemenakan laki-laki dari Y */ nephew(x,y) :- nephew(x,y) (male(x) and parent(u,x) and brother(u,y)) or (male(x) and parent(u,x) and sister(u,y)) /* son_in_law(x,y) : X adalah menantu laki-laki dari Y */ son_in_law(x,y) :- son_in_law(x,y) couple(u,x) and daughter(u,y). /* daughter_in_law(x,y) : X adalah menantu wanita dari Y */ daughter_in_law(x,y) :- daughter_in_law(x,y) couple(u,x) and son(u,y). /* father_in_law(x,y) : X adalah bapak mertua dari Y */ father_in_law(x,y) :- father_in_law(x,y) couple(u,y) and father(x,u). /* mother_in_law(x,y) : X adalah ibu mertua dari Y */ mother_in_law(x,y) :- mother_in_law(x,y) couple(u,y) and mother(x,u). /* sister_in_law(x,y) : X adalah ipar wanita dari Y */ sister_in_law(x,y) :- sister_in_law(x,y) female(x) and parent(u,y) and daughter_in_law(x,u) and not (couple(x,y)). /* brother_in_law(x,y) : X adalah ipar pria dari Y */

6 6 brother_in_law(x,y) :- brother_in_law(x,y) male(x) and parent(u,y) and son_in_law(x,u) and not(couple(x,y)). /* uncle(x,y) : X adalah paman dari Y */ uncle(x,y) :- uncle(x,y) (parent(u,y) and brother(x,u)) or (parent(u,y) and brother_in_law(x,u)) /* aunt(x,y) : X adalah bibi dari Y */ aunt(x,y) :- aunt(x,y) (parent(u,y) and sister(x,u)) or (parent(u,y)and sister_in_law(x,u)) CONTOH QUERY-QUERY Goal: Male("Philip") Yes Goal: Parent(X,"Charles") X=Philip X=Elizabeth 2 Solutions Goal: Son(X,"Philip") X=Charles X=Andrew X=Edward 3 Solutions Goal: Child("Harry","Charles") Yes Goal: Mother("Diana",X) X=William X=Harry 2 Solutions

7 7 Goal: father_in_law("philip",x) X=Diana X=Mark X=Sarah 3 Solutions