Skip to main content
فهرست مقالات

شیوه استنتاج طبیعی در سیستم های زمانی Kt و Kc

نویسنده:

ISC (18 صفحه - از 163 تا 180)

کلید واژه های ماشینی : شیوه استنتاج طبیعی در سیستم، سیستم، منطق زمان، مدل، سیستم‌های اصل موضوعی منطق زمان، زمان، سیستم استنتاج طبیعی منطق زمان، اتصال، صفت، استنتاج طبیعی در سیستم‌های زمانی، نمودار زیر بیانگر مدل، سیستم‌های منطق زمان، اصل، صفات تعدی و اتصال، اصول موضوعه، اصل موضوع، منطق زمان به شیوه استنتاج، ساختار معنائی منطق زمان، قواعد، ساختار نحوی منطق زمان، فرمول، صدق، شیوه‌ای از استنتاج طبیعی، مدل ضعیف‌ترین مدل منطق زمان، قواعد استنتاج اصلی و فرعی، زمانی Kt، عنصر زمان در محاسبات منطقی، عملگر زمانی، وجود ویژگی مزبور در مدل، استنتاج طبیعی در پی‌جویی محاسبات

خلاصه ماشینی: "نیز فرمولند -اگر???و???دو فرمول باشند(???)نیز فرمول است ج:تعاریف در سیستم K t عبارتست از: (به تصویر صفحه مراجعه شود) (1)- Syntax (2)- Semantic (3)- minimal tense logic (4)- formal language (5)- future tense operator (6)- Past tense operator (7)- it will be the case that (8)- it has been the case that (به تصویر صفحه مراجعه شود) G و H دو عملگر زمانی‌اند که به صورت زیر تعبیر می‌گردند 1همیشه این‌چنین خواهد بود که: G 2همیشه این‌چنین بوده است که: H حال به معرفی دستگاه استنتاجی3سیستم K t می‌پردازیم الف:اصول موضوعه(قالب‌های اصل موضوعی4-اصل نماها)سیستم K t عبارتست از موارد A-1 الی A 7 از جدول شماره(1) اصل نماهای A 1 الی A 3 مربوط به منطق کلاسیک جدید و A 4 الی A 7 خاص سیستم K t می‌باشد. (به تصویر صفحه مراجعه شود) 4-شیوه استنتاج طبیعی در سیستم K t و K c علیرغم پژوهش‌های قابل توجهی که در تبیین اصل موضوعی منطق زمان انجام گرفته،مطالعه دقیق و کاملی در حوزه سیستم استنتاج طبیعی منطق زمان صورت نگرفته است مؤلف در این قسمت با الهام از شیوه و اسلوب"فیچ"در منطق موجهات می‌کوشد شیوه‌ای از استنتاج طبیعی را در پاره‌ای از سیستم‌های منطق زمان همانند K t و K c طراحی نموده و محاسبات صوری این سیستم‌ها را براساس این شیوه پی‌جوئی نماید."

  • دانلود HTML
  • دانلود PDF

برای مشاهده محتوای مقاله لازم است وارد پایگاه شوید. در صورتی که عضو نیستید از قسمت عضویت اقدام فرمایید.