# UTS — Kecerdasan Artifisial (MII 212401): KOMA (2024)

> Midterm Exam · Odd Semester 2024/2025 · Universitas Gadjah Mada

| Field | Value |
|---|---|
| **Course** | Kecerdasan Artifisial (MII 212401): KOMA |
| **Exam type** | Ujian Sisipan Semester (UTS) |
| **Semester** | Gasal 2024/2025 |
| **Date** | Senin, 30 September 2024 |
| **Time** | 120 menit (13.00–15.00 WIB) |
| **Lecturer** | Sri Mulyana |
| **Exam mode** | Buku Tertutup |

**Institution:** Program Studi S1 Ilmu Komputer, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Gadjah Mada

**Instruksi:** Kerjakan semua soal berikut dengan TELITI, mulailah dari soal yang saudara anggap mudah.

---

*PLO-2; CO-1; (Nilai: 7,5 %) [Mampu menjelaskan tren penelitian kecerdasan artifisial dan agen cerdas]*

**1.** Kecerdasan Artifisial merupakan salah satu aplikasi bidang komputer yang cukup berhasil. Jelaskan bagaimana paradigma Kecerdasan Artifisial dan bagaimana bisa cerdas!

---

*PLO-3; CO-2; (Nilai: 12,5 %) [Mampu memformulasikan permasalahan dengan pendekatan pencarian solusi dan mampu menggunakan metode-metode pencarian untuk penyelesaiannya]*

**2.** Salah satu teknik penting dalam Kecerdasan Artifisial adalah searching. Sebutkan, jelaskan dan berilah contoh hal-hal barkaitan proses searching tersebut!

**3.** Selesaikan masalah Cryptarithmetic berikut:

```
    S E N D
+   M O R E
─────────────
  M O N E Y
```

Tentukan: State, Operator, Goal Test dan Path Cost yang terkait dengan masalah tersebut. Buatlah simulasi hingga diperoleh Solusi yang benar.

---

*PLO-3; CO-3; (Nilai: 12,5%) [Mampu mengidentifikasi pengetahuan dan merepresentasikan pengetahuan tersebut dengan benar, serta mampu melakukan proses unifikasi saat menyimpulkan pengetahuan tersebut]*

**4.** Susunlah mekanisme inferensi pada logika proposisional berikut hingga diperoleh kesimpulannya:

```
   ¬S ⇒ R
   P ⇒ (Q ⇒ U)
   P ∧ Q
   ¬R
─────────────
∴ (S ∧ U) ∨ R
```

**5.** Gunakan penyataan berikut untuk menuliskan *quantified firsts-order predicate logic formulas*:
- P(x) = x is a Programmer
- S(x) = x is Smart
- L(x,y) = x Loves y

| | |
|---|---|
| a. All programmers are smart | f. Everyone is not programmer |
| b. Some programmers are smart | g. Everyone is programmer |
| c. No peogrammers are smart | h. Some programmers are not smart |
| d. Someone is not a programmer | i. There are programmers |
| e. Not everyone is a programmer | j. Everyone love someone |

---

*PLO-2; CO-4; (Nilai: 7,5%) Mampu menjelaskan arsitektur Sistem Pakar*

**6.**
- a. Jelaskan apa itu Sistem Pakar!
- b. Gambarkan dan jelaskan komponen Sistem Pakar!

---

==oo(||)oo==

## Transcription notes

- **Source:** `UTS - Kecerdasan Artifisial - KOM A - 2024.pdf` (2 pages, image-only scan — no text layer; rendered and read visually).
- Q3's SEND+MORE=MONEY cryptarithm and Q4's inference schema are reproduced with monospace formatting.
- Typos "barkaitan" (Q2) and "peogrammers" (Q5c) reproduced as printed.
- Handwritten marginalia on the scan are not question text.