{"id":"W3043779982","doi":"10.1002/9781394229086.ch6","title":"Computational Logic for Biomedicine and Neurosciences","year":2023,"lang":"en","type":"preprint","venue":"","topic":"Gene Regulatory Network Analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Biomedicine; Computer science; Mathematical proof; Computational logic; Artificial intelligence; Archetype; AND gate; Theoretical computer science; Cognitive science; Logic gate; Description logic; Algorithm; Mathematics; Biology","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.002778811,0.001423751,0.001158721,0.002510262,0.001872967,0.007453694,0.001460845,0.002349183,0.01725471],"category_scores_gemma":[0.004804494,0.0005948835,0.001398929,0.002900297,0.008758572,0.009718347,0.003373591,0.006553005,0.004027267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004434919,"about_ca_system_score_gemma":0.003043087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002605412,"about_ca_topic_score_gemma":0.001312293,"domain_scores_codex":[0.997916,0.000793462,0.0001570357,0.0003557812,0.0006366984,0.0001410366],"domain_scores_gemma":[0.9981114,0.001166736,0.00009125163,0.000276124,0.0002472522,0.0001073086],"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.000002464749,0.000002371565,0.00001339162,0.00004065295,0.000004003408,0.00001540527,0.00005979787,0.0003065877,0.00006593737,0.9919051,0.003318811,0.004265508],"study_design_scores_gemma":[0.000003643937,0.000002528074,0.00002896576,0.00004537036,0.000002301291,0.00003432301,0.00003153909,0.001007063,0.0000572499,0.938454,0.06032851,0.000004381311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003730085,0.06071839,0.6080238,0.03974891,0.003189149,0.0001538014,0.001123676,0.001300787,0.2820114],"genre_scores_gemma":[0.29411,0.061587,0.4783044,0.015382,0.009336813,0.001142148,0.003145435,0.00121545,0.1357767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01725471,"threshold_uncertainty_score":0.05772275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03564036088582057,"score_gpt":0.302425659838379,"score_spread":0.2667852989525584,"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."}}