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

[roya]

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

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

تاریخچه

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


کاربردها

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


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


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