Mata Kuliah : Artificial Intelligence
Program Studi : Teknik Informatika / Sistem Komputer
STIMIK STIKOM Indonesia
Tahun Ajaran 2018 – 2019
Pertemuan : 06
Kemampuan Akhir yang Diharapkan :
Mahasiswa mampu memahami konsep representasi pengetahuan
dalam bentuk logika
Indikator:
·
Ketepatan menjelaskan elemen-elemen logika dalam
representasi pengetahuan
·
Ketepatan menjelaskan perbedaan logika proposisi
dan logika predikat order pertama
·
Ketepatan menjelaskan perbedaan quantifier
universal dengan existensial
·
Penguasaan dalam menyusun representasi
pengetahuan dalam bentuk logika proposisi maupun logika predikar order pertama
Materi Pembelajaran
·
Logika dan set / himpunan
·
Logika proposisi
·
Logika predikat order pertama
·
Quantifier universal dan existensial
·
Quantifier dan set/ himpunan
Daftar Pustaka
·
Kusumadewi, Sri. 2003. Artificial Intelligence
(Teknik dan Aplikasinya). Yogyakarta : Graha Ilmu
·
Suyanto. 2007. Artificial Intelligence
(Searching, Reasoning, Planning, and Learning). Bandung : Informatika
·
Sutojo, T.,Edy Mulyanto, Vincent Suhartono.
2011. Artificial Intelligence. Yogyakarta : Andi
·
Russell, Stuart J., Peter Norvig. 2003.
Artificial Intelligence (A Modern Aproach). New Jersey : Pearson
·
Jones, M Tim. 2008. Artificial Intelligence (A
System Approach). Massachusetts : Infinity Science Press.
·
Fausett, Laurence V. 1994. Fundamentals of
Neural Networks : Architectures, Algorithm, and Applications. Delhi :
Pretince-Hall
