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

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

4 נקודות זכות ברמה מתקדמת ללא אפשרות לכתיבת עבודה סמינריונית

שיוך: מדעים / מדעי המחשב

תנאי קבלה: עמידה בדרישות האנגלית ובדרישות ההדרכה הביבליוגרפית בספרייה. ידע קודם דרוש: אחד מבין הקורסים לוגיקה למדעי המחשב (‏או לוגיקה מתמטית‎)‏, נושאים במתמטיקה לתלמידי מדעי החברה: פרקים בתורת הקבוצות, בלוגיקה ובאלגברה לינארית, וכן הקורס מבני נתונים ומבוא לאלגוריתמים (‏או מבני נתונים‎)‏. ידע קודם מומלץ: הקורס אלגוריתמים.

פיתוח הקורס: פרופ' יהודית גל-עזר, אילנה בס; יהודית גוגנהיימר (‏עריכה‎)‏

מטרות הקורס

• להכיר שפת תכנות לוגי.

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

ספר הקורס

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

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

נושאי הלימוד

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

• מבוא לפרולוג

• תחביר ומשמעות של תכניות פרולוג

• רשימות, אופרטורים ואריתמטיקה

• תכניות לדוגמה

• נסיגה לאחור

• פרדיקטים מובנים

• טכניקות וסגנון תכנות

• פעולות על מבני נתונים

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

• שיטות חיפוש קלאסיות

• חיפוש היוריסטי

• גרפים מסוג AND/OR לייצוג ולפתרון בעיות

• מערכות מומחה וייצוג ידע

• משחקים – עקרון minimax, אלגוריתם אלפא-ביתא

דרישות הקורס

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

תרגול

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

---

1 להשלכות על צבירת נ"ז בשל חפיפה עם קורס(‏ים‎)‏ אחר(‏ים‎)‏, ראו פירוט החפיפה.

הקורס יוצע ללימוד בפעם האחרונה בסמסטר ג2022.