منطق های توصیفی چه هستند؟ (بخش۳: دوره آموزشی منطق توصیف برهان)
در هوش مصنوعی (AI)، از منطق های توصیفی برای توصیف و استدلال در مورد مفاهیم مرتبط یک حوزه کاربردی (معروف به دانش اصطلاحی) استفاده می شود.
در ارائه یک فرمالیسم منطقی برای هستان نگار ها و به طور کلی وب معنایی اهمیت ویژه ای دارد:
OWL و پروفایل های آن بر اساس منطق های توصیفی هستند. قابل توجه ترین کاربرد منطق های توصیفی و OWL در انفورماتیک زیست پزشکی است که در آن منطق توصیفی به کدگذاری دانش زیست پزشکی کمک می کند.
در برهان، ما مطالعات بنیادی در مورد نحو و معنای منطق های توصیفی کلاسیک، توسعه یافته و غیرکلاسیک و همچنین منطق های توصیفی غیر قیاسی مانند منطق های توصیفی استقرایی و ابداکتیو و نحوه اجرای آنها انجام می دهیم.
ما همچنین نتایج این دستاوردهای نظری و عملی را به علاقمندان دوره های آموزشی پیشرفته آموزش می دهیم.