{"id":"W2736770525","doi":"","title":"Merging the Local and Global Approaches to Probabilistic Satisfiability","year":2004,"lang":"en","type":"article","venue":"Les Cahiers du GERAD","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Group for Research in Decision Analysis; HEC Montréal","funders":"","keywords":"Probabilistic logic; Satisfiability; Consistency (knowledge bases); Mathematics; Logical consequence; Set (abstract data type); Mathematical optimization; Computer science; Algorithm; Discrete mathematics; Artificial intelligence; Statistics","routes":{"ca_aff":true,"ca_fund":false,"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.007041012,0.001512467,0.002059434,0.002830849,0.00111072,0.004962379,0.004382896,0.002138202,0.006958215],"category_scores_gemma":[0.01788215,0.001443599,0.002261981,0.003061869,0.004982272,0.01059688,0.008487454,0.006854076,0.001453363],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001948729,"about_ca_system_score_gemma":0.002755238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001762646,"about_ca_topic_score_gemma":0.006039628,"domain_scores_codex":[0.9899698,0.005087793,0.0005021699,0.001368202,0.00257161,0.0005004557],"domain_scores_gemma":[0.9861267,0.006932394,0.0005640962,0.004648207,0.001401808,0.0003266847],"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.000147835,0.000196953,0.001073955,0.0006627125,0.0002629074,0.0002306999,0.001399487,0.06718393,0.005448027,0.5891054,0.004884583,0.3294035],"study_design_scores_gemma":[0.00005687257,0.0001673899,0.0004979395,0.0001522002,0.0002166837,0.000207257,0.0004274394,0.2701688,0.008409276,0.7036322,0.01597959,0.00008424088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003931571,0.0005938121,0.9880592,0.000775085,0.00002879812,0.00006898546,0.00004948814,0.0005213927,0.005971712],"genre_scores_gemma":[0.1511272,0.001183459,0.8414007,0.0008719698,0.0001566647,0.0003722832,0.0002984287,0.0005204155,0.004068864],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007041012,"threshold_uncertainty_score":0.03723687,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02820314155902571,"score_gpt":0.210460745074942,"score_spread":0.1822576035159163,"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."}}