{"id":"W2243171274","doi":"10.1007/978-3-7908-1792-8","title":"The Dynamics of Judicial Proof: Computation, Logic, and Common Sense","year":2002,"lang":"en","type":"article","venue":"SSRN Electronic Journal","topic":"Artificial Intelligence in Law","field":"Social Sciences","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Inference; Serendipity; Computer science; Artificial intelligence; Causality (physics); Proof theory; Common sense; Rule of inference; Philosophy of logic; Epistemology; Cognitive science; Mathematics; Psychology; Programming language; Philosophy","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.01350333,0.000551886,0.001362767,0.004635063,0.003627492,0.01495063,0.003389258,0.003850857,0.005700864],"category_scores_gemma":[0.04546583,0.0009038316,0.001906203,0.005614387,0.03337327,0.03337308,0.005043949,0.004949869,0.0007588046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008463812,"about_ca_system_score_gemma":0.005098698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004088709,"about_ca_topic_score_gemma":0.002211352,"domain_scores_codex":[0.9886207,0.00594622,0.00055813,0.001435068,0.002713945,0.0007258881],"domain_scores_gemma":[0.9487431,0.04219587,0.002861505,0.003903534,0.00153907,0.0007569612],"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.000007851089,0.000005653704,0.0001029216,0.00002979842,0.000008137793,0.00002149223,0.0002660468,0.001905163,0.0000428309,0.9934554,0.0005166453,0.003638039],"study_design_scores_gemma":[0.000006943313,0.000003332439,0.00006650217,0.00002546425,0.000004252887,0.00001725426,0.00008518901,0.005117655,0.00005634619,0.991603,0.003005863,0.000008281007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0540818,0.02065302,0.7288375,0.06191653,0.0005429217,0.0001851821,0.0003481727,0.0004282214,0.1330067],"genre_scores_gemma":[0.861645,0.007646983,0.1215735,0.001630929,0.0007438299,0.0002592995,0.000171668,0.0001581949,0.006170555],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01495063,"threshold_uncertainty_score":0.07141328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02643350718176412,"score_gpt":0.3152170251591507,"score_spread":0.2887835179773866,"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."}}