منطق‌های توصیف

از ویکی‌پدیا، دانشنامهٔ آزاد

پرش به: ناوبری, جستجو

منطق‌های توصیف یا دی‌ال (Description logics - DL) خانواده‌ای از زبان‌های نمایش دانش را در بر‌می‌گیرد که برای نمایش واژه‌ای و ساختار‌مند[۱] دانش در حوزه‌های عملی گوناگون مورد استفاده قرار می‌گیرد.

فهرست مندرجات

[ویرایش] تاریخچه

گر‌چه، به عنوان یک مبحث علمی، منطق‌های توصیف چندین دهه است، که وجود داشته، تنها در سالهای اخیر است که به صورتی وسیع مورد بررسی‌ها و استفاده‌های کاربردی گوناگون قرار گرفته است. تنظیم این گونه منطق‌ها با انگیزهٔ ایجاد یک بنیان صوری[۲] برای شبکه‌های معنایی آغاز گردید. اوّلین سیستم اجرا شده براساس دی‌ال کی‌ال-وان (KL-ONE) است، که تحت تأثیر کارهای انجام شده در زمینهٔ سیستم‌های قاب‌ها ایجاد شد. بعد از کی‌ال-وان به عنوان یک گام مهم آغازین، سامانه‌های متعدّدی بر پایهٔ منطق‌های توصیف طرّاحی و پیاده‌سازی شده است، که هر یک موضع متفاوتی را از نظر شرایط توان بیان‌گری[۳]، تمامیّت استدلال، و امکان‌پذیری استدلال ایجاب نموده است.

[ویرایش] کاربردها

منطق‌های توصیف در مهندسی نرم‌افزار، پزشکی، کتابخانه‌های ارقامی، و سیستم‌های اینترنتی اطلاعات کاربرد دارد. همچنین، پردازش زبان‌های طبیعی، و نیز مدیریّت پایگاه‌های داده‌ها از جمله زمینه‌های دیگری‌ست که درآن‌ها منطق‌های توصیف را می‌توان به روش‌های مختلف مورد بهربرداری قرار داد.

[ویرایش] منطق‌های فازی توصیف

مقالۀ اصلی: منطق‌های فازی توصیف

منطق‌های فازی توصیف منطق فازی را با منطق‌های توصیف ترکیب میکند. از آنجا که مفاهیم مربوط به سامانه‌های هوشمند حدود و مرزهای دقیقا تعریف شده ای را دارا نیست، جهت مواجهه با ابهامها و نادقیق بودن معیارهای عضویت به مؤلفهٔ منطق فازی نیز نیازمندیم.

[ویرایش] پانوشته‌ها

  1. ↑ Structured
  2. ↑ Formal
  3. ↑ Expressive power

[ویرایش] جستارهای وابسته

[ویرایش] منابع

برگرفته از «http://fa.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AA%D9%88%D8%B5%DB%8C%D9%81»