לוגיקה אפיסטמית דינמית
term_id: dynamic_epistemic_logic
Category: engineering_practice
Definition
לוגיקה אפיסטמית דינמית מרחיבה את הלוגיקה המודאלית כדי לדמות כיצד ידע מתפתח כאשר סוכנים מקבלים מידע חדש. היא מספקת כלים לניתוח מערכות רב-סוכניות שבהן אמונות משתנות עקב פעולות תקשורת.
Summary
מסגרת פורמלית לחשיבה על שינויים במצבי הידיעה של סוכנים הנובעים מעדכוני מידע או אירועים.
Key Concepts
- עדכון ידע
- זרימת מידע
- מערכות רב-סוכנות
- תיקון אמונה
Use Cases
- אימות פרוטוקולי אבטחה
- מודלינג תקשורת בשלבי רובוטים
- ניתוח תרחישים בתיאוריית המשחקים