ho-00 kecerdasan buatan
TRANSCRIPT
HO-0 Kecerdasan Buatan
KONTRAK PERKULIAHAN
Opim S Sitompul
KTL 501 - Kecerdasan Buatan
Semester: 1
Satuan Kredit Semester : 3 SKS
Jml Jam kuliah dalam seminggu : 150 Menit
tatap muka
Syarat Minimum Kehadiran: 80% dari 16x
Dosen penyusun : Prof. Dr. Opim Salim
Sitompul, M.Sc.
Matakuliah prasyarat : Algoritma dan
Pemrograman
2
Deskripsi Umum Mata kuliah
Kecerdasan Buatan adalah salah satu mata
kuliah wajib bagi mahasiswa program studi
Ilmu Komputer yang memberikan dasar-
dasar pengetahuan yang dibutuhkan oleh
mahasiswa untuk membangun sistem-sistem
cerdas.
3
Pada kuliah ini mahasiswa akan
diperkenalkan pada konsep-konsep
kecerdasan yang dapat ditirukan oleh mesin
(terutama komputer) dan bagaimana
manusia merepresentasikan ilmu
pengetahuannya ke dalam bentuk yang
dapat dipahami oleh komputer.
4
Untuk itu pada kuliah ini juga akan
diperkenalkan konsep-konsep dasar logika,
seperti logika predikat (predicate logic) dan
logika order pertama (first order logic).
Dalam perkuliahan ini juga akan
diperkenalkan salah satu teknik dasar dalam
kecerdasan buatan, yaitu pencarian
(searching) yang dapat digunakan dalam
menyelesaikan masalah.
5
Untuk melengkapi pemahaman mahasiswa,
kuliah ini juga disertai oleh praktikum
pemrograman menggunakan bahasa
pemrograman Prolog dan/atau LISP. Praktek
pemrograman diberikan secara terpisah di
laboratorium komputer yang disediakan.
6
Standar Kompetensi
Mahasiswa diharapkan dapat memiliki
kompetensi dalam menerapkan konsep dan
teknik kecerdasan buatan dalam membangun
sistem-sistem yang apabila dilakukan oleh
manusia akan memerlukan kecerdasan.
7
8
Sistem Nilai
Kehadiran/Quiz : 10%
Programming : 30%
Mid Semester : 25%
Final Semester : 35%
9
Materi Kuliah
Part I Artificial Intelligence
1 Introduction
2 Intelligent Agents
Part II Problem Solving
3 Solving Problems by Searching
4 Beyond Classical Search
5 Adversarial Search
6 Constraint Satisfaction Problems
Part III AI Programming Languages
7 Introduction to Prolog
8 Introduction to LISP
Materi Kuliah Part IV Knowledge and Reasoning
9 Logical Agents
10 First-Order Logic
12 Inference in First-Order Logic
13 Classical Planning
14 Planning and Acting in the Real World
15 Knowledge Representation
10
11
Buku Pegangan Artificial Intelligence A Modern Approach (3rd Edition)
Stuart Russel & Peter Norvig
Prentice Hall: New Jersey, 2009
Artificial Intelligence and Intelligent Systems
N.P. Padhy
Oxford University Press, 2006
Artificial Intelligence: A Guide to Intelligent Systems (2nd Edition) Michael Negnevitsky
Addison Wesley; 2nd edition, 2004
Artificial Intelligence Structures and Strategies for Complex Problem Solving
George F Luger & William A Stubblefield
Addison-Wesley: Massachussetts, 1998
Artificial Intelligence
Patrick Henry Winston
Addison-Wesley: Massachussetts, 1984
Prolog: Pengantar Pemrograman Kecerdasan Buatan
Opim S Sitompul
USUPress: Medan, 2007
12
Praktikum
Prolog
LPA Win-Prolog 4.320
GNU Prolog
SWI Prolog
LISP
Allegro Common LISP (ACL)
http://www.franz.com
GNU Common LISP
http://www.gnu.org
Tugas
E-mail:
Subject: pr??_S2TI_A
Attachment: nim_??.ext
13