{"id":"W2806823626","doi":"10.2143/lea.234.0.3159742","title":"Formal Philosophy and Legal Reasoning: The Validity of Legal Inferences","year":2016,"lang":"fr","type":"article","venue":"Logique et analyse/Logique et analyse. Nouvelle série","topic":"Jury Decision Making Processes","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Deontic logic; Epistemology; Consistency (knowledge bases); Completeness (order theory); Normative; Hierarchy; Computer science; Law; Philosophy; Political science; Artificial intelligence; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.01245659,0.0009817081,0.001642682,0.0006003713,0.001076861,0.0005792387,0.00198352,0.001196977,0.001436011],"category_scores_gemma":[0.007095464,0.0006227032,0.0009028239,0.002788779,0.003786189,0.003039154,0.0009231727,0.001530356,0.0001108346],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002851979,"about_ca_system_score_gemma":0.003009197,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006105611,"about_ca_topic_score_gemma":0.02905416,"domain_scores_codex":[0.9873617,0.006144457,0.001867479,0.001432042,0.001697979,0.001496377],"domain_scores_gemma":[0.9890888,0.006240365,0.001748609,0.001218115,0.001182387,0.0005216859],"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.0002612588,0.0005701756,0.05152383,0.0002143553,0.001090065,0.0001758312,0.006608122,0.000320268,0.0003618353,0.8988096,0.006992882,0.03307185],"study_design_scores_gemma":[0.004623865,0.004428951,0.08983351,0.00369224,0.004953775,0.000284372,0.04138353,0.001944951,0.009467995,0.4841911,0.3492178,0.00597786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6268211,0.007593338,0.06791899,0.151939,0.002329519,0.001358707,0.0003794914,0.0004431593,0.1412167],"genre_scores_gemma":[0.969686,0.01118255,0.003923425,0.001770701,0.0008043417,0.00005548311,0.00002246822,0.00007016744,0.01248487],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4146184,"threshold_uncertainty_score":0.9996224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05553705934285063,"score_gpt":0.3454284311782259,"score_spread":0.2898913718353752,"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."}}