Tugas Pengantar Kecerdasan Buatan ke-1

A. Representasikan pengetahuan atau fakta berikut menggunakan logika preposisi dan predikat preposisi

1. Karjo adalah seorang laki-laki

2. Karjo adalah orang Jawa

3. Karjo lahir tahun 1840

4. Setiap laki-laki pasti akan mati

5. Semua orang Jawa mati pada saat Krakatau meletus tahun 1883

6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun

7. Sekarang tahun 2010

8. Mati berarti tidak hidup

9. Jika seseorang mati maka beberapa waktu kemudian ia pasti dinyatakan telah mati

B. Buktikan bahwa Karjo masih hidup atau sudah mati saat ini menggunakan penalaran Backward!

Jawaban :

A.

1. Laki-laki (Karjo)

2. Jawa (Karjo)

3. Lahir (Karjo,1840)

4. ∀x : laki-laki (x) → pasti mati (x)

5. Meletus (Krakatau, 1883) ∧ ∀x : [Jawa (x) → mati (x, 1883)]

6. ∀x : ∀thn1 : ∀thn2 : pasti mati (x) ∧ lahir (x, thn1) ∧ lahir (x, thn2) ∧ lebih dari (thn2 – thn1, 150) → mati (x, thn2)

7. Sekarang = 2010

8. ∀x : ∀y : [mati (x,y) → ¬hidup (x,y) ] ∧ [¬hidup (x,y) → mati (x,y)]

9. ∀x : ∀thn1 : ∀thn2 : mati (x, thn1) ∧ lebih dari (thn2 – thn1) → mati (x, thn2)

B. Penalaran Backward (membuktikan apakah Karjo masih hidup atau sudah mati)

¬ Hidup (Karjo, sekarang)
↑ (8, substitusi)
Mati (Karjo, sekarang)
↑ (9, substitusi)
Mati (Karjo, thn1) ∧ lebih dari (sekarang, thn1)
↑ (5, substitusi)
Jawa (Karjo) ∧ lebih dari (sekarang, 1883)
↑ (2)
Lebih dari (sekarang, 1883)
↑ (7, substitusi)
Lebih dari (2010, 1883)
↑ (menghitung lebih dari)
Nil

Dengan adanya nilai Nil berarti pembuktian telah sukses dilakukan dengan penalaran Backward

Kesimpulan : Karjo sudah mati saat ini

Model Manakah yg Terbaik ?

Sebelum menjelaskan panjang lebar tentang model sistem terdistribusi ada baiknya saya menjelaskan sedikit tentang pengertian sistem terdistribusi.

Sistem terdistribusi merupakan sistem yang komponennya berada pada jaringan komputer, dimana komponen tersebut saling berkomunikasi dan melakukan koordinasi hanya dengan melakukan pengiriman pesan (message passing).

Contohnya seperti internet, intranet, mobile computing, dsb.

Terdapat 3 model sistem terdistribusi :

1.Sistem client-server
Merupakan bagian dari sistem terdistribusi yang membagi jaringan berdasarkan pemberi dan penerima jasa layanan. Dimana pada jaringan akan diddapatkan file server, time server, directory server, printer server, dsb.

Contoh model client-server

2.Sistem point to point
Merupakan bagian dari model sistem terdistribusi dimana sistem dapat sekaligus berfungsi sebagai client atau server.

3.Sistem terkluster
Merupakan gabungan dari beberapa sistem individual (komputer) yang dikumpulkan pada suatu lokasi, saling berbagi tempat penyimpanan data (storage) , dan saling terhubung dalam jaringan local (Local Area Network).
Sistem kluster memiliki persamaan dengan sistem parallel dalam hal menggabungkan beberapa CPU untuk meningkatkan kinerja komputasi. Jika salah satu mesin mengalami masalah dalam menjalankan tugas, maka mesin lain dapat mengambil alih pelaksanaan tugas tersebut. Sehingga sistem akan lebih handal dan fault tolerant dalam melakukan komputasi.

Setelah menjelaskan ketiga model di atas, model manakah yang terbaik? Semua sesuai penerapannya, masing-masing model memiliki kelebihan dan kekurangan.

Sumber :
1. http://opensource.telkomspeedy.com/repo/abba/v06/Kuliah/SistemOperasi/2008/240/07.pdf

2. http://bongo90.wordpress.com/2009/10/29/pendahuluan-sistem-terdistribusi-a-k-a-sistem-tersebar/

3. http://bebas.vlsm.org/v06/Kuliah/SistemOperasi/BUKU/SistemOperasi-2.0.pdf