Skip to main content
SUPERVISOR
Mohamadreza Raofi,Mojtaba Aghaei
محمد رضا رئوفی (استاد مشاور) مجتبی آقائی فروشانی (استاد راهنما)
 
STUDENT
Shima Falahaty
شیما فلاحتی

FACULTY - DEPARTMENT

دانشکده ریاضی
DEGREE
Master of Science (MSc)
YEAR
1390

TITLE

Justifications for Common Knowledge
Justification logics are epistemic logics that explicitly include justifications for the agent’s knowledge. The first logic of this kind is the logic of proofs , an explicit counterpart of the modal logic . Indeed, each theorem of ecomes a theorem of if all the terms are replaced with the modality ?; and, vice versa, each theorem of can be transformed into a theorem of if the occurrences of modality are replaced with suitable evidence terms. Instead of statement is known, denoted ? , justification logics reason about justifications for knowledge by using the construct to formalize statements is a justification for , where, dependent on the application, the evidence term can be viewed as an informal justification or a formal mathematical proof.
منطق‌های توجیه، منطق‌های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل‌هاست. در این پایان‌نامه، یک منطق توجیه چند عاملی با ترم‌های توجیه برای عامل‌های فردی و نیز برای دانش عمومی می‌شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات‌های LP است تعریف می‌کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می‌شود. اثبات می‌کنیم که این منطق یک گسترش پایستار از منطق توجیه صریح مینیمال دو موجهی یاورسکایا است که یک نسخه‌ی دو عاملی از LP است و ارتباط این منطق با منطق موجه چند عاملی 4 با دانش عمومی مطرح می‌شود. در آخر، یک تحلیل مختصری از مسئله‌ی حمله‌ی هماهنگ در زبان اخیراً توسعه یافته از این منطق بررسی می‌شود.

ارتقاء امنیت وب با وف بومی