{"id":"W2621292429","doi":"","title":"Abstract Canonical Inference Systems","year":2002,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Inference; Computer science; Redundancy (engineering); Theoretical computer science; Calculus (dental); Mathematics; Algorithm; Artificial intelligence; Medicine","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.006138278,0.001288597,0.001429703,0.00305776,0.00249848,0.01007444,0.002447535,0.002086924,0.03375177],"category_scores_gemma":[0.01336868,0.001017804,0.0015126,0.003454631,0.006668454,0.01451562,0.00579694,0.005167591,0.009808456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003171483,"about_ca_system_score_gemma":0.00305404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003712577,"about_ca_topic_score_gemma":0.002920535,"domain_scores_codex":[0.9935018,0.001787221,0.0006183662,0.00174668,0.00178452,0.0005613405],"domain_scores_gemma":[0.9926978,0.003165769,0.0002558652,0.001627218,0.001968469,0.000284912],"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.00004740327,0.0000231641,0.0001852861,0.0001553997,0.00002505244,0.00009308811,0.0002438859,0.001552777,0.0003343617,0.9404998,0.02089605,0.03594369],"study_design_scores_gemma":[0.00001778632,0.00001213943,0.00007769673,0.00008765671,0.00002674391,0.000116479,0.0000990869,0.005658156,0.0009824551,0.9176776,0.0752256,0.0000186093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01168243,0.0216832,0.7511597,0.01159744,0.005196324,0.0002365323,0.002697312,0.006633317,0.1891138],"genre_scores_gemma":[0.484732,0.02124255,0.3344602,0.004409239,0.006119877,0.0006816153,0.01048728,0.002616972,0.1352502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03375177,"threshold_uncertainty_score":0.112911,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02142766251960887,"score_gpt":0.2253968641722122,"score_spread":0.2039692016526033,"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."}}