بلاگ

منطق احتمالاتی

هدف وب معنایی این است که داده های اینترنت را برای ماشین قابل خواندن کند. این یک هدف بزرگ و ایده‌آل است و برخی چالش‌ها از جمله گستردگی، ابهام، عدم اطمینان، ناسازگاری و فریب در مقابل وب معنایی ظاهر می‌شوند. سیستم‌های استدلال خودکار باید با همه این مسائل مقابله کنند تا به وعده وب معنایی عمل کنند.
یکی از مهم ترین چالش ها «عدم قطعیت» است، یعنی مفاهیم و ادعاهایی که دارای ارزش های نامطمئن هستند. به عنوان مثال، یک بیمار ممکن است مجموعه ای از علائم را ارائه دهد که با تعدادی از تشخیص های متفاوت و هر کدام با احتمال متفاوت مطابقت دارد. تکنیک‌ها و الگوریتم‌های استدلال احتمالی مبتنی بر منطق‌های توصیف احتمالی عموماً برای حل این مسائل استفاده و پیاده‌سازی می‌شوند.
ما در تیم برهان بر روی استدلال کامپیوتری بر اساس نمودار دانش کار می‌کنیم و سعی می‌کنیم این موضوع را با روش‌های منطقی و با پیاده‌سازی الگوریتم‌های جدول توصیف احتمالی روی هستی‌شناسی‌های نامشخص گسترش دهیم.