{"id":"W4232083333","doi":"10.31124/advance.12401969","title":"Logic, Probability Theory, and their Application to Legal Reasoning","year":2020,"lang":"en","type":"preprint","venue":"","topic":"Law, Economics, and Judicial Systems","field":"Economics, Econometrics and Finance","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; Epistemic modal logic; Probabilistic argumentation; Philosophy of logic; Applied probability; Theoretical computer science; Artificial intelligence; 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.008755712,0.0008100854,0.001028974,0.005087426,0.003191111,0.009086137,0.001768588,0.003782483,0.004934833],"category_scores_gemma":[0.02240611,0.0006872343,0.00171865,0.003527164,0.02168086,0.01058938,0.003685989,0.005417236,0.0008337732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006438871,"about_ca_system_score_gemma":0.003487616,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006425304,"about_ca_topic_score_gemma":0.002380837,"domain_scores_codex":[0.9918405,0.004712459,0.0004423953,0.0008263212,0.001813513,0.0003647265],"domain_scores_gemma":[0.9831549,0.0139096,0.0008891906,0.0005992063,0.001100668,0.0003463931],"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.000002803714,0.000004498063,0.0000716939,0.00002607278,0.000005772401,0.00003302248,0.0001180978,0.001219078,0.00002432238,0.99473,0.0006129393,0.003151683],"study_design_scores_gemma":[0.00000223362,0.000001430632,0.00003484094,0.00001993749,0.000001655076,0.00001480696,0.00002333458,0.001941494,0.0000187495,0.9953434,0.002594293,0.000003873449],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01617909,0.04241129,0.7001468,0.05160075,0.001333164,0.0001381917,0.0003356047,0.00030033,0.1875548],"genre_scores_gemma":[0.7122989,0.02752804,0.2299883,0.005180468,0.005570875,0.0003852576,0.0003053657,0.0001755373,0.01856721],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009086137,"threshold_uncertainty_score":0.04671746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03604642525908543,"score_gpt":0.2277078466747224,"score_spread":0.1916614214156369,"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."}}