ABS Pourhaghani(Persion)

در اين پايان نامه يكي از توسيع هاي منطق تكليف به نام منطق ورودي/خروجي مورد بررسي قرار گرفته است. منطق تكليف يكي از شاخه هاي منطق موجهات است كه به بررسي گزاره هاي در باره وظيفه، مجوز و ممنوعيت مي پردازد و در سال 1951 توسط فون رايت معرفي گرديد. اما از همان ابتدا پارادوكسهاي زيادي براي آن به وجود آمد. يكي از اين توسيع منطق   ورودي/خروجي است كه در سال 2000 ارائه گرديد و تا سال 2003 با ارائه دو مقاله ديگر اين منطق به عنوان توسيعي از منطق تكليف كامل گرديد. در اين منطق با استفاده از يك قيد در استنتاج ها جلوي توليد پارادوكسها گرفته مي شود. در اين منطق وظايف را به صورت زوجهاي مرتب نشان مي دهيم كه درايه اول اشاره به وضعيتي است كه اتفاق افتاده است و درايه دوم مربوط به وظيفه يا مجوزي است كه در آن وضعيت وجود دارد. اين منطق قاعده محور بوده و شامل هيچ اصل موضوعي نيست. يكي از ديگر مباحث مطرح در منطق تكليف موضوع دستگاه هاي هنجاري است. يك دستگاه هنجاري، دستگاهي كه بر اساس وظايف پايه گذاري شده است. مثال بارز اين نوع دستگاه ها، حكومت يك كشور مي باشد. در هر دستگاه هنجاري هر كسي وظيفه اي بر عهده دارد كه بايد انجام دهد. براي اين دستگاه ها مدل هاي مختلفي در منطق تكليف ارائه شده است. يكي از اين مدلها بر اساس منطق ورودي/خروجي ارائه شده است. در اين مدل هنجارهاي اساسي و رويه اي و روابط محسوبي مدل شده است. اين مدل سازگار با مباحث علوم كامپيوتر مي باشد.

-