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:

To: opim@usu.ac.id

Subject: pr??_S2TI_A

Attachment: nim_??.ext

13