נקודות זכות באוניברסיטה העברית: 2

תואר: מוסמך

היחידה האקדמית שאחראית על הקורס: מדעי המחשב

סמסטר: סמסטר ב'

שפת ההוראה: אנגלית

קמפוס: קרית א"י ספרא

מורה אחראי על הקורס (רכז): פרופ ג'פרי רוזנשיין

דוא"ל של המורה האחראי על הקורס: jeff@cs.huji.ac.il

שעות קבלה של רכז הקורס: ימי שליש 10:30am-11:00

מורי הקורס:
פרופ ג'פרי רוזנשיין

תאור כללי של הקורס:
מערכות Multiagent צמחו כתחום חשוב של מחקר ופיתוח בתחום טכנולוגיית מידע. מערכת multiagent היא מערכת המורכבת ממספר רכיבי אינטראקציה תוכנה הידוע כסוכנים, שהם בדרך כלל מסוגלים לשתף פעולה כדי לפתור את הבעיות שהם מעבר ליכולות של כל חבר בודד. קורס זה בוחן , באמצעות הרצאות וקריאה , מודלים סוכן תיאורטי , ארכיטקטורות ( תגובתיוBDI ) , אינטראקציות multiagent , שפות תקשורת interagent , מתודולוגיות תכנון סוכן, ויישומי סוכן.

הנהתכנית הלימודים , בפירוט :

1 . הרצאת 1 - מבוא למערכות Multiagent
. מגמות בתחום מחשוב
i . המצאות בכל מקום
ii . קישוריות
ג . מודיעין
iv . משלחת
נ ' אדם אוריינטציה
ב. הגדרות של " סוכן "ומערכות Multiagent
ג . מערכות דוגמא
ד . צפיות בחלק מהשדה

2 . הרצאה 2 - סוכנים חכמים
. מה הוא סוכן ?
i . תגובתיות
ii . Proactiveness
ג . איזון התנהגות הריאקטיביוהתכלתה
ב. סביבות
i . נגיש לעומת נגיש
ii . דטרמיניסטי לעומת שאינו דטרמיניסטי
ג . אפיזודי לעומת הלא אפיזודי
iv . סטטי לעומת דינמי
נ ' בדידים לעומת רציף
ג . סוכניםכמערכות מכוונות
ד . ארכיטקטורה מופשטתלסוכנים
i . סוכנים גרידא ריאקטיבי
ii . סוכנים עם מדינה
ג . פונקציות שירות מעל המדינות
iv . פונקציות שירות מעל ריצות
נ תחומת סוכנים אופטימליים
vi . מפרטי משימת נשוא
vii . סביבות משימה
VIII . משימות הישג ותחזוקה
ix . סוכן סינתזה

3 . הרצאה 3 - סוכני חשיבה דדוקטיבית
. סוכן ארכיטקטורות
ב. סוכני חשיבה סמליים
ג . סוכני חשיבה דדוקטיבית
ד . מערכות תכנון
i . בלוקים העולם
ii . השיטה של גרין
ג . הבעיה Frame
iv . אקסיומות מסגרת
דואר . AGENT0וPlaca
ו. METATEMובמקביל METATEM

4 . חשיבה מעשית - הרצאה 4
. כוונותבחשיבה מעשית
ב. סוכני תכנון (שוב)
ג . חשיבה אמצעי קצה
ד . רצועות
דואר . דיון
i . אסטרטגיות מחויבות
ii . בחינה מחודשת כוונה
ו. BDI תאוריה ומעשה
גרם. BDI Logic
i . אכסיומות של KD45
ii . CTL Temporal Logic
ג . CTL * סימון
שעות . סוכני BDI מיושמים
i . אירמה
ii . PRS
ג . הומר
1 . השוואה עם SHRDLU

5 . הרצאה 5 - ארכיטקטורות הריאקטיביוהיברידיות
. ברוקס - שפות התנהגות
i . אדריכלות Subsumption
ii . בקרה שכבתית
ב. " פלדות מאדים Explorer
ג . אוטומטים ממוקם
i . שליט
ii . GAPPS
ד . יתרונות של סוכני ריאקטיבי
דואר . מגבלות של סוכני ריאקטיבי
ו. ארכיטקטורות היברידיות
i . Layering האופקי
ii . אנכי Layering ( בקרת 1 -pass )
ג . אנכי Layering ( שליטת 2 -pass )
iv . פרגוסון - TOURINGMACHINES
נ Müller - InteRRaP

