Inconsistency-tolerant reasoning over linear probabilistic knowledge bases

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