IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
IKI 30320: Sistem Cerdas
Kuliah 12: First Order Logic
Ruli Manurung
Fakultas Ilmu Komputer Universitas Indonesia
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Outline
1 Mengapa FOL?
2 Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
3 KBA dgn. FOL
4 Contoh: WumpusWorld
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL?
Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Outline
1 Mengapa FOL?
2 Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
3 KBA dgn. FOL
4 Contoh: WumpusWorld
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL?
Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Propositional logic sebagai KRL
Declarative: menyatakan fakta-fakta terpisah dari mekanisme/prosedur inference.
Memungkinkan pernyataan informasi yangpartial/
disjunctive/negated
Compositional: “arti”P∧Qtergantung artiP dan artiQ
Context-independent: arti tidak tergantung konteks
Unambiguous: thd. suatu model, arti sebuahsentence
jelas.
...Sayangnya, kurangexpressive.
Mis.: “Kalau ada jebakan, di kamar sebelah ada
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL?
Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Outline
1 Mengapa FOL?
2 Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
3 KBA dgn. FOL
4 Contoh: WumpusWorld
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL?
Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
First Order Logic
Dalampropositional logic, dunia hanya mengandung
fakta-fakta.
Dalamfirst order logic (FOL), dunia bisa mengandung:
Object: di dalam dunia ada orang, bangunan, buku, UI,
SBY, bilangan, warna, hari,. . .
Relations: tentang object dalam dunia, ada relasi merah, bulat, cantik, positif, abang dari, lebih besar
dari, di atas, terjadi sebelum,. . .
Functions: fungsi yang menghasilkan object lain seperti ayah dari, babak final dari, satu lebih dari, kaki kiri dari,
. . .
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL?
Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Beberapa jenis logic
Ada jugaepistemological commitment:kebenaranapa yang dapat dinyatakan tentang sebuahsentence?
Contoh beberapa jenis logic lain:
Language Ontological Epistemological 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]
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Syntax FOL: Elemen-elemen dasar
Elemen-elemen dasar FOL
Constants: KingJohn, 2, UI,Depok, . . .
Predicates: Brother, >,Loves,Membenci,Mengajar, . . . Functions: Sqrt, LeftLegOf,Ayah, . . .
Variables: x, y, a, b, . . . Connectives: ∧ ∨ ¬ ⇒ ⇔
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Syntax FOL: Kalimat atomic
Definisiatomic sentence
predicate(term1, . . . ,termn)
atauterm1=term2
Definisiterm
function(term1, . . . ,termn)
atauconstant
atauvariable
Contoh:
Brother(KingJohn,RichardTheLionheart)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Syntax FOL: Kalimat kompleks
Kalimat komplekscomplex sentenceterdiri darisentence
yang digabungkan denganconnective.
Definisicomplex sentence
¬S, S1∧S2, S1∨S2, S1⇒S2, S1 ⇔ S2
Contoh:
Sibling(KingJohn,Richard)⇒Sibling(Richard,KingJohn)
>(1,2)∨ ≤(1,2)
>(1,2)∧ ¬>(1,2)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL
Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Semantics FOL: truth & model
Sama halnya dg. PL, sebuah kalimat FOL dikatakan
true terhadap sebuahmodel.
Namun, sebuah kalimat bisadiinterpretasikanbanyak cara dalam sebuah model.
Model berisi:
Objects: elemen-elemen di dalam dunia (domain elements)
Relationshubungan antara elemen-elemen tsb.
Sebuahinterpretasimendefinisikanreferent(“yang dipetakan”)
Constant symbols→objects
Predicate symbols→relations
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL
Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Semantics FOL: interpretasi & kebenaran
Artidari sebuah kalimat FOL:
Kalimat atomikpredicate(term1, . . . ,termn)dikatakan
bernilaitruedalam modelmdi bawah interpretasii jhjobject
yang di-refer (term1, . . . ,termn)(di bawahi) terhubung oleh
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL
Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh sebuah model
R
$J
left leg left leg
on head brother
brother person
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL
Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh sebuah model: lebih rinci
objects
relations: sets of tuples of objects
<
< <
<
{
,
,
,
,
. .
.
{
functional relations: all tuples of objects + "value" object
<
< <
<
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL
Semantics FOL
Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Kemungkinan model & interpretasi
Entailment,validity,satisfiability, dll. didefinisikan untuksemua kemungkinan interpretasidarisemua kemungkinan model!
Kalau mau dijabarkan semua kemungkinannya:
For each number of domain elementsnfrom 1 to∞
For eachk-ary predicatePk in the vocabulary
For each possiblek-ary relation onnobjects
For each constant symbolCin the vocabulary
For each choice of referent forCfromnobjects. . .
Menentukanentailment berdasarkantruth-table
mustahil!
Biasanya ada satu interpretasi yang “dimaksudkan”→
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Universal quantification
Syntax:
JikaSkalimat,∀variables Sadalah kalimat
Contoh:
“Semua mahasiswa Fasilkom UI adalah pintar”
∀x mahasiswa(x,FasilkomUI)⇒pintar(x)
Semantics:
∀x Sbernilaitruedalam modelmdi bawah interpretasiijhjSbernilai
trueuntuksemuakemungkinanreferentdarix(setiap object di dalam
m).
Dengan kata lain,∀x S≡conjunctiondari semuainstantiationS:
(mahasiswa(Ani,FasilkomUI)⇒pintar(Ani))∧ (mahasiswa(Anto,FasilkomUI)⇒pintar(Anto))∧
.. .
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Perhatian!
Biasanya,⇒adalahoperator/connectiveyang digunakan dengan∀.
Masalah yang sering terjadi: menggunakan∧sebagai
connectiveuntuk∀:
∀x mahasiswa(x,FasilkomUI)∧pintar(x)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Existential quantification
Syntax:
JikaSkalimat,∃variable Sadalah kalimat
Contoh:
“Ada mahasiswa Gunadarma yang pintar”
∃x mahasiswa(x,Gundar)∧pintar(x)
Semantics:
∃x Sbernilaitruedalam modelmdi bawah interpretasiijhjSbernilai
trueuntuksetidaknya1kemungkinanreferentdarix(sebuah object di
dalamm).
Dengan kata lain,∃x S≡disjunctiondari semuainstantiationS:
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Perhatian!
Biasanya,∧adalahoperator/connectiveyang digunakan dengan∃.
Masalah yang sering terjadi: menggunakan⇒sebagai
connectiveuntuk∃:
∃x mahasiswa(x,Gundar)⇒pintar(x)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Beberapa sifat
∀
dan
∃
∀x ∀y Ssama dengan∀y ∀x S, biasa ditulis∀x,y S
∃x ∃y Ssama dengan∃y ∃x S, biasa ditulis∃x,y S
∃x ∀y STIDAK sama dengan∀y ∃x S!
∃x ∀y Mencintai(x,y)
“Ada (sekurang-kurangnya) seseorang yang mencintai semua orang di dunia.”
∃x ∀y Mencintai(x,y)
“Semua orang di dunia dicintai sekurang-kurangnya satu orang”.
Quantifier bisa dinyatakan dengan yang lain:
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
∀x,y Ayah(x,y)⇒Orangtua(x,y)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
∀x,y Ayah(x,y)⇒Orangtua(x,y)
“Hubungan saudara berlaku simetris”
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
∀x,y Ayah(x,y)⇒Orangtua(x,y)
“Hubungan saudara berlaku simetris”
∀x,y Saudara(x,y)⇔Saudara(y,x)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
∀x,y Ayah(x,y)⇒Orangtua(x,y)
“Hubungan saudara berlaku simetris”
∀x,y Saudara(x,y)⇔Saudara(y,x)
“Ibu adalah orangtua berjenis kelamin perempuan”
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
∀x,y Ayah(x,y)⇒Orangtua(x,y)
“Hubungan saudara berlaku simetris”
∀x,y Saudara(x,y)⇔Saudara(y,x)
“Ibu adalah orangtua berjenis kelamin perempuan”
∀x,y Ibu(x,y)⇔Orangtua(x,y)∧Perempuan(x)
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL
Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Contoh kalimat FOL (sebagai KRL)
“Ayah adalah orangtua”
∀x,y Ayah(x,y)⇒Orangtua(x,y)
“Hubungan saudara berlaku simetris”
∀x,y Saudara(x,y)⇔Saudara(y,x)
“Ibu adalah orangtua berjenis kelamin perempuan”
∀x,y Ibu(x,y)⇔Orangtua(x,y)∧Perempuan(x)
“Sepupu adalah anak dari saudara orangtua”
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Equality
Kalimatterm1=term2bernilaitruedi bawah sebuah interpretasi jhj
term1andterm2me-referkeobjectyang sama.
Contoh:
Ayah(Anto) =Abdul adalahsatisfiable
Anto=Abdul jugasatisfiable!
Anto=Antoadalahvalid.
Bisa digunakan dengan negasi untuk membedakan duaterm:
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers
Equality
KBA dgn. FOL Contoh: Wum-pusWorld Ringkasan
Equality
Kalimatterm1=term2bernilaitruedi bawah sebuah interpretasi jhj
term1andterm2me-referkeobjectyang sama.
Contoh:
Ayah(Anto) =Abdul adalahsatisfiable
Anto=Abdul jugasatisfiable!
Anto=Antoadalahvalid.
Bisa digunakan dengan negasi untuk membedakan duaterm:
∃x,y Mencintai(Anto,x)∧Mencintai(Anto,y)∧¬(x=y)
(Anto mendua!)
DefinisiSibling:
∀x,y Sibling(x,y) ⇔ (¬(x=y)∧ ∃m,f ¬(m=f)∧
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld Ringkasan
Outline
1 Mengapa FOL?
2 Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
3 KBA dgn. FOL
4 Contoh: WumpusWorld
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld Ringkasan
Knowledge-based Agent dengan FOL
Kita bisa menggunakan FOL sebagai KRL sebuah KBA.
Pertama-tama, kita berikan informasi ke KB (TELL).
Kalimat FOL yang ditambahkan ke KB disebutassertion.
Contohnya:
TELL(KB,King(John))
TELL(KB,∀x King(x)⇒Person(x))
Lalu, kita bisa memberikanquery, atau bertanya, kepada KB (ASK).
Contohnya:
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld Ringkasan
Knowledge-based Agent dengan FOL
Kita bisa menggunakan FOL sebagai KRL sebuah KBA.
Pertama-tama, kita berikan informasi ke KB (TELL).
Kalimat FOL yang ditambahkan ke KB disebutassertion.
Contohnya:
TELL(KB,King(John))
TELL(KB,∀x King(x)⇒Person(x))
Lalu, kita bisa memberikanquery, atau bertanya, kepada KB (ASK).
Contohnya:
ASK(KB,King(John))jawabannya adalahtrue.
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld Ringkasan
Knowledge-based Agent dengan FOL
Kita bisa menggunakan FOL sebagai KRL sebuah KBA.
Pertama-tama, kita berikan informasi ke KB (TELL).
Kalimat FOL yang ditambahkan ke KB disebutassertion.
Contohnya:
TELL(KB,King(John))
TELL(KB,∀x King(x)⇒Person(x))
Lalu, kita bisa memberikanquery, atau bertanya, kepada KB (ASK).
Contohnya:
ASK(KB,King(John))jawabannya adalahtrue.
ASK(KB,Person(John))jawabannya adalahtrue.
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld Ringkasan
Knowledge-based Agent dengan FOL
Kita bisa menggunakan FOL sebagai KRL sebuah KBA.
Pertama-tama, kita berikan informasi ke KB (TELL).
Kalimat FOL yang ditambahkan ke KB disebutassertion.
Contohnya:
TELL(KB,King(John))
TELL(KB,∀x King(x)⇒Person(x))
Lalu, kita bisa memberikanquery, atau bertanya, kepada KB (ASK).
Contohnya:
ASK(KB,King(John))jawabannya adalahtrue.
ASK(KB,Person(John))jawabannya adalahtrue.
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld Ringkasan
Substitution
Sebuahquery denganexistential variablebertanya kepada KB: “Apakah adax sedemikian sehingga. . .?” Bisa saja jawabannya “ya” atau “tidak”, tetapi akan lebih baik jika jawabannya adalahnilai (referent)x di manaquery bernilaitrue.
Bentuk jawaban demikian disebutsubstitution, atau
binding list: himpunan pasanganvariable/term
Untuk kalimatSdan substitutionσ,Sσadalah hasil “pengisian”Sdenganσ:.
S=LebihPintar(x,y)
σ={x/Ani,y/Anto}
Sσ=LebihPintar(Ani,Anto)
ASK(KB,S) mengembalikan (satu? semua?) σ
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld
Ringkasan
Outline
1 Mengapa FOL?
2 Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
3 KBA dgn. FOL
4 Contoh: WumpusWorld
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld
Ringkasan
FOL sbg KRL utk KBA
LA
TMdlm WW
Representasi hasilperceptdari sensor:
Percept([bau,angin,kilau],waktu)(perhatikan penggunaanlist
agar rapi).
TELL(KB,Percept([None,None,None],1)) TELL(KB,Percept([Smell,None,None],2)) TELL(KB,Percept([None,Breeze,Glitter],3))
Untuk menentukan tindakan yang diambil:
ASK(KB,∃t TindakanTerbaik(t,3))
Data“mentah”dari sensor perlu diolah:
∀a,k,w Percept([Smell,a,k],w)⇒MenciumBau(w) ∀b,k,w Percept([b,Breeze,k],w)⇒MerasaHembus(w) ∀b,a,w Percept([b,a,Glitter],w)⇒MelihatKilauan(w)
Tindakan “rational reflex” bisa dinyatakan sebuah kalimat, mis:
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld
Ringkasan
Menyatakan aturan main Wumpus World
Tambah assertion mengenai kamar:
∀k,w Di(Agent,k,w)∧MenciumBau(w)⇒KmrBusuk(k) ∀k,w Di(Agent,k,w)∧MerasaHembus(t)⇒KmrAngin(k) ∀k,w Di(Agent,k,w)∧MelihatKilauan(t)⇒KmrEmas(k)
“Di kamar sebelah lubang jebakan ada hembusan angin”
Diagnostic rule: simpulkansebabdariakibat:
∀y KmrAngin(y)⇒ ∃x Jebakan(x)∧Sebelahan(x,y) ∀y ¬KmrAngin(y)⇒ ¬∃x Jebakan(x)∧Sebelahan(x,y) Causal rule: simpulkanakibatdarisebab:
∀x Jebakan(x)⇒(∀y Sebelahan(x,y)⇒KmrAngin(y)) ∀x (∀y Sebelahan(x,y)⇒ ¬Jebakan(y))⇒ ¬KmrAngin(x)
Definisi predikatKmrAngin:
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL
Contoh: Wum-pusWorld
Ringkasan
Knowledge Engineering
Diagnosticvs.causal (model-based)reasoning penting, mis: diagnosa medis secara AI (dulu diagnostic, sekarang model-based)
Proses merancang kalimat-kalimat KRL yang dengan tepat “merepresentasikan” sifat dunia/masalah disebut
knowledge engineering.
“Memrogram” secara deklaratif: pengkodean fakta dan aturandomain-specific.
Sedikit jargon:
Agent programmer = knowledge engineer
Mekanisme/proses penjawaban query→inference rule
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld
Ringkasan
Outline
1 Mengapa FOL?
2 Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
3 KBA dgn. FOL
4 Contoh: WumpusWorld
IKI30320 Kuliah 12 29 Okt 2007
Ruli Manurung
Mengapa FOL? Definisi FOL
Syntax FOL Semantics FOL Quantifiers Equality
KBA dgn. FOL Contoh: Wum-pusWorld
Ringkasan
Ringkasan
First order logic
Objectsdanrelationsadalah elemen-elemensemantic
(di dalam model)
SyntaxFOL:constants, functions, predicates, equality, quantifier
FOL lebihexpressivedari PL: Wumpus World bisa didefinisikan dengan tepat dan ringkas(!)
Proses “mengkodekan” dunia ke dalam suatu KRL =
Knowledge Engineering
Berikutnya:
Inference dalam FOL (Bab 9 R&N2e)