3/12/2018

Problem solving Agent

• Memilih solusi diantara kemungkinan yang ada.

• Apa yang ia “ketahui” tentang dunia tidak
berkembang → PROBLEM SOLUTION :
– Initial state
– A set of action
sensors
– Goal test
– Path cost ?
environment
agent

actuators
o Formulate Goal
o Formulate Problem
States
Actions
o Find Solution
o Execution

1
 3/12/2018

Knowledge-Based Agent

• Lebih pintar.
• Mengetahui hal-hal tentang dunia dan dapat
melakukan reasoning (berpikir nalar), mengenai :
– Hal-hal yang tidak diketahui sebelumnya
(imperfect / partial information).
– Tindakan yang paling baik untuk diambil.

Knowledge-Based Agent

sensors

?
environment
agent

actuators Domain-specific content

Knowledge base
Inference Engine
Domain-independent algorithms

2
 3/12/2018

Knowledge-Based Agent

• Komponen utama Knowledge-based

agent : Knowledge base (KB).

• Knowledge base, adalah :

– Suatu representasi fakta (fact) tentang
lingkungannya (world).
Maksudnya adalah apa yang “diketahui
oleh agent.

Knowledge-Based Agent

• Setiap representasi fakta → sentence.

Jadi knowledge base terdiri dari sentence-sentence.
• Sentence diekspresikan dalam bahasa Knowledge
Representation Language
• Contoh sentences :
– Jika A benar, kemudian B benar.
– Semua manusia adalah makhluk hidup.
– Andi adalah manusia.

3
 3/12/2018

Tell & Ask

• Untuk menambahkan sentence baru ke KB,agar

memperluas pengetahuan dari knowledge-based agent,
dilakukan dengan cara : Mencari/ mengetahui apa yang
telah diketahuinya
(pekerjaan TELL & ASK)
• TELL :
Pendekatan deklaratif membangun agent: “beritahu”
informasi yang relevan, simpan dalam KB (menambahkan
sentence baru ke KB).

• ASK :
Agen dapat ditanya (atau bertanya diri sendiri) apa yang
sebaiknya dilakukan berdasarkan KB.

Knowledge-Based Agent

• Sebuah knowledge-based agent harus bisa:

– Merepresentasikan world, state, action, ...
– Menerima informasi baru
(dan meng-update representasinya)
– Menyimpulkan pengetahuan lain yang
tidak eksplisit (hidden property)
– Menyimpulkan action apa yang perlu
diambil

4
 3/12/2018

3 Level
Penjabaran Knowledge-Based Agent

1. Knowledge Level

2. Logical Level

3. Implementation Level

3 Level
Penjabaran Knowledge-Based Agent

1. Knowledge Level/ Epistemological Level

Level abstrak menjelaskan agent dengan
menyebutkan apa yang diketahui.

Contoh :
Agent taxi dapat mengetahui :
Golden Gate Bridge adalah jembatan yang
menghubungkan San Fransisco dengan
Marin Country

5
 3/12/2018

3 Level
Penjabaran Knowledge-Based Agent

2. Logical Level

Level knowledge dikodekan kedalam

sentence (kalimat)

Contoh :
Links(GoldenGateBridge,SanFransisco,MarinCountry)

3 Level
Penjabaran Knowledge-Based Agent

3. Implementation Level

Level terendah, perwakilan fisik dari sentence

yang berasal dari logical level.

Contoh :
Direpresentasikan dlm bentuk string:
“Links(GoldenGateBridge,SanFransisco,MarinCountry
)”

6
 3/12/2018

Wumpus world

• Agent selalu
mulai pada
kotak [1,1].

• Tugas agen
adalah
menemukan
emas (gold),
dan kembali ke
kotak [1,1]

Deskripsi PAGE Wumpus

• Percepts:
Angin sepoi (Breeze), Kelap kelip (Glitter), Bau
(Smell)

• Actions:
Ke kiri, kanan, maju, mengambil, melepaskan,
menembak

• Goals:
Mendapatkan emas (gold) kembali ke start tanpa
masuk kedalam lubang (pit) atau kotak wumpus
(wumpus square)

7
 3/12/2018

Deskripsi PAGE Wumpus

