שפת פרולוג והיבטים לבינה מלאכותית

• להכיר שפת תכנות לוגי.
• ללמד עקרונות, שיטות וטכניקות של בינה מלאכותית וליישמם בשפת פרולוג.

I. Bratko, Prolog Programming for Artificial Intelligence, 4th ed. (Addison Wesley, 2011)

הסטודנטים ילמדו את ספר הקורס באנגלית בעזרת מדריך למידה בעברית.

חלק א: שפת פרולוג

• מבוא לפרולוג
• תחביר ומשמעות של תכניות פרולוג
• רשימות, אופרטורים ואריתמטיקה
• תכניות לדוגמה
• נסיגה לאחור
• פרדיקטים מובנים
• טכניקות וסגנון תכנות
• פעולות על מבני נתונים

חלק ב: בינה מלאכותית – יישומים באמצעות שפת פרולוג

• שיטות חיפוש קלאסיות
• חיפוש היוריסטי
• גרפים מסוג AND/OR לייצוג ולפתרון בעיות
• מערכות מומחה וייצוג ידע
• משחקים – עקרון minimax, אלגוריתם אלפא-ביתא

דרישות הקורס כוללות, בין השאר, הרצת תכניות מחשב במשך הסמסטר וכן הגשת פרויקט סיכום בסוף הקורס. הפרויקט יהיה תרגיל מחשב בהיקף גדול כדוגמת מימוש של מערכת מומחה מסוימת באמצעות פרולוג, תכנית המשחקת משחק וכדומה. הפרויקט יוגש כחודש וחצי לאחר סיום הסמסטר.

בקורס נדרש תרגול מעשי במחשב.