متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: هدف منطق احتمالاتی (یا استدلال احتمالاتی) (به انگلیسی: probabilistic logic)، ترکیب ظرفیت نظریه احتمالات برای مهار کردن عدم قطعیتی است که در منطق استقرایی وجود دارد. نتیجه یک صورت‌گرایی غنی‌تر و گویاتر است با گستره وسیعی از حوزه‌های کاربردی. منطق‌های احتمالاتی سعی می‌کنند یک گسترش طبیعی از جدول‌های درستی / نادرستی که در منطق سنتی است پیدا کنند، در عوض نتایجی که تعریف می‌کنند از طریق عبارت‌های احتمالاتی به دست می‌آیند. یکی از دشواری‌های منطق‌های احتمالاتی این است که آن‌ها میل دارند پیچیدگی محاسباتی اجزاء احتمالاتی و منطقی خود را چند برابر کنند. مشکلات دیگر شامل امکان نتایج ضد شهودی، مانند آن‌هایی که در نظریه dempster-shafer هستند. 
موضوع:
منطق احتمالاتی