• Environment (world) :
– Kotak yang berdekatan wumpus akan bau (smelly)
– Kotak yang berdekatan lubang (pit) akan berangin
sepoi (breezy)
– Berkelap-kelip (glitter) jika dan hanya jika emas (gold)
berada pada kotak tersebut
– Menembak wumpus jika bertemu dengannya
– Menembak menggunakan tanda panah atas
– Ambil dan bawa emas jika berada pada kotak yang
sama
– Melepaskan dan meninggalkan emas pada kotak yang
sama

Karakteritik Wumpus world

• Accessible? Ya

• Deterministic? Ya,hasilnya diketahui secara pasti

• Episodic? Tidak, ada keterkaitan dengan yang lain

• Static? Ya – Wumpus, Pits & Gold tidak bergerak

• Discrete? Ya

8
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK 1,2 2,2 3,2 4,2

OK
OK 1,1 OK 2,1 3,1 4,1

A
Agent

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A
Agent

9
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Agent

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Agent

10
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

Pit?

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Agent Pit?

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

Pit?

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A
Agent Pit?

11
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

Agent Pit?

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

OK
OK
1,2 2,2 3,2 4,2

Agent Pit?

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

12
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

Wumpus?

OK
OK
1,2 2,2 3,2 4,2

Agent Pit?
Wumpus?

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

Wumpus!

OK
OK
1,2
OK
2,2 3,2 4,2

Agent

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

13
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

Wumpus!

OK
OK
1,2
OK
2,2 3,2 4,2

Agent

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

Agent
Wumpus!

OK
OK
1,2
OK
2,2 3,2 4,2

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

14
 3/12/2018

Wumpus world

1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

Agent
Wumpus!

OK
OK
1,2
OK
2,2 3,2 4,2

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

Wumpus world

1,4 2,4 3,4 4,4

Pit?

1,3 2,3 3,3 4,3

Agent
Wumpus! Pit?

OK
OK
1,2
OK
2,2 3,2 4,2

OK
OK 1,1 OK
OK 2,1 3,1 4,1

A Pit?

15
 3/12/2018

Knowledge representation language

• Knowledge representation language (KRL):

– Bahasa yang digunakan untuk menyatakan fakta
tentang “dunia”.
– Untuk mengekspresikan pengetahuan dalam
bentuk tabel yang dimengerti komputer

• Syntax : Aturan menentukan sentence dalam

bahasa

• Semantic : Aturan menentukan arti/makna dari

sentence.

Contoh KRL: bahasa aritmetika

Syntax :
• x+2 ≥ y (suatu sentence)
• x2 + y ≥ (bukan suatu sentence)
Semantic :
• x+2 ≥ y , menyatakan kondisi benar jika dan hanya jika nilai x+2
lebih besar atau sama dengan nilai y, dan menyatakan kondisi
salah jika dan hanya jika nilai x+2 lebih kecil dari nilai y
– x+2 ≥ y
Akan bernilai benar pada lingkungannya,
jika x = 7, y = 1
– x+2 ≥ y
Akan bernilai salah pada lingkungannya,
jika x = 0, y = 6

16
 3/12/2018

Contoh KRL: bahasa Indonesia

Syntax :
• “Jakarta adalah ibukota Indonesia”.(suatu sentence)
• “Ibu Indonesia kota Jakarta adalah”.(bukan suatu sentence)

Semantic :
• “X adalah ibukota Y”, menyatakan kondisi benar jika dan hanya
jika X adalah pusat pemerintahan negara Y.
– “Jakarta adalah ibukota Indonesia”
Akan bernilai benar pada lingkungannya, jika kondisi masa
sekarang.
– “Jakarta adalah ibukota Indonesia”
Akan bernilai salah pada lingkungannya, jika kondisi pada thn 1948
(Yogya? Bukittinggi?).

Hubungan Sentence-Fakta

Entail
Sentences Sentences
KB α

Logical
Semantics

Semantics

Representation

World

