{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00144544,0.0008473621,0.001572187,0.0003498122,0.0001676754,0.000343501,0.00100718,0.001022955,0.0003576304],"category_scores_gemma":[0.0008820966,0.0006751558,0.0005487564,0.0001659379,0.0004474807,0.0005707159,0.000520049,0.001051038,0.002591395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001599652,"about_ca_system_score_gemma":0.0004196172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008191045,"about_ca_topic_score_gemma":0.0000164942,"domain_scores_codex":[0.9947649,0.0003846686,0.001406854,0.001353184,0.001313796,0.0007766169],"domain_scores_gemma":[0.9935889,0.002253541,0.001562448,0.001024843,0.001151762,0.0004185327],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000402701,0.0001746723,0.00001072862,0.0002443558,0.0002462264,0.0005599396,0.0001256535,0.000003242709,0.00001062042,0.9873962,0.001562413,0.009625613],"study_design_scores_gemma":[0.002163989,0.002580604,0.00004411399,0.0009126429,0.0006057041,0.002033132,0.0003586384,0.002382236,0.0000901381,0.3806191,0.6055881,0.002621592],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.000001875277,0.0023977,0.3174371,0.0004128148,0.001508454,0.001105699,0.00002972138,0.0002691131,0.6768375],"genre_scores_gemma":[0.718196,0.0002112285,0.002650558,0.0006974131,0.001788149,0.0001240859,0.00007953219,0.00009871334,0.2761544],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.7181941,"threshold_uncertainty_score":0.99957,"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."}}