Knowledge and Games in Distributed Systems
This course introduces the theory of knowledge in distributed systems, and its applications to the design and analysis of distributed protocols and multi-agent games. Familiarity with topics such as mathematical logic and/or algorithms is an advantage but is not necessary. The course is self-contained. One of the main intended lessons of the course is how logical analysis can assist in the design of efficient algorithmic solutions.
The course will be given in English if requested.
There will be up to 5 homework assignments, and the grade will based on them. There will be no final exam.
The topics covered will include:
Modeling distributed systems
Defining modal logics of knowledge and time using the notion of possible worlds
Properties of single-agent knowledge, Common knowledge and other forms of group knowledge
Defining knowledge in games in mathematical economics
Mainly - Applying knowledge theory to the design and analysis of distributed protocols
קורס זה מציג את תורת הידע במערכות מבוזרות וידגים את שימושיה בתכן וניתוח תוכניות מחשב מבוזרות ומשחקים מרובי משתתפים. הכרת נושאים כגון לוגיקה מתמטית, ו/או אלגוריתמים מהווה יתרון, אבל אינה הכרחית. אחד מלקחי הקורס הוא האופן שבו ניתוח לוגי מאפשר לייעל פתרונות אלגוריתמיים.
הקורס יינתן באנגלית במידה שתהיה לכך דרישה. נתנו עד חמישה תרגילי בית מקיפים, והציון הסופי יהיה מבוסס עליהם. לא יתקיים מבחן.
הנושאים הנלמדים יכללו:
מידול מערכות מבוזרות,
הגדרת לוגיקות מודליות של ידע וזמן באמצעות מושג העולמות האפשריים,
תכונות הידע של סוכן יחיד, ידע משותף ומצבי ידע קבוצתיים אחרים,
הגדרת ידע במשחקים ובכלכלה מתמטית,
ובעיקר: שימושי תורת הידע בתכן וניתוח תכניות מחשב מבוזרות ומשחקים.
- מורה: יורם מוזס