Expert Systems Russell Kenael Azaria

2201742936

I. Penjelasan Singkat
1.
- High performance: memiliki kemampuan mendekati atau bahkan lebih baik
dibandingkan ahli di bidang terkait.
- Adequate response time: memiliki kemampuan respon yang mendekati atau bahkan
lebih cepat dibandingkan dengan ahli di bidang terkait.
- Good reliability: akurasi yang baik membuat expert system dapat diandalkan
- Understandable: Mudah dipahami dari seluruh alur reasoning yang digunakan hingga
mencapai konklusi.
- Flexibility: Expert system mudah untuk dilakukan peningkatan atau modifikasi ke
versi yang lebih baik.

2.
- User Interface: Modul yang merupakan tampilan untuk digunakan oleh pengguna.
- Explanation Facility: Module yang memberikan penjelasan mengenai langkah-
langkah yang diambil dalam membuat konklusi.
- Knowledge Base: Module yang berfungsi sebagai database dari knowledge untuk
digunakan untuk melakukan inferensi. Dalam module ini terdapat fakta-fakta (facts)
dan aturan-aturan (rules).
- Inference Engine: Module yang berfungsi untuk melakukan inferensi berdasarkan
fakta-fakta dan aturan-aturan yang ada pada knowledge base.
- Knowledge Acquisition Facility: Module yang berfungsi untuk mengumpulkan dan
menggabungkan data-data yang berasal dari berbagai sumber data ke knowledge base.

3.
- Menuangkan pernyataan menjadi proposisi dan simbol yang memiliki 2 nilai: benar
atau salah.
- Memiliki penghubung logika seperti operasi dan, operasi atau, operasi negasi, operasi
kondisional, dan kondisi bikondisional.

4.
- Modus Ponens: 𝑃 → 𝑄, 𝑃 ⊢ 𝑄
Jika 𝑃 → 𝑄 dan 𝑃, maka dapat disimpulkan 𝑄

- Modus Tollens: 𝑃 → 𝑄, ¬𝑄 ⊢ ¬𝑃
Jika 𝑃 → 𝑄 dan ¬𝑄, maka dapat disimpulkan ¬𝑃

- Hypothetical Syllogism: 𝑃 → 𝑄, 𝑄 → 𝑅 ⊢ 𝑃 → 𝑅
Jika 𝑃 → 𝑄 dan 𝑄 → 𝑅, maka dapat disimpulkan 𝑃 → 𝑅

- Disjunctive Syllogism: 𝑃 ∨ 𝑄, ¬𝑃 ⊢ 𝑄
Jika 𝑃 ∨ 𝑄 dan ¬𝑃, maka dapat disimpukan 𝑄

- Addition: 𝑃 ⊢ 𝑃 ∨ 𝑄
Jika 𝑃, maka dapat disimpukan 𝑃 ∨ 𝑄

- Simplification: 𝑃 ∧ 𝑄 ⊢ 𝑃 dan 𝑃 ∧ 𝑄 ⊢ 𝑄
Expert Systems Russell Kenael Azaria
2201742936

Jika 𝑃 ∧ 𝑄, maka dapat disimpulkan 𝑃 dan dapat disimpulkan 𝑄

- Conjunction: 𝑃, 𝑄 ⊢ 𝑃 ∧ 𝑄
Jika 𝑃 dan 𝑄, maka dapat disimpukan 𝑃 ∧ 𝑄

- Resolution: 𝑃 ∨ 𝑄, ¬𝑃 ∨ 𝑅 ⊢ 𝑄 ∨ 𝑅
Jika 𝑃 ∨ 𝑄 dan ¬𝑃 ∨ 𝑅, maka dapat disimpulkan 𝑄 ∨ 𝑅

II. Esai
1. Semantic Net

2.
a. Tidak semua mahasiswa menyukai pemrograman komputer
FOL: ∃𝑥 𝑀𝑎ℎ𝑎𝑠𝑖𝑠𝑤𝑎(𝑥) → 𝐿𝑖𝑘𝑒(𝑥, 𝑝𝑒𝑚𝑟𝑜𝑔𝑟𝑎𝑚𝑎𝑛 𝑘𝑜𝑚𝑝𝑢𝑡𝑒𝑟)

Negasi: Semua mahasiswa tidak menyukai pemrograman komputer

FOL: ∀𝑥 𝑀𝑎ℎ𝑎𝑠𝑖𝑠𝑤𝑎(𝑥) ∧ ¬𝐿𝑖𝑘𝑒(𝑥, 𝑝𝑒𝑚𝑟𝑜𝑔𝑟𝑎𝑚𝑎𝑛 𝑘𝑜𝑚𝑝𝑢𝑡𝑒𝑟)

