{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007355178,0.0002374707,0.0002667838,0.0001091978,0.0001490287,0.0003290642,0.00161631,0.00009183155,0.00006960675],"category_scores_gemma":[0.0003638191,0.0002082185,0.00008477347,0.0008171548,0.0001292441,0.0006337401,0.0003933063,0.0001947942,0.003085196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008522125,"about_ca_system_score_gemma":0.0001198603,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001501006,"about_ca_topic_score_gemma":0.00009676305,"domain_scores_codex":[0.9974324,0.0001501683,0.0004281288,0.00105569,0.0003797381,0.0005539406],"domain_scores_gemma":[0.9978595,0.0001698338,0.00008225114,0.001347167,0.0002293745,0.0003118226],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001292741,0.0003703331,0.001604076,0.00003100714,0.000006348374,0.000003180502,0.003362446,0.002312764,0.001588758,0.8603149,0.00006747056,0.1303258],"study_design_scores_gemma":[0.0000450598,0.0006018464,0.005178249,0.00004620907,0.00001253145,0.00003755857,0.0009635086,0.5741423,0.01746933,0.3986772,0.001869397,0.000956838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2343016,0.00003378338,0.7406967,0.0002984068,0.0008604518,0.0007388886,0.000001811206,0.0003039344,0.02276443],"genre_scores_gemma":[0.9642454,0.000002745308,0.03478015,0.0003762944,0.0001275291,0.00004889063,0.000002898125,0.00001361356,0.0004024228],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7299439,"threshold_uncertainty_score":0.997691,"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."}}