{"id":"W2494035532","doi":"10.1016/s1874-5075(05)80030-0","title":"A Base Logic","year":2005,"lang":"en","type":"book-chapter","venue":"˜A œpractical logic of cognitive systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Base (topology); Mathematics; Mathematical analysis","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.0009632294,0.0009355217,0.0006644144,0.001895357,0.002811123,0.00753135,0.001707024,0.001716997,0.04133372],"category_scores_gemma":[0.002037098,0.0005474855,0.0009150103,0.001736342,0.004150986,0.008954667,0.002424228,0.00380553,0.01390219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002106105,"about_ca_system_score_gemma":0.00161889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001643982,"about_ca_topic_score_gemma":0.001342595,"domain_scores_codex":[0.9988851,0.0002333898,0.00007275808,0.0003628337,0.0003367724,0.0001092081],"domain_scores_gemma":[0.9993019,0.0002115007,0.00003882772,0.0001594007,0.0002149271,0.00007346224],"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.00001001269,0.00001003321,0.00002579429,0.00003897638,0.000004113412,0.00002444711,0.00008742906,0.00009558933,0.0002517015,0.9775088,0.009351425,0.01259165],"study_design_scores_gemma":[0.000008859466,0.000008790336,0.00003793865,0.0000390264,0.000008475331,0.00009547105,0.00006428728,0.0005978541,0.0005128207,0.8362086,0.1624106,0.000007311698],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.004192153,0.004159962,0.2259487,0.005154964,0.001496142,0.0001365774,0.001596514,0.001208076,0.7561069],"genre_scores_gemma":[0.3189971,0.007656534,0.2191803,0.006216119,0.002892756,0.00045742,0.00393267,0.001074192,0.4395929],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.04133372,"threshold_uncertainty_score":0.138275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07233635371292599,"score_gpt":0.305890861617913,"score_spread":0.233554507904987,"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."}}