b. Seluruh mahasiswa yang mengambil mata kuliah Expert System menyukai

pemrograman komputer
FOL: ∀𝑥 𝑀𝑎ℎ𝑎𝑠𝑖𝑠𝑤𝑎(𝑥) ∧ 𝐸𝑛𝑟𝑜𝑙𝑙(𝑥, 𝐸𝑥𝑝𝑒𝑟𝑡 𝑆𝑦𝑠𝑡𝑒𝑚) → 𝐿𝑖𝑘𝑒(𝑥, 𝐸𝑥𝑝𝑒𝑟𝑡 𝑆𝑦𝑠𝑡𝑒𝑚)

Negasi: Ada mahasiswa yang mengambil mata kuliah Expert System tidak menyukai
pemrograman komputer
FOL: ∃𝑥 𝑀𝑎ℎ𝑎𝑠𝑖𝑠𝑤𝑎(𝑥) ∧ 𝐸𝑛𝑟𝑜𝑙𝑙(𝑥, 𝐸𝑥𝑝𝑒𝑟𝑡 𝑆𝑦𝑠𝑡𝑒𝑚) → ¬𝐿𝑖𝑘𝑒(𝑥, 𝐸𝑥𝑝𝑒𝑟𝑡 𝑆𝑦𝑠𝑡𝑒𝑚)

c. Ada seekor harimau yang lebih kuat dari seluruh beruang.

FOL: ∀𝑥∃𝑦 𝐻𝑎𝑟𝑖𝑚𝑎𝑢(𝑥) ∧ 𝐵𝑒𝑟𝑢𝑎𝑛𝑔(𝑦) → 𝑆𝑡𝑟𝑜𝑛𝑔𝑒𝑟(𝑥, 𝑦)

Negasi: Semua harimau tidak lebih kuat dari sebagian beruang.

Expert Systems Russell Kenael Azaria
2201742936

FOL: ∃𝑥∀𝑦 𝐻𝑎𝑟𝑖𝑚𝑎𝑢(𝑥) ∧ 𝐵𝑒𝑟𝑢𝑎𝑛𝑔(𝑦) ∧ ¬𝑆𝑡𝑟𝑜𝑛𝑔𝑒𝑟(𝑥, 𝑦)

3.
a. ∀𝑥∀𝑦(𝑥 ≠ 𝑦 → 𝑙𝑜𝑣𝑒𝑠(𝑥, 𝑦))
Semua 𝑥 dan 𝑦 yang berbeda saling mencintai satu sama lain.

b. ∃𝑥∃𝑦(𝑐𝑎𝑡(𝑥) ∧ 𝑠𝑙𝑒𝑒𝑝(𝑥) ∧ 𝑑𝑜𝑔(𝑦) ∧ 𝑏𝑎𝑟𝑘(𝑦))

Ada kucing yang sedang tertidur dan ada anjing yang sedang menggonggong.

c. ∀𝑥 (𝑠𝑡𝑢𝑑𝑒𝑛𝑡(𝑥) ∧ 𝑐ℎ𝑒𝑎𝑡(𝑥) → 𝑑𝑟𝑜𝑝𝑜𝑢𝑡(𝑥))

Semua mahasiswa yang mencontek dikenakan dropout.

4.
a. (𝑟 ∧ ¬𝑠) ∨ (𝑞 ∧ ¬𝑠) ≡ (𝑟 ∨ 𝑞) ∧ ¬𝑠
b. ¬𝑠 → ((𝑝 ∧ 𝑟) → 𝑢) ≡ 𝑠 ∨ ¬𝑝 ∨ ¬𝑟 ∨ 𝑢
c. 𝑢 → (𝑠 ∧ −𝑡) ≡ ¬𝑢 ∨ 𝑠 ∧ ¬𝑡

((𝑟 ∨ 𝑞) ∧ ¬𝑠) ∧ (𝑠 ∨ ¬𝑝 ∨ ¬𝑟 ∨ 𝑢) ∧ (¬𝑢 ∨ 𝑠 ∧ ¬𝑡) (𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑡𝑖𝑜𝑛)

