{"id":"W3033182363","doi":"10.31124/advance.12401969.v1","title":"Logic, Probability Theory, and their Application to Legal Reasoning","year":2020,"lang":"en","type":"preprint","venue":"","topic":"Probability and Statistical Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Probabilistic logic network; Probability theory; Subjective logic; Probabilistic argumentation; Philosophy of logic; Epistemic modal logic; Artificial intelligence; Applied probability; Theoretical computer science; Multimodal logic; Mathematics; Algorithm; Autoepistemic logic; Description logic; Probabilistic logic; 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.008575803,0.0007897075,0.0009965531,0.004895203,0.003071619,0.008374214,0.001736752,0.003424004,0.004893997],"category_scores_gemma":[0.02217549,0.0006696746,0.001720547,0.003457626,0.02044716,0.01058764,0.003812496,0.005155297,0.0008248687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005713284,"about_ca_system_score_gemma":0.002915216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005193311,"about_ca_topic_score_gemma":0.002081852,"domain_scores_codex":[0.992227,0.004572262,0.0003916276,0.0007819469,0.001711024,0.000316145],"domain_scores_gemma":[0.9834951,0.01358997,0.0009459842,0.0006090609,0.001024,0.0003358521],"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.000002906744,0.000004419011,0.00007195343,0.00002739835,0.000005949721,0.0000337838,0.0001217574,0.001199794,0.00003029079,0.9948968,0.0005865003,0.003018358],"study_design_scores_gemma":[0.000002061195,0.000001499464,0.00003456328,0.00001859289,0.000001663514,0.00001681504,0.00002264615,0.00210782,0.00002264107,0.995237,0.002530778,0.000003837417],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01659938,0.03622748,0.7492895,0.04221264,0.001183359,0.0001239361,0.0003070587,0.0003073897,0.1537492],"genre_scores_gemma":[0.6850941,0.0240273,0.2617189,0.004776213,0.005135454,0.0003893489,0.0003024465,0.0001974784,0.01835882],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008575803,"threshold_uncertainty_score":0.04535371,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1095546330070194,"score_gpt":0.3895359150391862,"score_spread":0.2799812820321668,"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."}}