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 dasardasar pengetahuan yang dibutuhkan oleh mahasiswa untuk membangun sistem-sistem cerdas.

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.

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.

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.

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.

Sistem Nilai

Kehadiran/Quiz Programming Mid Semester Final Semester

: 10% : 30% : 25% : 35%

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
9

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

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
11

Praktikum

Prolog

LPA Win-Prolog 4.320 GNU Prolog SWI Prolog

Allegro Common LISP (ACL)

LISP

http://www.franz.com http://www.gnu.org
12

GNU Common LISP

Tugas

E-mail:

To: opim@usu.ac.id Subject: pr??_S2TI_A Attachment: nim_??.ext

13