ABS Sobhanian (Persion)

در اين پايان­نامه به صورت­بندي و بيان يك سيستم استنتاجي براي يك منطق كنترل دسترسي پرداخته­ايم كه هم براي كنترل دسترسي و هم براي بررسي تطابق با قوانين مفيد است. اين سيستم منطقي قابليت بيان سيستم­هاي كنترل دسترسي، به عنوان يك دستگاه حقوقي و قانوني را دارد. نخست عملگر says، از منطق­هاي كنترل دسترسي را مورد توجه قرار داده­ايم. عملگر says مفهوم «گفتن» به عنوان يك وجه در منطق موجهاتي بيان مي­شود. در اين ديدگاه عملگر says مفهوم «گفتن» را به صورت شهودي مدل­سازي مي­كند. سپس با بيان آن براساس حساب لانداي نوع­دار، نشان داده شده كه سيستم استنتاجي شهودگرايانه، بر استدلال بر محرمانگي، با توجه به سطوح محرمانگي، مطابقت دارد. براي عملگر says سه تعبير درخواست، تأييد و اعلان معرفي شده است. از جمله مفاهيم مهمي كه با استفاده از عملگر says قابل بيان است، وكالت و نقل­قول هستند. سپس عملگر says را با بردن به سيستم­هاي حقوقي تكميل كرده و به آن امكان داده شده كه بنا به كاربرد آن در جمله تعبير شود. سيستم­هاي حقوقي براي بيان و صورت­بندي قوانين و بيان سيستم استنتاجي مربوط به آن ارائه شده­اند. سيستم­هاي حقوقي به علت پيچيدگي­هاي خاص خود، ما را به سيستم­هاي استنتاجي غير يكنوا راهنمايي مي­كنند. در اين پايان­نامه سيستم استنتاجي مورد نظر را به تفصيل بيان كرده­ايم كه با استفاده از ارزش نامشخص براي برخي جملات، توانمند شده است. در سيستم­هاي استنتاجي غيريكنوا ممكن است از يك مجموعه فرضيات، چند جواب بدست آيد. علاوه بر اين در «اجازه سخن گفتن» با استفاده از وظايف تودرتو توانسته­ايم قابليت­هاي زباني بالايي را در اختيار بگيريم. در اني منطق «وظيفه» و «مجوز» به عنوان دوگان يكديگر معرفي شده­اند و اين ساختار زباني و استنتاجي به زبان و استنتاج معمولي بشري بسيار نزديك است. با بيان چند مثال، قابليت­هاي زباني و استنتاجي ارائه شده را تشريح كرده و در نهايت با بيان و بررسي پارادكس پروتاگوراس نشان داده­ايم كه سيستم معرفي شده قابليت بررسي سيستم­هاي حقوقي پيچيده را نيز دارد. در اين پايان­نامه به ارائه يك سيستم منطقي به همراه اصول موصوعه مناسب آن پرداخته شده كه با مدل­هاي كريپكي معناشناسي شده و براي آن قضاياي سلامت، تماميت و تصميم­پذيري نيز اثبات شده و با استفاده از زيرفرمول­ها تصميم­پذيري بررسي هماهنگي با قوانين، براي يك سيستم، اثبات شده است.