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

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

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

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

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

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

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

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


[ویرایش] پیوندهای بیرونی

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