{"id":"W2987239078","doi":"10.1016/j.artint.2019.103199","title":"Probabilistic sentence satisfiability: An approach to PSAT","year":2019,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"Air Force Office of Scientific Research","keywords":"Probabilistic logic; Satisfiability; Sentence; Conditional probability; Computer science; Mathematics; Algorithm; Gaussian; Set (abstract data type); 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.00839106,0.001176413,0.001990759,0.004711649,0.002103187,0.005312777,0.006346627,0.002870026,0.01291883],"category_scores_gemma":[0.0426269,0.001852418,0.006188317,0.005922781,0.004385467,0.01242987,0.007337775,0.006764087,0.001965991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002295842,"about_ca_system_score_gemma":0.004455775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006467046,"about_ca_topic_score_gemma":0.008533281,"domain_scores_codex":[0.9907628,0.003777388,0.0006815974,0.001374638,0.002900048,0.0005035381],"domain_scores_gemma":[0.974481,0.01949218,0.0009966856,0.002713219,0.001923495,0.0003934389],"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.0001120154,0.000125686,0.0007699729,0.000374141,0.0001815855,0.0003608394,0.0006117769,0.05659631,0.0007511673,0.838971,0.009975975,0.09116945],"study_design_scores_gemma":[0.00002143409,0.00001894155,0.00007789675,0.00003672098,0.00005732135,0.0001355377,0.00007021805,0.2011881,0.0005987925,0.7934214,0.004351304,0.00002221767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002486244,0.0002929588,0.9904723,0.001574573,0.0001086823,0.0001515919,0.0003615462,0.0005151713,0.004036902],"genre_scores_gemma":[0.1812541,0.001142267,0.8042474,0.001232946,0.0009881825,0.0005744022,0.001917638,0.000545606,0.008097538],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01291883,"threshold_uncertainty_score":0.04437673,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05290585328553442,"score_gpt":0.2841674287547401,"score_spread":0.2312615754692057,"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."}}