بلاگ

منطق توصیفی

منطق های توصیفی (DL) خانواده ای از زبان های صوری بازنمایی دانش هستند. بسیاری از منطق های توصیفی گویاتر از منطق گزاره ای هستند اما منطق های مرتبه اول از آن ها گویا تر هستند. منطق توصیف اغلب به عنوان یکی از ابزارهایی نام برده می شود که می تواند وب معنایی را پشتیبانی کند و در نتیجه به تحقق این دیدگاه کمک کند.
منطق های توصیفی عمومی، مکانی، زمانی، مکانی-زمانی و فازی وجود دارد و هر منطق توصیفی با پشتیبانی از مجموعه های مختلف سازنده های ریاضی، تعادل متفاوتی بین قدرت بیانی و پیچیدگی استدلال دارد.

در برهان، ما «دوره آموزشی منطق توصیفی» را داریم که توضیح می دهیم آنها چه هستند و چه کارهایی می توانند برای وب معنایی انجام دهند. منطق های توصیفی برای تعریف، ادغام و حفظ هستان نگارها بسیار مفید هستند، که وب معنایی را با درک مشترکی از مفاهیم اساسی معنایی مورد استفاده برای حاشیه نویسی صفحات وب ارائه می دهد.

برای اطلاعات بیشتر و شرکت در دوره به ما ایمیل بزنید . (courses@borhan-onto.ir)

محتوای دوره از این قرار است:

• منطق چیست؟
• انواع استدلال
• شاخه های منطق
• منطق قیاسی
• منطق استقرایی
• منطق در کنش‌ها: یک رویکرد کاربردی برای منطق های قیاسی
• منطق کلاسیک
  • منطق گزاره ای (PL)
    • زبان
    • معناشناسی (الگوریتم جدول حقیقت)
    • نحو
      • سیستم های Axiomatic
      • روش Tableaux
      • روش رزولوشن
    • فرا منطق
      • صحت و تمامیت
      • تصمیم پذیری
    • پیاده سازی
      • پیچیدگی
    • منطق مرتبه اول (FOL)
      • زبان
      • معناشناسی (الگوریتم جدول حقیقت)
      • نحو
        • سیستم های Axiomatic
        • روش Tableaux
        • روش رزولوشن
      • فرا منطق
        • صحت و تمامیت
        • تصمیم پذیری
      • پیاده سازی
        • پیچیدگی
      • منطق توصیفی (DL)
        • تاریخچه ای کوتاه
        • قطعات قابل تصمیم گیری از FOL
        • توضیحات خانواده منطقی
          • ABox، TBox و RBox
          • سازندگان مفهوم و نقش DL
        • زبان
        • معناشناسی
        • نحو
          • روش Tableaux
            • AL و پسوندهای آن
            • EL و الحاقات آن
          • روش رزولوشن
        • فرا منطق
          • صحت و تمامیت
          • تصمیم پذیری
        • پیاده سازی
          • پایگاه های دانش منطق توصیفی و هستی شناسی
          • OWL به عنوان سازندگان کلاس منطق توصیفی
          • انواع داده های طرحواره XML در OWL
          • RDF و RDF
            • نحو RDFS
            • اصول موضوعه
            • معناشناسی OWL DL
            • چند مدل در برابر مدل تک
            • جستجوی  KBsالگوریتم تابلو
            • پیچیدگی
            • مقیاس پذیری