بلاگ

منطق ربایشی

استدلال ربایشی (استنتاج بهترین تبیین) شکلی از استدلال بازگشتی از یک پایگاه دانش ربایشی است که شامل مشاهدات ناقص برای بهترین پیش بینی (شاید درست) می شود. استدلال ربایشی امکان استنباط پیش شرط E را به عنوان توضیح P فراهم می کند. در نتیجه این استنتاج، ربایش اجازه می دهد که پیش شرط E از نتیجه P ربوده شود. به خلاف استدلال قیاسی، عدم قطعیت و غیریکنوایی (و در نتیجه فسخ پذیر بودن) از ویژگی های استدلال ربایشی هستند.
امروزه استدلال ربایشی یک موضوع مهم در منطق، فلسفه علوم، روش شناسی، علوم کامپیوتر، هوش مصنوعی، پزشکی و غیره است. همچنین سیستم های خبره تشخیصی اغلب از استدلال ربایشی استفاده می کنند. در زمینه گراف دانش، الگوریتم‌های ربودن ABox الگوریتم‌های کارآمد و مؤثری در بازنمایی دانش و استنتاج کوئری های حدسی و یافتن بهترین توضیحات هستند.

در تیم برهان دوره آموزشی “منطق ربایشی” را داریم تا یاد بگیریم که این منطق چیست و چگونه می توان در وب معنایی و استدلال ماشینی از آن استفاده کرد.

برای اطلاعات بیشتر و شرکت در دوره‌های آنلاین یا آفلاین ایمیل ارسال کنید.

در ادامه طرح کلی دوره «منطق پویا» آمده است:

• منطق ربایشی چیست؟
  • انواع استدلال
  • حدس در تشخیص
• ابزارهای محاسباتی
  • الگوریتم تجزیه
  • الگوریتم تابلو
• منطق پویای توصیفی
  • مشکلات حدس
  • معنا
  • نحو
  • الگوریتم تجزیه – تابلو
• پیاده سازی
  • در جاوا یا پِلِت
  • در پروتژه
• چالش ها
  • پیچیدگی (در زمان و فضا)