TUGAS SISTEM PAKAR 1

Posted on

1. SOAL 1

Rubahlah proposisi di bawah ini ke dalam bentuk predicate calculus:

1. Proposition : Garfield adalah seekor kucing.

Predicate Calculus : Seekor kucing (Garfield)

2. Proposition : Garfield adalah tokoh kartun.

Predicate Calculus : tokoh kartun (Garfield)

3. Proposition : Semua kucing adalah binatang.

Predicate Calculus : X,  [kucing(X) àbinatang (X)]

4. Proposition : Setiap orang menyukai seseorang.

Predicate Calculus : (X), [orang (X) àsuka (X, Seseorang)]

5. Proposition : Semua kucing menyukai atau membenci anjing.

Predicate Calculus : X,  [kucing (X) à menyukai (X, anjing) V membenci (X, anjing)]

6. Proposition : Seseorang hanya mencoba melukai seseorang yang mereka tidak suka.

Predicate Calculus : X, X, [Seseorang(X)  à melukai ( X, Y) ^ ~Suka q(X,Y)]

7. Proposition : Garfield mencoba melukai anjing Rover.

Predicate Calculus : Melukai (Garfield, anjing Rover)

 

2. SOAL 2

– Korban meninggal = Meninggal(x)

– Korban adalah perempuan = Sex(X)=Perempuan

–  Jono dan suryo mengenal korban = mengenal(Y, X) ^  mengenal(Y, X)

–  Korban mengenal toni dan jono = mengenal(X , Y) ^  mengenal(X , Y)

–  Si pembunuh mengenal korban = mengenal(X , X)

–  Susi adalah korban = Korban(X)

–  Jono membenci susi = Benci(Y , X)

–  Suryo membenci toni = Benci (Y, Y)

– Toni membenci jono = Benci (Y, Y)

– Korban mengenal seseorang yang membenci pembunuh tersebut = Mengenal(X, Y )  ^  membenci( Y , X)

JADI:

–   Meninggal(x)  ^  Sex(X)=Perempuan ^ Korban(X) à korban itu adalah susi yang berjenis kelamin perempuan.

–  mengenal(X , Y) ^  mengenal(X , Y)  ^  mengenal(X , Y) ^  mengenal(X , Y) à dari salah satu Y yang dikenal oleh X dan X juga mengenal Y adalah Jono

–  Benci(Y , X) ^ Benci (Y, Y) ^ (Mengenal(X, Y )  ^  membenci( Y , X))  à dari pernyataan tersebut dapat diketahui Y yang  mana korban X itu mengenal Seseorang yang dibeci oleh seseorang lainnya,  maka pembunuh adalah Jono

 

One thought on “TUGAS SISTEM PAKAR 1

    isliana said:
    Juni 2, 2015 pukul 3:12 am

    Please follow me…🙂

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s