{"id":"W2111570599","doi":"10.1016/j.ijar.2008.03.005","title":"An anytime deduction algorithm for the probabilistic logic and entailment problems","year":2008,"lang":"en","type":"article","venue":"International Journal of Approximate Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University; Group for Research in Decision Analysis","funders":"","keywords":"Probabilistic logic; Logical consequence; Probabilistic argumentation; Consistency (knowledge bases); Range (aeronautics); Set (abstract data type); Computer science; Algorithm; Probabilistic CTL; Mathematics; Artificial intelligence; Probabilistic analysis of algorithms; Theoretical computer science; Programming language","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.002905511,0.001113216,0.001638929,0.001521679,0.001831623,0.003568601,0.004554966,0.002326004,0.009423204],"category_scores_gemma":[0.01133769,0.000885073,0.002415745,0.001996338,0.001428627,0.007774872,0.004479273,0.004607704,0.00161622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002054529,"about_ca_system_score_gemma":0.002961642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002566516,"about_ca_topic_score_gemma":0.005498815,"domain_scores_codex":[0.9977054,0.0004993257,0.0002221404,0.0006431148,0.0007344472,0.0001955518],"domain_scores_gemma":[0.9946023,0.003526335,0.0002082936,0.0008514717,0.0006001102,0.0002115582],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005976475,0.0005227082,0.00100672,0.0005155681,0.0001635504,0.0002472928,0.0004302904,0.05339514,0.004242388,0.3275433,0.01188265,0.5994529],"study_design_scores_gemma":[0.0001838278,0.0000780271,0.0002151174,0.00004706509,0.0001372767,0.0002282992,0.00009308594,0.4391159,0.00404514,0.5486999,0.007118312,0.00003804453],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006810712,0.0002861953,0.987825,0.0004824951,0.00009277472,0.00008798994,0.0001461982,0.001142766,0.003125817],"genre_scores_gemma":[0.08623619,0.0002082943,0.9094596,0.000255108,0.0001288209,0.00009997778,0.0004816797,0.0002288479,0.002901498],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009423204,"threshold_uncertainty_score":0.0315237,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02511857652891838,"score_gpt":0.2758985520497831,"score_spread":0.2507799755208647,"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."}}