PDA

توجه ! این یک نسخه آرشیو شده میباشد و در این حالت شما عکسی را مشاهده نمیکنید برای مشاهده کامل متن و عکسها بر روی لینک مقابل کلیک کنید : منطق های توصیف


roya
05-01-2011, 02:26 PM
منطق‌های توصیف



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


http://psychology.harferooz.com/photos/images/769090119_tbox_abox.png (http://psychology.harferooz.com/photos/view.php?filename=769090119_tbox_abox.png)



تاریخچه

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


کاربردها

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


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


منطق‌های فازی (http://psychology.harferooz.com) توصیف منطق فازی را با منطق‌های توصیف (http://psychology.harferooz.com) ترکیب می‌کند. از آنجا که مفاهیم مربوط به سامانه‌های هوشمند حدود و مرزهای دقیقا تعریف شده‌ای را دارا نیست، جهت مواجهه با ابهامها و نادقیق بودن معیارهای عضویت به مؤلفهٔ منطق فازی نیز نیازمندیم.