شیوه استنتاج طبیعی در سیستم های زمانی kt و kc
Publish place: FALSAFEH، Vol: 1، Issue: 1
Publish Year: 1381
نوع سند: مقاله ژورنالی
زبان: Persian
View: 153
This Paper With 18 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_JOP-1-1_009
تاریخ نمایه سازی: 6 آبان 1402
Abstract:
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال ۱۹۵۷ تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شیوه ای از استنتاج طبیعی را در پاره ای از سیستم های منطق زمان همچون kt و kc معرفی نموده و در محاسبات صوری این سیستم ها بکار گیرد
Authors