کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
397884 1438446 2015 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Probabilistic satisfiability and coherence checking through integer programming
ترجمه فارسی عنوان
رضایت احتمالی و بررسی انسجام از طریق برنامه ریزی عدد صحیح
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی


• Paper offers solution to probabilistic satisfiability (PSAT) problems.
• Proposed solution by reduction to integer linear programming.
• Paper presents several variants of PSAT.
• Paper deals with coherence checking by integer programming.
• Paper shows empirical evidence of phase transition in PSAT.

This paper presents algorithms, both for probabilistic satisfiability and for coherence checking, that rely on reduction to integer programming. That is, we verify whether probabilistic assessments can be satisfied by standard probability measures (Kolmogorovian setting) or by full conditional probabilities (de Finettian coherence setting), and in both cases verify satisfiability or coherence using integer programming techniques. We present an empirical evaluation of our method, the results of which show evidence of phase transitions.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 58, March 2015, Pages 57–70
نویسندگان
, ,