Role (peran) : penumpang, masinis, petugas stasiun.
Properti (pendukung) : tiket kereta api, tas, barang bawaan, dan lain-lain.
Kondisi input : penumpang terdaftar dalam keberangkatan ke Bandung.
Scene 1 : Kedatangan penumpang ke stasiun.
- Penumpang berangkat dari rumah masing-masing.
- Penumpang menaiki bus, taksi atau kendraan pribadi ke stasiun.
- Penumpang sampai di stasiun.
- Penumpang melapor kepada petugas stasiun.
- Petugas stasiun memeriksa tiket penumpang.
- Petugas stasiun menginformasikan waktu kedatangan kereta kepada penumpang.
- Penumpang memasuki ruang tunggu.
- Penumpang duduk sambil menunggu waktu untuk memasuki kereta api.
- Penumpang menuju tempat duduk yang telah ditentukan di dalam tiket.
- Penumpang meletakkan tas ke dalam ruang bagasi.
- Penumpang duduk di tempat duduk yang telah ditentukan di dalam tiket.
- Petugas kereta api memeriksa tiket penumpang.
- Petugas stasiun memberitahukan masinis untuk memberangkatkan kereta api..
- petugas menyampaikan kepada penumpang bahwa kereta telah sampai di tujuan.
- Penumpang berdiri dari tempat duduk dan mengambil tas dari ruang bagasi.
- Penumpang antri keluar dari kereta api.
- Penumpang turun dari kereta api, kemudian menuju ke pintu keluar.
- Penumpang keluar dari stasiun dengan hati yang senang.
- Penumpang kelelahan selama perjalanan.
- Penumpang mengalami pusing kepala.
- Penumpang mencari toilet sebelum keluar dari stasiun.
- Penumpang menunggu taksi atau bus untuk pergi ke tujuan masing-masing
TUGAS PENGANTAR KECERDASAN BUATAN
DIAGRAM SEMANTIK
1. Wisnu merupakan mahasiswa
2. wisnu kuliah di gunadarma
3. Adi dan Wisnu berteman
4. Adi merupakan mahasiswa
5. Adi kuliah di gunadarma
6. Adi membaca buku sejarah teknik mesin di perpustakaan
7. Wisnu meminjam buku sejarah komputer dan teknologi komputer di perpustakaan
8. perpustakaan milik gunadarma
9. buku teknologi komputer dan sejarah komputer merupakan jenis judul buku.
10. buku sejarah teknik mesin merupakan jenis judul buku.
11. berbagai jenis buku terdapat di perpustakaan.
12. yang berhak meminjam buku di perpustakaan harus mahasiswa.
13. mahasiswa harus mempunyai KTM.
14. Wisnu mengambil jurusan T.Informatika.
15. Adi mengambil jurusan T.Mesin.
16. T. Informatika meruapakan bagian dari fakultas T.Industri.
17. T. Mesin meruapakan bagian dari fakultas T.Industri.
18. Wisnu sedang kuliah di Kampus J.
19. Adi sedang kuliah di Kampus D.
20. Kampus J merupakan bagian dari Gunadarma
21. Kampus D merupakan bagian dari Gunadarma
1.
A. Ubahlah pernyataan berikut dalam bentuk representasi logika proposisi dan predikat
1. Karjo adalah seorang laki-laki
2. Karjo adalah orang Jawa
3. Karjo lahir pada tahun 1840
4. Setiap laki-laki pasti akan mati
5. Semua orang Jawa mati pada saat Krakatau meletus tahun 1883
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
7. Sekarang tahun 2010
8. Mati berarti tidak hidup
9. Jika seseorang mati, maka beberapa waktu kemudian dia pasti dianggap mati
B. Apakah Karjo masih hidup sekarang dengan metode Backward ?
Jawaban:
A.
1. Laki-laki(Karjo)
2. Jawa(Karjo)
3. Lahir(Karjo,1840)
4. ∀x : laki-laki(x) → pastimati(x)
5. Meletus(Krakatau, 1883) ∧ ∀x : [Jawa(x) → mati(x, 1883)
6. ∀x : ∀thn1 : ∀thn2 : pastimati(x) ∧ lahir(x, thn1) ∧ lahir(x, thn2) ∧ lebihdari(thn2 – thn1, 150) → mati(x, thn2)
7. Sekarang ≡ 2010
8. ∀x : ∀y : [mati(x,y) → ¬hidup(x,y) ] ∧ [¬hidup(x,y) → mati(x,y)]
9. ∀x : ∀thn1 : ∀thn2 : mati(x, thn1) ∧ lebihdari(thn2 – thn1) → mati(x, thn2)
B. Dari pernyataan diatas akan dibuktikan Karjo tidak hidup sekarang dengan penalaran 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