6 . הרצאה 6 - אינטראקציות Multiagent
. מערכות Multiagent
ב. כלי עזרוהעדפות
ג . מפגשי Multiagent
ד . פעולה רציונאלית
דואר . מטריצות שוחד
ו. אסטרטגיות דומיננטיות
גרם. נאש שיווי משקל
שעות . אינטראקציות - סכום אפס תחרותי
i . דילמת האסיר
j . הטורניר של אקסלרוד
k . המשחק של עוףו2 x 2 משחקים סימטריים אחרים

7 . הרצאה 7 - להגיע להסכמים - מכירות , משא ומתן , טיעון
. מנגנונים, פרוטוקולים ,ואסטרטגיות
ב. עיצוב מנגנון
ג . מכירות פומביות
i . פרמטרי המכרז
1 . מוצרים יכולים להיות :
. ערך פרטי
ב. ערך ציבורי / משותף
ג . ערך מתואם
2 . קביעת מנצח עשויה להיות :
. המחיר הראשון
ב. מחיר שני
3 . הצעות עשויות להיות :
. זעקה פתוחה
ב. הצעה חתומה
4 . הצעות עשויות להיות :
. ירייה אחת
ב. עולה
ג . יורד
ii . מכירות פומביות באנגלית
ג . מכירות הולנדי
iv . ראשון במכרזי מחיר אטום - הצעה
מכירות Vickrey נ '
vi . שקרים וקנוניה
ד . משא ומתן
i . תחומים מוכוונת משימה
1 . דוורי דומיין
2 . תחום מסד נתונים
3 . דומיין פקס
ii . תחומים Oriented מדינה
1 . מחורץ בלוקים העולם
ג . תחומים Oriented שווים
1 . Multiagent TileWorld
iv . תחומים המשימה Oriented מוגדרים
1 . מבצע
2 . סט המשא ומתן
3 . פרוטוקולי משא ומתן
4 . מונוטונית זיכיון הפרוטוקול
5 . האסטרטגיה Zeuthen
6 . הונאה
. הסתרת מידע
ב. מידע פנטום
ג . מידע הפתיונות
7 . משא ומתן על עסקות מעורבות
8 . Tods תת תוסף
9 . מנגנונים תואמים תמריץ
10. Tods קעור
11. Tods מודולרי
דואר . הנמקה
i . טיעון המבוסס על היגיון
ii . התקפהובס
ג . טיעון תקציר

8 . הרצאה 8 - קואליציות , כוח ההצבעה ,וחישובית חברתית בחירה
. קואליציות ציפורניים: משחקים קואליציוניים
i . דור מבנה קואליציה
ii . פתרוןבעיית האופטימיזציה של כל קואליציה
ג . חלוקת ההטבות
ב. גיבוש תרחישים שיתופיים
i . הליבה
ii . התנגדויות
ג . שייפלי הערך
ג . איך לייצג פונקציות אופייניות
i . subgraph המושרה
ii . משחקי הצבעה משוקללות
ג . נטס תרומה השולי
ד . כוח הצבעה
i . שייפלי - וביק אינדקס
ii . גופי הצבעה משוקללות
ג . כוחה של גושי הצבעה
iv . ועדות
דואר . צבירת העדפה ובחירה חברתית תאוריה
ו. שיטות הצבעה סודרים
גרם. אי אפשרות המשפט של החץ
שעות . Gibbard - Satterthwaite משפט
i . מניפולציות
j . פרוטוקולי הצבעה
i . סדרתית Pairwise הצבעה
ii . הצבעה ריבוי
1 . רוב הגרפים
ג . ריבוי עם ניגר
iv . הרוזן Borda
נ ' קופלנד
vi . אחת להעברה להצבעה ( STV )
k . הצבעה קריטריונים
i . פארטו קריטריון
ii . קריטריון זוכה קונדורסה
ג . קונדורסה פרדוקס
iv . קריטריון monotonicity

9 . הרצאת 9 - סוכן תקשורת
. פעולות דיבור
ב. סמנטיקה תכנית המבוססת
ג . KQML
ד . פורמט ידע מחלף - KIF
דואר . ביקורת של KQML
ו. FIPA
i . ליידע ובקשה

