Agen Logikal. 1. Agen Berbasis-Pengetehuan (Knowledge-Based Agents/KB)

Transkripsi

1 Agen Logikal. Agen Berbasis-Pengetehuan (Knowledge-Based Agents/KB) Sebuah basis pengetahuan (knowledge base) adalah sebuah himpunan dari kalimat-kalimat. Setiap kalimat dinyatakan dalam sebuah bahasa yang disebut bahasa representasi pengetahuan (knowledge representation language), yang merepresentasikan pernyataan-pernyataan terkait lingkungan. Jika sebuah kalimat dibangun tanpa didasari oleh kalimat-kalimat lainnya, maka kalimat ini disebut aksioma. Pengetahuan baru dapat dimasukkan ke dalam basis pengetahuan dengan operasi TELL, dan operasi ASK digunakan untuk mememinta pengetahuan yang dimiliki. Kedua operasi tersebut dapat memgakibatkan inferensi, yaitu pembentukan kalimat baru berdasar kalimat-kalimat yang ada. Setiap kali program dipanggil, ia melakukan 3 hal:. Memberitahukan (TELL) basis pengetahuan tentang apa yang dipersepsikan 2. Meminta (ASK) kepada basis pengetahuan tentang tindakan apa yang harus dilakukan. 3. TELL basis pengetahuan tindakan apa yang dipilih, dan agen mengeksekusi tindakan tersebut. Dalam merespon proses query di atas, program melakukan pertimbangan ekstensif terkait keadaan terkini dari lingkungannya, terkait barisan aksi yang mungkin diambil, dan seterusnya. Berikut adalah garis besar program agen berbasis-pengetahuan. Sebagaimana agen pada umumnya, program tersebut mengambil persepsi sebagai input, dan tindakan sebagai outputnya. Penjelasan: MAKE-PERCEPT-SENTENCE: mengkonstruksi kalimat yang mendeskripsikan penginderaan yang diterima agen pada saat tersebut. MAKE-ACTION-QUERY: mengkonstruksi kalimat yang meminta tindakan-tindakan apa yang perlu diambil. MAKE-ACTION-SENTENCE: mengkonstruksi kalimat yang mendeskripsikan bahwa tindakan tertentu dipilih dan dieksekusi. Pendefinisian TELL dan ASK inilah yang menyebakan agen berbasis pengetahuan bukanlah program biasa. Program ini dapat menerima ( mengerti ) deskripsi pada

2 level pengetahuan yang dimilikinya, di mana kita hanya perlu mendeskripsikan hal-hal yang dimengerti agen dan tujuan yang diharapkan, demi meningkatkan kemampuannya. Contoh, sebuah taksi otonom bertugas mengantarkan penumpang dari Jakarta ke Tangerang, dan memiliki pengetahuan bahwa Tol Jakarta-Tangerang adalah satu-satunya jalan penghubung keduanya. Maka sudah pasti taksi tersebut akan melalui Tol Jakarta-Tangerang karena ia mengetahui bahwa hal ini menyebabkan tercapainya tujuan. Sebuah agen berbasis-pengetahuan dapat dibangun dengan memberitahukan (TELL) apa saja yang perlu ia ketahui. Dimulai dari basis-pengetahuan yang kosong, perancang agen dapat men-tell kalimat satu per satu sampai agen mengetahui bagaimana beroperasi dalam lingkungannya. Metode ini disebut pendekatan deklaratif. Dalam pengembangannya, sebuah agen berbasis pengetahuan dapat memiliki kemampuan untuk belajar secara mandiri. 2. Wumpus World Wumpus world adalah sebuah permainan yang menampilkan agen berbasis pengetahuan. Deskripsi PEAS pada Wumpus World: Performa: 000 poin untuk mengambil emas -000 poin jika agen mati poin untuk setiap tindakan -0 poin untuk menggunakan panah Environment: Agen memulai perjalanan dari petak (,) Emas berada pada sebuah petak Wumpus berada pada sebuah petak, dan tidak berpindah Beberapa petak kemungkinan berisi lubang, sehingga agen dapat terjatuh ke dalamnya Actuator: Belok 90 derajat ke kiri/kanan Berjalan maju satu petak sesuai arah agen saat itu Mengambil objek pada petak Menembak sebuah panah sesuai arah agen saat itu Sensor Agen memiliki sensor benar/salah yang mendeskripsikan: Stench (aroma), ketika Wumpus berada di petak yang berdampingan Breeze (hembusan), jika petak sebelah ada lubangnya Glitter (kilau), jika agen berada pada petak yang memuat emas Bump (benturan), jika agen berjalan menabrak dinding Scream (teriak), jika panah mengenai Wumpus dan membunuhnya