Follows
Facts Facts
• Semantic memetakan sentence (dalam logic) kedalam fact
(fakta) sebenarnya.
• Sifat dari 1 fakta, mengikuti dari yang lain (yang dicerminkan
dari sifat 1 sentence yang di-entail oleh yang lain (inferred from)

17
 3/12/2018

Entailment

• Entailment :
– Sesuatu mengikuti dari yang lain.
– Jika suatu sentence baru dibentuk dan
menghasilkan kebenaran, karena sentence lama
menghasilkan kebenaran.
KB ╞ α (KB entails α)

• Contoh KB entailment:
– “Adi menang” dan “Budi menang” entails
“Salah satu Adi menang atau Budi menang”
– x>0 dan y>0 = 4 entails x+y>0

Inference

• KB├i α
α dapat diperoleh dari KB karena i (inference)

• Inference (Kesimpulan) :

Infererence Rule ada, artinya : jika konklusi benar

dalam seluruh kasus dimana premisnya benar.

18
 3/12/2018

Logics (Logik)

• Bahasa formal untuk merepresentasikan informasi.

• Suatu logika terdiri dari :

1. Sistem formal yang melibatkan :

• Syntax : Menentukan cara menuliskan sentence
• Semantic : Menentukan arti dari sentence

2. Teori Pembuktian :
Sederetan peraturan untuk men-deduksi suatu set
sentence.

Logics (Logik)
ONTOLOGICAL EPISTEMOLOGICAL
LANGUAGE COMMITMENT COMMITMENT
(WHAT EXIST IN THE WORLD) (WHAT AGENT BELIEVES ABOUT FACTS)

Propositional Logic facts true/false/ unknown

First-order logic facts, objects, relations true/false/ unknown

Temporal logic facts, objects, relations, times true/false/ unknown

Probability theory facts degree of belief ∈[0,1]

Fuzzy logic degrees of truth degree of belief ∈[0,1]

19
 3/12/2018

Propotional logic: Syntax

• Logic yang paling sederhana

• Keterangan :
– Konstanta Logical : true (T), false (F)
– Simbol Propositional : P, Q, S, ...
– Konektivitas logikal : ∧, ∨, ⇔, ⇒ dan ¬

Propotional logic: Syntax

Simbol Baca Operasi

∧ And (dan) Conjuction
∨ Or (atau) Disjunction
⇒ ( ⊃, → ) Implies (maka) Implication
Equivalent
⇔ Equivalence
(jika dan hanya jika)
¬ Not (tidak) Negation

20
 3/12/2018

Propotional logic: Syntax

• Contoh Sentence :
1. T atau F adalah sentence
2. Individual proposition symbols: P, Q, ... adalah
sentences
3. Jika S1 dan S2 adalah sentences,
begitu juga :
S1 ∧ S2, S1 ∨ S2, S1 ⇒ S2, S1 ⇔ S2, ¬S1

• Order of precedence (hak lebih tinggi) dari logical

connectors
¬ , ∧, ∨, ⇒ , ⇔

Menterjemahkan

• Diketahui Simbol:
–P : It is sunny this afternoon
–Q : it is colder than yesterday
–R : We will go swimming
–S : We will take a canoe trip
–T : We will be home by sunset

• Jika ada sentences sebagai berikut :

– It is not sunny this afternoon and it is colder than
yesterday.
¬p ∧ q

21
 3/12/2018

Menterjemahkan

• Diketahui Simbol:
–P : It is sunny this afternoon
–Q : it is colder than yesterday
–R : We will go swimming
–S : We will take a canoe trip
–T : We will be home by sunset

• Jika ada sentences sebagai berikut :

– We will go swimming only if it is sunny.
P⇒R

Menterjemahkan

• Diketahui Simbol:
–P : It is sunny this afternoon
–Q : it is colder than yesterday
–R : We will go swimming
–S : We will take a canoe trip
–T : We will be home by sunset

• Jika ada sentences sebagai berikut :

– If we do not go swimming then we will take a
canoe trip.
¬R ⇒ S

22
 3/12/2018

Menterjemahkan

• Diketahui Simbol:
–P : It is sunny this afternoon
–Q : it is colder than yesterday
–R : We will go swimming
–S : We will take a canoe trip
–T : We will be home by sunset

• Jika ada sentences sebagai berikut :

– If we take a canoe trip, then we will be home by
sunset.
S⇒T

Validity Propositional logic

• Jika setiap baris dari sentence menghasilkan Logik

“True”, maka sentence disebut Sentence Valid

Model: A=True, B=False, C=False, D=True

(¬A ∨ B ⇒ C) ⇒ D ∧ A
F

T T

23
 3/12/2018

Propotional Logic: Semantics

(Tabel Kebenaran)

P Q ¬P P∧Q P∨Q P⇒Q P⇔Q

F F T F F T T

F T T F T T F

T F F F T F F

T T F T T T T

Implikasi selalu benar

ketika premises adalah salah!

Propositional Inference:
Enumeration Method

• Jika : α=Α ∨ Β dan KB = (Α ∨ C) ∧ (B ∨ ¬C)

• Bagaimana maksud dari KB ╞ α ?
• Cek semua kemungkinan -- α akan bernilai benar jika KB bernilai benar

KB α
A B C
(Α ∨ C) ∧ (B ∨ ¬C) Α∨Β
False False False False
False False True False
False True False False
False True True True
True False False True
True False True False
True True False True
True True True True

24
 3/12/2018

Propositional Inference:
Enumeration Method

• Jika : α=Α ∨ Β dan KB = (Α ∨ C) ∧ (B ∨ ¬C)

• Bagaimana maksud dari KB ╞ α ?
• Cek semua kemungkinan -- α akan bernilai benar jika KB bernilai benar

KB α
A B C
(Α ∨ C) ∧ (B ∨ ¬C) Α∨Β
False False False False False
False False True False False
False True False False True
False
True
True
False
KB╞
True
False
α True
True
True
True
True False True False True
True True False True True
True True True True True

Aturan Resolusi
Modus Ponens A ⇒B , A
B
And-Elimination A1∧ A2 ∧ K ∧ An
Ai
And-Introduction A1,A2, K ,An
A1∧ A2 ∧ K ∧ An
Or-Introduction Ai
A1∨ A2 ∨ K ∨ An
Double-Negation Elimination ¬¬A
A
Unit Resolution A ∨B , ¬B
A
Logic connectives A ∨B , ¬B ∨C ¬A ⇒B , B ⇒C
atau
A ∨C ¬A ⇒C

25
 3/12/2018

Aturan Resolusi
Modus Ponens A⇒ B , A
B
And-Elimination A1∧ A2 ∧ K ∧ An
Ai
And-Introduction A1,A2, K ,An
A1∧ A2 ∧ K ∧ An
Or-Introduction Ai
A1∨ A2 ∨ K ∨ An
Double-Negation Elimination ¬¬A
A
Unit Resolution A ∨B , ¬B
A
Logic connectives A ∨B , ¬B ∨C ¬A ⇒B , B ⇒C
atau
A ∨C ¬A ⇒C

Modus Ponens

• . B,
A⇒ A Premise

B Inference / conclusion

• Jika kedua sentence pada premise “true”,

kemudian conclusion “true”
• Bisa dibuktikan dengan tabel kebenaran :

26
 3/12/2018

Modus Ponens

• A⇒
. B, A
B

• Contoh :
– A : Spot adalah seekor anjing
– A⇒B: Jika Spot adalah seekor anjing
maka Spot adalah mamalia.
– B : Spot adalah mamalia.

Contoh : And Elimination

• A1.∧ A2 ∧ K ∧ An Premise

Ai Inference

• Contoh :
– A1∧ A2 : Toni besar dan bersahabat
– A2 : Toni bersahabat
– A1 : Toni besar

27
 3/12/2018

Contoh Inference Rule

• Diketahui KB :
P∧Q P⇒R (Q ∧ R) ⇒ S

• Penyelesaian :
1. P ∧ Q 3. (Q ∧ R) ⇒ S
– A1 : P A1∧ A2 ∧ K ∧ An B:S
Ai
– A2 : Q A ⇒B , A
2. P ⇒ R B
4. S
– B:R A ⇒B , A
B

Knowledge Base Wumpus World

• Setiap perubahan yang diterima oleh

agent
diubah ke sentence
(knowledge base)

• Keterangan :
– B=Breeze
– S=Stench
– W=Wumpus

28
 3/12/2018

Knowledge Base Wumpus World

• Percept sentences :
– Tidak ada stench di [1,1] : ¬S1,1
– Tidak ada breeze di [1,1] : ¬B1,1
– Tidak ada stench di [2,1] : ¬S2,1
– Ada breeze di [2,1] : B2,1
– Ada stench di [1,2] : S1,2
– Tidak ada breeze di [1,2] : ¬B1,2

Knowledge Base Wumpus World

• Environment Knowledge sentences

(dalam Rule) :
– R1 : ¬S1,1 ⇒ ¬W 1,1 ∧ ¬W 1,2 ∧ ¬W 2,1
– R2 : ¬S2,1 ⇒ ¬W 1,1 ∧ ¬W 2,1 ∧ ¬W 2,2 ∧ ¬W 3,1
– R3 : ¬S1,2 ⇒ ¬W 1,1 ∧ ¬W 1,2 ∧ ¬W 2,2 ∧ ¬W 1,3
– R4 : S1,2 ⇒ W1,3 ∨ W 1,2 ∨ W 2,2 ∨ W 1,1
.
.
. 1,4 2,4 3,4 4,4

– R100:¬B1, 1⇒ ¬ P1, 1 ∧¬ P2, 1 ∧ ¬ P1,2 1,3 2,3 3,3 4,3

1,2 2,2 3,2 4,2

1,1 2,1 3,1 4,1

29
 3/12/2018

Inference Wumpus World

Proses pencarian wumpus sebagai berikut : A ⇒B , A
B
1. Gunakan R1 dengan Modus Ponen, maka didapatkan :
• R1 : ¬S1,1 ⇒¬W 1,1 ∧ ¬W 1,2 ∧ ¬W 2,1 (A⇒B )
• B : ¬W 1,1 ∧ ¬W 1,2 ∧ ¬W 2,1

2. Gunakan And-Elimination, maka didapatkan :

• ¬W 1,1 ∧ ¬W 1,2 ∧ ¬W 2,1 (A1∧A2∧A3)
• A1 : ¬W 1,1
• A2 : ¬W 1,2 A1∧ A2 ∧ K ∧ An 1,4 2,4 3,4 4,4

• A3 : ¬W 2,1
A i
1,3 2,3 3,3 4,3

1,2 2,2 3,2 4,2

1,1 2,1 3,1 4,1

Inference Wumpus World

3. Gunakan R2 dengan And-Elimination, maka didapatkan :
• R2 : ¬S2,1 ⇒ ¬W 1,1 ∧ ¬W 2,1 ∧ ¬W 2,2 ∧ ¬W 3,1 ((A1∧A2∧A3∧A4)
• A1 : ¬W 1,1
• A2 : ¬W 2,1 A1∧ A2 ∧ K ∧ An
• A3 : ¬W 2,2 Ai
• A4 : ¬W 3,1
A ∨B , ¬B
4. Gunakan R4 dgn Unit resolution, maka didapatkan : A
• R4 : S1,2 ⇒ W 1,3 ∨ W 1,2 ∨ W 2,2 ∨ W 1,1
• A : W 1,3 ∨ W 1,2 ∨ W 2,2 dan β : W1,1 1,4 2,4 3,4 4,4

• Maka : A : W1,3 ∨ W 1,2 ∨ W 2,2 1,3 2,3 3,3 4,3

1,2 2,2 3,2 4,2

1,1 2,1 3,1 4,1

30
 3/12/2018

Inference Wumpus World

5. Gunakan Unit resolution, maka didapatkan :
• W1,3 ∨ W1,2 ∨ W2,2
A ∨B , ¬B
• A : W1,3 ∨ W1,2 dan B : W2,2
A
• Maka, A : W1,3 ∨ W1,2

6. Gunakan Unit resolution, maka didapatkan :

• W1,3 ∨ W1,2
• A : W1,3 dan B : W1,2 A ∨B , ¬B
• Maka, A : W1,3 A 1,4 2,4 3,4 4,4

1,3 2,3 3,3 4,3

Jawaban : wumpus berada di [1,3].
1,2 2,2 3,2 4,2

1,1 2,1 3,1 4,1

Wumpus world

31