≡ (𝑟 ∨ 𝑞) ∧ ¬𝑠 ∧ (𝑠 ∨ ¬𝑝 ∨ ¬𝑟 ∨ 𝑢) ∧ (¬𝑢 ∨ 𝑠) (𝐷𝑖𝑠𝑗𝑢𝑛𝑐𝑡𝑖𝑣𝑒 𝑆𝑦𝑙𝑙𝑜𝑔𝑖𝑠𝑚)
≡ (𝑟 ∨ 𝑞) ∨ (¬𝑝 ∨ ¬𝑟 ∨ 𝑢) ∧ (¬𝑢 ∨ 𝑠) (𝑅𝑒𝑠𝑜𝑙𝑢𝑡𝑖𝑜𝑛)
≡ (𝑟 ∨ 𝑞) ∨ (¬𝑝 ∨ ¬𝑟) ∧ 𝑠 (𝑅𝑒𝑠𝑜𝑙𝑢𝑡𝑖𝑜𝑛)
≡ 𝑞 ∨ ¬𝑝 ∧ 𝑠 (𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑡𝑖𝑜𝑛)
≡ 𝑞 ∨ ¬𝑝
≡ ¬𝑝 ∨ 𝑞
≡𝑝→𝑞

ℚ. 𝔼. 𝔻

III. Kasus

Data yang kita miliki adalah sebagai berikut.

1. Setiap anggota pencinta alam menyukai kegiatan naik gunung atau camping atau
keduanya.
2. Tidak ada anggota himpunan pencinta alam yang menyukai kegiatan naik gunung yang
menyukai hujan.
3. Setiap anggota himpunan pencintan alam yang menyukai camping maka menyukai hujan.
4. Ellen tidak menyukai kegiatan apapun yang disukai Tony dan Ellen menyukai kegiatan
apapun yang Tony tidak sukai.
5. Tony menyukai hujan.

Misalkan:
- Variable 𝑥 merupakan anggota pencinta alam.
- 𝑔𝑢𝑛𝑢𝑛𝑔(𝑥) menyatakan 𝑥 menyukai kegiatan naik gunung.
Expert Systems Russell Kenael Azaria
2201742936

- 𝑐𝑎𝑚𝑝𝑖𝑛𝑔(𝑥) menyatakan 𝑥 menyukai kegiatan camping.

- 𝑙𝑖𝑘𝑒(𝑥, 𝑦) menyatakan anggota pencinta alam 𝑥 menyukai benda/kegiatan 𝑦.

FOL dari setiap data:

1. ∀𝑥 𝑔𝑢𝑛𝑢𝑛𝑔(𝑥) ∨ 𝑐𝑎𝑚𝑝𝑖𝑛𝑔(𝑥)
2. ∀𝑥 𝑔𝑢𝑛𝑢𝑛𝑔(𝑥) → ¬𝑙𝑖𝑘𝑒(𝑥, 𝐻𝑢𝑗𝑎𝑛)
3. ∀𝑥 𝑐𝑎𝑚𝑝𝑖𝑛𝑔(𝑥) → 𝑙𝑖𝑘𝑒(𝑥, 𝐻𝑢𝑗𝑎𝑛)
4. ∀𝑦 𝑙𝑖𝑘𝑒(𝐸𝑙𝑙𝑒𝑛, 𝑦) → ¬𝑙𝑖𝑘𝑒(𝑇𝑜𝑛𝑦, 𝑦)
5. 𝑙𝑖𝑘𝑒(𝑇𝑜𝑛𝑦, 𝐻𝑢𝑗𝑎𝑛)

Pertanyaan: 𝑔𝑢𝑛𝑢𝑛𝑔(𝑝) ∧ ¬𝑙𝑖𝑘𝑒(𝑝, 𝐻𝑢𝑗𝑎𝑛)

CNF:
1. 𝑔𝑢𝑛𝑢𝑛𝑔(𝑥) ∨ 𝑐𝑎𝑚𝑝𝑖𝑛𝑔(𝑥)
2. ¬𝑔𝑢𝑛𝑢𝑛𝑔(𝑦) ∨ ¬𝑙𝑖𝑘𝑒(𝑦, 𝐻𝑢𝑗𝑎𝑛)
3. ¬𝑐𝑎𝑚𝑝𝑖𝑛𝑔(𝑧) ∨ 𝑙𝑖𝑘𝑒(𝑧, 𝐻𝑢𝑗𝑎𝑛)
4. ¬𝑙𝑖𝑘𝑒(𝐸𝑙𝑙𝑒𝑛, 𝑢) ∨ ¬𝑙𝑖𝑘𝑒(𝑇𝑜𝑛𝑦, 𝑢)
5. 𝑙𝑖𝑘𝑒(𝑇𝑜𝑛𝑦, 𝐻𝑢𝑗𝑎𝑛)

Negasi dari pertanyaan: ¬𝑔𝑢𝑛𝑢𝑛𝑔(𝑝) ∨ 𝑙𝑖𝑘𝑒(𝑝, 𝐻𝑢𝑗𝑎𝑛)

Graf Resolusi:

∴ Anggota pencinta alam yang menyukai kegiatan naik gunung namun tidak menyukai hujan
adalah Ellen.