Pengenalan Logical Agent

Pengenalan Logical Agent

FLAGON CHRISTOFEL 1D114121
REYNHARD RAMADHAN HALAKA 19114147 
FAJAR MAULANA 13114863 

Logical agent

Agen logika merupakan agen yang memiliki kemampuan bernalar secara logika.

Ketika beberapa solusi tidak secara eksplisit diketahui, maka diperlukan suatu agen berbasis logika.

Logika sebagai Bahasa Representasi Pengetahuan memiliki kemampuan untuk merepresentasikan fakta sedemikian sehingga dapat menarik kesimpulan (fakta baru, jawaban).

Sedangkan pengetahuan merupakan komponen yang penting, sehingga terdapat perbedaan jika diterapkan pada dua agent, yakni problem solving agent dan knowledge-based agent

Perbedaan dua agent, problem solving agent dan knowledge-based agent.

• Problem solving agent: memilih solusi di antara kemungkinan yang ada. Apa yang ia “ketahui” tentang dunia, pengetahuannya tidak berkembang untuk mencapai problem solution (initial state, successor function, goal test)
• Knowledge-based agent: lebih “pintar ”. Ia “ mengetahui ” hal-hal tentang dunia dan dapat melakukan reasoning (berpikir, bernalar ) mengenai : Hal-hal yang tidak diketahui sebelumnya (imprefect/ partial information), Tindakan yang paling baik untuk diambil (best action)

Logic merupakan jantung dari program, para pemrogram mempunyai keyakinan bahwa sebuah computer dapat dibuat mengerti logika, maka computer dapat dibuat untuk berfikir, karena logika kelihatannya menjadi inti dari kecerdasan.

1. Problem solving agent hanya bisa menyelesaikan masalah yang lingkungannya accessibl
2. Kita membutuhkan agen yang dapat menambah pengetahuan dan menyimpulkan keadaan
3. Agent yang akan membantu seperti ini kita beri nama knowledge based agent

Knoeledge base agen 

Knoeledge base (KB) adalah teknologi yang digunakan untuk menyimpan informasi terstruktur dan tidak terstruktur yang kompleks yang digunakan oleh sistem komputer. Penggunaan awal istilah itu sehubungan dengan sistem pakar yang pertama sistem berbasis pengetahuan

 

Knoeledge base (KB) = setiap kalimat dalam bahasa formal

• Pendekatan deklaratif untuk membangun agen (atau sistem lainnya)
• Maka dapat bertanya pada diri sendiri apa yang harus dilakukan - jawaban harus mengikuti dari KB tersebut
• Perbedaan antara data dan program yang
• Realisasi Semaksimal Mungkin filosofi ini adalah di bidang ahli
• Agen harus mampu: Mewakili negara, tindakan, Menggabungkan persepsi baru, Update representasi internal dunia, Menyimpulkan sifat tersembunyi dari dunia,Menyimpulkan tindakan yang tepat
• Sistem atau sistem pengetahuan atau sistem berbasis pengetahuan pada 1970-an dan 1980-an

Wumpus World

deskripsi Wumpus World :

• ukuran Kinerja : Emas 1000, kematian -1000, -1 Per langkah, -10 untuk menggunakan panah
• Lingkungan Hidup

- Kuadrat berdekatan dengan Wumpus bau

- Kuadrat berdekatan dengan lubang-lubang yang berangin

- Glitter IFF emas di alun-alun yang sama

- Shooting membunuh Wumpus jika Anda menghadapi itu

- Shooting menggunakan up-satunya panah

- Meraih mengambil emas jika di alun-alun yang sama

- Melepaskan tetes emas di alun-alun yang sama

• Actuators: gilirannya Kiri, giliran Kanan, Maju, Grab, Rilis, Tembak
• Sensor: Bau, Breeze, Glitter, Bump, Scream

Logic in General – Models and Entailment

Logica

• Logika adalah bahasa resmi untuk merepresentasikan informasi sehingga kesimpulan yang bisa ditarik
• Sintaks mendefinisikan kalimat dalam bahasa
• Semantik mendefinisikan "arti" dari kalimat;Yaitu, menentukan kebenaran kalimat di dunia
• Mis, bahasa aritmatika X + 2 ≥ y adalah kalimat; x2 + y> {} tidak kalimat

- X + 2 ≥ y benar jika dan hanya jika jumlah x + 2 adalah tidak kurang dari jumlah y

- X + 2 ≥ y benar di dunia di mana x = 7, y = 1

- X + 2 ≥ y adalah palsu di dunia di mana x = 0, y = 6


Model

 

• 
  
  Logicians biasanya berpikir dalam hal model, yang secara resmi dunia terstruktur terhadap yang sebenarnya dapat dievaluasi

• Kita mengatakan m adalah model dari α kalimat jika α benar dalam m

- Ungkapan Alternatif: m memenuhi a

• M (α) adalah himpunan semua model α

- Semua model mana α benar

• Kemudian KB ╞ α IFF M (KB)  M (α)

- Mis KB = Giants menang dan Reds 

- memenangkan α = Giants menang 

Entailment

Entailment berarti bahwa satu hal berikut dari lain

α KB ╞  

• Pengetahuan dasar KB memerlukan kalimat α jika dan hanya jika α benar di semua dunia di mana KB benar

- Mis, KB yang mengandung "Giants menang" dan " Reds menang "memerlukan" Entah Giants menang atau The Reds won"

- Mis, x + y = 4 memerlukan 4 = x + y

• bagian mana yang sintaks dan bagian mana yang semantik? 

- Entailment adalah hubungan antara kalimat (yaitu, sintaks) yang didasarkan pada semantik 

Sumber :

https://www.cs.columbia.edu/~jvoris/AI/notes/m7-logic.pdf
https://www.scribd.com/doc/195203215/Agen-Logikahttps://rinnooberta.wordpress.com/2013/10/18/2-logical-agents/
https://rinnooberta.wordpress.com/2013/10/18/2-logical-agents/ 

Read More