اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
Publish Year: 1384
Type: Journal paper
Language: Persian
View: 116
این Paper فقط به صورت چکیده توسط دبیرخانه ارسال شده است و فایل کامل قابل دریافت نیست. برای یافتن Papers دارای فایل کامل، از بخش [جستجوی مقالات فارسی] اقدام فرمایید.
نسخه کامل این Paper ارائه نشده است و در دسترس نمی باشد
- Certificate
- I'm the author of the paper
Export:
Document National Code:
JR_MCT-24-34_007
Index date: 28 August 2022
اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر abstract
هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (۱) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (۲) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبیعی ارائه دهد. به معرفی سیستم های گنسنی برای منطق موجه و تکنیک های اثبات به روش نقطه و پرتاب می پردازیم و در انتها با استفاده از زبان شبه طبیعی، روش تولید چنین اثباتهایی را به کمک رایانه و کاربر ارائه می کنیم.
اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر authors
مجتبی آقایی
دانشگاه صنعتی شریف، دانشکده علوم ریاضی
سید ابوالقاسم کلانتری
دانشگاه صنعتی اصفهان، دانشکده علوم ریاضی