{"id":"W2046090861","doi":"10.1016/s0888-613x(00)00033-5","title":"Probabilistic satisfiability with imprecise probabilities","year":2000,"lang":"en","type":"article","venue":"International Journal of Approximate Reasoning","topic":"Multi-Criteria Decision Making","field":"Decision Sciences","cited_by":58,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal; Group for Research in Decision Analysis; HEC Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Satisfiability; Probabilistic logic; Coherence (philosophical gambling strategy); Mathematics; Computer science; Algorithm; Discrete mathematics; Statistics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01038155,0.001214679,0.002336329,0.003067277,0.001148744,0.005588565,0.002745895,0.002967425,0.003910187],"category_scores_gemma":[0.07846018,0.002183109,0.003273132,0.004011221,0.004562736,0.01442794,0.003727849,0.004632602,0.0003738897],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002341246,"about_ca_system_score_gemma":0.001522454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003425285,"about_ca_topic_score_gemma":0.002512136,"domain_scores_codex":[0.9848176,0.007122644,0.00126264,0.001346212,0.004778017,0.0006729505],"domain_scores_gemma":[0.9384964,0.05439698,0.002388044,0.002707701,0.001627934,0.0003829921],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002013685,0.00007926382,0.001287348,0.0005431193,0.0002834462,0.000769099,0.0005227625,0.463791,0.0006075658,0.4933878,0.001805909,0.03672126],"study_design_scores_gemma":[0.0000353689,0.00001633653,0.0001503278,0.00005308149,0.00005194451,0.0001245174,0.00005722561,0.3549188,0.0003370595,0.6436352,0.0005983151,0.00002178017],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03024634,0.0008609479,0.9619213,0.001875761,0.00008742953,0.0000796102,0.0002553449,0.0001359596,0.00453731],"genre_scores_gemma":[0.725463,0.001509881,0.2693992,0.0004496563,0.0004170799,0.000272714,0.000593934,0.00007208436,0.001822445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01038155,"threshold_uncertainty_score":0.05490357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05687405436042048,"score_gpt":0.3749603033046183,"score_spread":0.3180862489441978,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}