Tugas Pengantar Kecerdasan Buatan 3

Track (Jalur) : Pembuatan Kartu Rencana Study (KRS)
Role (Peran) : Mahasiswa, Petugas BaaK
Pendukung (Properties) : Blangko Pembayaran (Blangko), Pakaian, Sepatu Tertutup, Foto 3x4, Komputer, KRS
Kondisi Input : Mahasiswa wajib mengisi atau membuat KRS

Scene 1
Persiapan Mahasiswa
> Mahasiswa membawa blangko
> Mahasiswa memakai pakaian yang sopan
> Mahasiswa memakai sepatu tertutup

Scene 2
Proses Persiapan Pengisian KRS
> Mahasiswa mengumpulkan blangko di BaaK
> Mahasiswa menunggu namanya dipanggil oleh petugas BaaK

Scene 3
Proses Pengisian KRS
> Mahasiswa dipanggil namanya oleh petugas BaaK
> Petugas memeriksa pakaian mahasiswa
> Petugas memeriksa sepatu mahasiswa
> Mahasiswa memilih mata kuliah yang ingin diikuti pada komputer yang tersedia

Scene 4
Pencetakan KRS
> Mahasiswa menunggu KRS-nya selesai dicetak
> Mahasiswa mengambil KRS

Scene 5
Penge-cap-an KRS
> Mahasiswa memberikan foto mahasiswa berukuran 3x4 dan KRS yang mahasiswa buat kepada petugas BaaK
> Petugas BaaK menge-cap KRS mahasiswa
> Mahasiswa mengambil KRS yang selesai dicap

Hasil:
> Mahasiswa mendapatkan KRS aktif
> KRS dapat dipergunakan untuk peminjaman buku di perpustakaan kampus
> Mahasiswa terdaftar aktif sebagai peserta UTS / UAS / Ujian Utama
> Mahasiswa tidak dianggap cuti ataupun mengundurkan diri

Tugas Pengantar Kecerdasan Buatan

Jaringan Semantik dari Korean Entertainer

Tugas P K B (Pengantar Kecerdasan Buatan)

Tugas 1

Soal..
1. ubahlah pernyataan dibawah ini dalam bentuk representasi logika dan predikat :
a. karjo adalah seorang laki-laki
b. karjo adalah orang jawa
c. karjo lahir pada tahun 1840
d. setiap laki-laki pasti mati
e. semua orang jawa mati pada saat krakatau meletus pada tahun 1883
f. setiap orang pasti mati setelah hidup lebih dari 150 tahun
g. sekarang tahun 2010
h. mati berarti tidak hidup
i. jika seseorang mati, maka beberapa waktu kemudia dia pasti dianggap mati
2. apakah karjo masih hidup sekarang? nyatakan dengan metode backward!

Jawab..
1.
a. laki-laki (Karjo)
b. jawa (karjo)
c. lahir (karjo, 1840)
d. ∀x : laki-laki(x) → pasti_mati(x)
e. Meletus(Krakatau, 1883) ∧ ∀x : [Jawa(x) → mati(x, 1883)

Dapat dibagi menjadi :

1. Meletus(Krakatau, 1883)

2. ∀x : [Jawa(x) → mati(x, 1883)]

f. ∀x : ∀thn1 : ∀thn2 : pastimati(x) ∧ lahir(x, thn1) ∧ lahir(x, thn2) ∧ lebihdari(thn2 – thn1, 150) → mati(x, thn2)

g. sekarang = 2010

h. ∀x : ∀y : [mati(x,y) → ¬hidup(x,y) ] ∧ [¬hidup(x,y) → mati(x,y)]
i. ∀x : ∀thn1 : ∀thn2 : mati(x, thn1) ∧ lebihdari(thn2 – thn1) → mati(x, thn2)

2. dari pernyataan di atas kita akan membuaktikan apakah Karjo masih hidup atau tidak dengan menggunakan metode Backward.

¬hidup (karjo, sekarang)

¬hidup (karjo, sekarang)
↑ (8, subtitusi)
Mati(karjo, sekarang)
↑ (9, subtitusi)
Mati(karjo, thn1) ∧ lebihdari(sekarang, thn1)
↑ (5, subtitusi)
Jawa(Karjo) ∧ lebihdari(sekarang, 1883)

↑ (2)
Lebihdari(sekarang, 1883)
↑ (7, subtitusi)
Lebihdari(2010, 1883)
↑ (menghitung lebihdari)
Nil

atau dapat juga dinyatakan seperti:

¬hidup (karjo, sekarang)

↑ (8, subtitusi)

Mati(karjo, sekarang)

↑ (6, subtitusi)

Pastimati (Karjo) ∧ lahir(Karjo, thn1) ∧ lebihdari(sekarang-thn1, 150)

↑ (1)

Lahir(Karjo, thn1) ∧ lebihdari(sekarang – 1840, 150)

↑ (3, subtitusi)

Lebihdari(sekarang-1840, 150)

↑ (7, subtitusi)

Lebihdari(2010-1840, 150)

↑ (mengurangi)

Lebihdari(170,150)

↑ (menghitung lebihdari)

Nil