منطقهای توصیف
از ویکیپدیا، دانشنامهٔ آزاد.
منطقهای توصیف یا دیال (Description logics - DL) خانوادهای از زبانهای نمایش دانش را در بر میگیرد که برای نمایش واژهای و ساختارمند دانش در حوزههای عملی گوناگون مورد استفاده قرار میگیرد.
فهرست مندرجات |
[ویرایش] تاریخچه
اگر چه منطقهای توصیف به عنوان یک مبحث علمی چندین دهه است که وجود داشته، تنها در سالهای اخیر است که به صورتی وسیع مورد بررسیها و استفادههای کاربردی قرار گرفته است. تنظیم این گونه منطقها با انگیزهٔ ایجاد یک بنیان صوری (formal) برای شبکههای معنایی آغاز گردید. اوّلین سیستم اجرا شده براساس دیال کیال-وان (KL-ONE) است که تحت تأثیر کارهای انجام شده در زمینهٔ سیستمهای قابها ایجاد شد. بعد از کیال-وان به عنوان یک گام مهم آغازین، سامانههای متعدّدی بر پایهٔ منطقهای توصیف طرّاحی و پیادهسازی شده، که هر یک موضع متفاوتی را از نظر شرایط توان بیانگری (Expressive power)، تمامیّت استدلال، و امکانپذیری استدلال ایجاب نموده است.
[ویرایش] کاربردها
منطقهای توصیف در مهندسی نرمافزار، پزشکی، کتابخانههای ارقامی، و سیستمهای اینترنتی اطلاعات کاربرد دارد. همچنین، پردازش زبانهای طبیعی، و نیز مدیریّت پایگاههای دادهها از جمله زمینههای دیگریست که درآنها منطقهای توصیف را میتوان به روشهای مختلف مورد بهربرداری قرار داد.
[ویرایش] پیوندهای بیرونی
- منطقهای توصیف، وبگاه رسمی جامعهٔ منطقهای توصیف
- مقدمهای بر منطقهای توصیف
- لیستی از استدلالگرهای مبتنی بر منطقهای توصیف
[ویرایش] منابع
-
F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. Patel-Schneider:The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, UK, 2003. ISBN 0-521-78176-0
- مقدّمهای بر منطقهای توصیف (انگلیسی)
- منطقهای توصیف از برجهای عاج بیرون میآید (انگلیسی)
[ویرایش] جستارهای وابسته