3 Contoh urutan langkah:

4 3. Logika Logika merupakan representasi pengetahuan menurut sintaks (tata bahasa) dari bahasa representasi. Logika juga harus mendefinisikan semantik atau arti dari kalimat. Semantik mendefinisikan nilai kebenaran dari setiap kalimat terkait dengan lingkup-yangmungkin. Sebagai contoh, semantik untuk aritmetika menspesifikasikan bahwa kalimat x+y=4 adalah benar di dalam lingkup di mana x=2 dan y=2, namun adalah salah di dalam lingkup di mana x= dan y=. Dalam logika baku, setiap kalimat harus bernilai benar atau salah, namun tidak keduanya, dan tidak ada nilai di antara benar dan salah. Lingkup-yang-mungkin dapat direpresentasikan dalam bentuk model. Sebagai contoh, jika terdapat x pria dan y wanita duduk di sekeliling sebuah meja makan, maka kalimat x+y=4 adalah benar jika jumlah mereka adalah 4 orang. Secara formal, model yang mungkin untuk contoh tersebut pada dasarnya adalah pengalokasian bilangan riil yang mungkin bagi x dan y. Setiap pengalokasian memberikan nilai kebenaran bagi kalimat tersebut. Jika sebuah kalimat α bernilai benar dalam model m, maka dikatakan bahwa m memenuhi α, atau m adalah model dari α. Notasi M (α) bermakna himpunan dari semua model α. Jika kalimat-kalimat dengan nilai benar sudah didapat, maka pertimbangan logis dapat dilakukan. Hal ini melibatkan relasi konsekuensi logis antar kalimat-kalimat, di mana terdapat kalimat-kalimat yang merupakan konsekuensi logis dari kalimat lainnya. Secara matematis dinotasikan: α = β, yang berarti bahwa kalimat α menyebabkan konsekuensi kalimat β. Atau dapat dinyatakan: α = β jika dan hanya jika M ( α) M ( β ). Dalam contoh Wumpus World. Berdasarkan gambar di atas, diambil dua kesimpulan yang mungkin: α = Tidak ada lubang di [,2]

5 α 2 = Tidak ada lubang di [2,2] Dari telaah lanjutan, diperoleh bahwa pada setiap model di mana KB adalah benar, α juga benar. Dalam hal ini dinyatakan: KB = α : tidak ada lubang di [,2] Diperoleh pula bahwa pada beberapa model di mana KB adalah benar, α 2 salah. Artinya, agen tidak dapat menyimpulkan bahwa tidak ada lubang di [2,2], dan juga tidak dapat menyimpulkan bahwa ada lubang di [2,2]. Cara mengambil kesimpulan sebagaimana di atas disebut inferensi logikal. 3. Logika Proposisi Sebuah kalimat sederhana terdiri dari sebuah simbol proposisi, yang dapat bernilai benar atau salah. Kalimat majemuk dibentuk dari beberapa kalimat sederhana yang dihubungkan dengan penghubung logikal. Terdapat 5 jenis kata penghubung beserta simbolnya: (tidak/not): negasi. (dan/and): konjungsi. (atau/or): disjugsi. (jika maka /if then ): implikasi ( jika dan hanya jika ): biimplikasi. Tabel kebenaran:

6 Logikal ekivalensi standar Berdasarkan semantik di atas, dapat dibentuk basis pengetahuan untuk Wumpus world, dengan mendefinisikan simbol berikut yang mendeskripsikan kotak (x,y): benar jika terdapat lubang di (x,y) P W B S benar jika terdapat wumpus di (x,y), hidup atau mati benar jika agen merasakan hembusan di (x,y) benar jika agen merasakan aroma di (x,y) Kalimat-kalimat berikut diperlukan untuk membentuk basis pengetahuan untuk menyimpulkan keberadaan lubang di (,2). Untuk memudahkan rujukan, kalimat-kalimat tersebut dilabeli Ri Tidak ada lubang di (,): R : P, Sebuah petak terdapat hembusan jika dan hanya jika terdapat lubang di petak yang bersebelahan: R B ( P ) R 2 :,,2 P2, 3 : B2, ( P, P2,2 P3, ) Setelah agen mengunjungi petak (,) dan (2,), diperoleh fakta: R R 5 : B 2, 4 : B,

7