10. הרצאת 10 - עובד יחד
. סוכנים נדיבים
ב. משימת שיתוףותוצאת שיתוף
ג . החוזה הנקי
i . הכרה
ii . הודעה
ג . הצעות
iv . הענקתוזירוז
נ ' סוגיות ליישום חוזה נקי
ד . פתרון בעיות Distributed שיתופי ( CDPs )
דואר . חישה מבוזרת
ו. ארכיטקטורת מוע השנייה
i . מקורות ידע
ii . Blackboard
גרם. ארכיטקטורת מוע השנייה Distributed
שעות . Testbed ניטור רכב מבוזרת ( DVMT )
i . מבחינה תפקודית מדויקים / שיתופי מערכות ( FA / C)

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

תוצרי למידה :
בסיומו של קורס זה, סטודנטים יהיו מסוגלים:
ראה מטרות קורס.

דרישות נוכחות (%):
100

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

רשימת נושאים / תכנית הלימודים בקורס:
ראה תיאור קורס.

חומר חובה לקריאה:
An Introduction to Multiagent Systems. Michael Wooldridge (John Wiley and Sons), second edition, 2009.

חומר לקריאה נוספת:
1. Multiagent Systems. Yoav Shoham and Kevin Leyton-Brown (Cambridge University Press), 2009.

2. Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents, Stan Franklin and Art Graesser. Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1996.

3. Agent-Oriented Programming, Yoav Shoham, Artificial Intelligence, Volume 60, 1993, pp. 51-92.

4. Plans and Resource-Bounded Practical Reasoning, M. E. Bratman, D. J. Israel, and M. E. Pollack, Computational Intelligence Journal, Vol. 4, No. 4, pp. 349- 355, 1988.

5. The Belief-Desire-Intention Model of Agency, M. Georgeff, B. Pell, M. Pollack, M. Tambe, and M. Wooldridge, in J. P. Muller, M. Singh, and A. Rao, editors, Intelligent Agents V, Springer-Verlag Lecture Notes in AI, Volume 1365, March 1999.

6. A Robust Layered Control System for a Mobile Robot, Rodney A. Brooks, IEEE Journal of Robotics and Automation, Vol. 2, No. 1, March 1986, pp. 14- 23.

7. A Situated View of Representation and Control, Stanley J. Rosenschein and Leslie Pack Kaelbling, Artificial Intelligence, volume 73, 1995, pp. 149-173.

8. Chapters 1, 2, and 3 (pages 3-69) of The Evolution of Cooperation, Robert Axelrod, Basic Books, New York, 1984.

9. Automated Negotiation: Prospects, Methods and Challenges, N. R. Jennings, P. Faratin, A. R. Lomuscio, S. Parsons, C. Sierra and M. Wooldridge, International Journal of Group Decision and Negotiation, Vol. 10, No. 2, 2001, pp. 199-215.

10. Computational-Mechanism Design: A Call to Arms, Rajdeep K. Dash, Nicholas R. Jennings, and David C. Parkes, IEEE Intelligent Systems, November-December 2003, pp. 40-47.

11. Consenting Agents: Designing Conventions for Automated Negotiation, Jeffrey S. Rosenschein and Gilad Zlotkin, AI Magazine, Volume 15, Number 3, Fall 1994, pp. 29-46.

12. "Designing the Perfect Auction," Hal R. Varian, Communications of the ACM, Volume 51, Number 8, August 2008, pp. 9-11.

13. "Making Decisions Based on the Preferences of Multiple Agents," V. Conitzer, Communications of the ACM, Vol. 53, No. 3, March 2010 , pp. 84- 94

14. Elements of a Plan-Based Theory of Speech Acts, P. R. Cohen and C. R. Perrault, Cognitive Science Vol. 3, No. 3, 1979, pp. 177-212; reprinted in: Readings in Natural Language Processing, Grosz, B.J., Sparck-Jones, K., and Webber, B.L., (eds.), Morgan-Kaufman Publishing Co., Los Altos, 1986; Readings in Distributed Artificial Intelligence, Gasser, L., and Huhns, M., (eds.), Morgan-Kaufman Publishing Co., Los Altos, 1988.

15. Distributed Problem Solving and Planning, E. H. Durfee, in Multiagent Systems: A Modern Approach to Distributed Artifical Intelligence, edited by G. Weiss, pp. 121-164, MIT Press, Cambridge, MA, 1999.

הערכת הקורס - הרכב הציון הסופי :
מבחן מסכם בכתב/בחינה בעל פה 100 %
הרצאה0 %
השתתפות 0 %
הגשת עבודה 0 %
הגשת תרגילים 0 %
הגשת דו"חות 0 %
פרויקט מחקר 0 %
בחנים 0 %
אחר 0 %

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