بلاگ

منطق های توصیفی چه هستند؟ (بخش اول: یک معرفی کوتاه)

منطق های توصیفی (DL) یک خانواده پرکاربرد از زبان های صوری بازنمایی دانش هستند. منطق های توصیفی بخشی از منطق کلاسیک مرتبه اول دودویی هستند که (معمولاً) تصمیم پذیر هستند و هرچند قدرت بیان آن ها نسبت به منطق گزاره ای بیشتر است اما قدرت بیان کمتری نسبت به منطق مرتبه اول دارند. منطق های توصیفی افراد، مفاهیم و قاعده‌هایی را مدل‌سازی می‌کنند که با ثابت‌ها، محمول‌های تک موضعی و گزاره‌های دودویی در منطق مرتبه اول (FOL) و افراد، کلاس‌ها و نقش‌ها در OWL مطابقت دارند.

در منطق توصیفی، بین TBox و ABox تمایز در نظر گرفته شده است. به طور کلی، TBox حاوی جملاتی است که سلسله مراتب مفاهیم (به عنوان مثال، روابط بین مفاهیم در طبقه بندی والد-فرزند) را توسط عملگر زیرمجموعه توصیف می کند، در حالی که ABox حاوی جملات پایه است که نشان می دهد افراد به کجا در سلسله مراتب تعلق دارند (یعنی روابط بین افراد و مفاهیم). همچنین، در برخی از منطق های توصیفی (مخصوصاً برخی از توزیع های ALC) RBox داریم که حاوی اصول موضوعه ی قواعد مانند زیرمجموعه و تراگذری میان قواعد است.