לוגיקה אפיסטמית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ לא אנציקלופדי תגיות: עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד עריכה מתקדמת מהנייד |
מאין תקציר עריכה תגיות: עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד עריכה מתקדמת מהנייד |
||
שורה 6:
==לוגיקה אפיסטמית לפי המודל של עולמות אפשריים==
רוב המאמצים לחקור ידיעה באופן פורמלי מתבססים על המודל הסמנטי של עולמות אפשריים. כדי לעשות זאת, יש לחלק את קבוצת העולמות האפשריים לאלו שתואמים לידע של סוכן, ולאלו שלא. אם מישהי יודעת שהיום יום שישי או יום שבת, אז היא יודעת בוודאות שהיום לא יום חמישי. אין עולם אפשרי (נגיש) שתואם לידיעה שלה שהיום יום חמישי, מכיוון שבכל העולמות האפשריים הנגישים ההתאמה היא ליום שישי או שבת. כמו כל שפה פורמלית, לוגיקה אפיסטמית כוללת סינטקס וסמנטיקה, שמבוססות על המבנה של לוגיקה מודאלית.
===סינטקס===
האופרטור הבסיסי של לוגיקה מודאלית מסומן לרוב
אם ישנו יותר מסוכן אחד שהידע שלו מיוצג ניתן להוסיף בתחתית אופרטור K סימול נוסף (<math>\mathit{K}_1</math>, <math>\mathit{K}_2</math>, etc.) כדי להבדיל בין מספר סוכני הידיעה. באופן כללי <math>\mathit{K}_a\varphi</math> יקרא כך: "סוכן <math>a</math> יודע ש <math>\varphi</math>". לאופטור המשלים של K, השמקביל לאופרטור <math>\Diamond p</math> מלוגיקה מודאלית אין סימן משלו, אבל ניתן לנסחו כ <math>\neg K_a \neg \varphi</math> ולקרוא אותו כ<math>a</math>
לא יודע שלא <math>\varphi</math>. את הטענה '<math>a</math> לא יודע אם <math>\varphi</math> או אם לא <math>\varphi</math>' ניתן לבטא כך <math>\neg K_a\varphi \land \neg K_a\neg\varphi</math>.
| |||