{"id":"W1974374936","doi":"10.1016/j.jlap.2008.02.002","title":"Primitive recursive selection functions for existential assertions over abstract algebras","year":2008,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Existentialism; Selection (genetic algorithm); Primitive recursive function; Mathematics; Algebra over a field; Computer science; Pure mathematics; Discrete mathematics; Epistemology; Philosophy; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.004632331,0.0007955904,0.001097055,0.002342043,0.001939468,0.005224062,0.002014452,0.001406053,0.005747635],"category_scores_gemma":[0.01066978,0.001003755,0.002058032,0.002196925,0.003798531,0.01246324,0.003373099,0.00388436,0.00107571],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001675781,"about_ca_system_score_gemma":0.001431719,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009734214,"about_ca_topic_score_gemma":0.001368339,"domain_scores_codex":[0.997426,0.0007232381,0.0002482946,0.0003967138,0.0007445768,0.0004612543],"domain_scores_gemma":[0.9905912,0.006758585,0.0004225855,0.001153888,0.0007085652,0.0003651422],"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.0001137487,0.00004268089,0.0008016696,0.00008756431,0.00002227948,0.0001661954,0.0005906258,0.00121068,0.002151406,0.9728585,0.001162252,0.02079229],"study_design_scores_gemma":[0.00003838626,0.00002635511,0.0003242731,0.00003219299,0.00007097892,0.0001770668,0.0001537404,0.01982721,0.003896729,0.9717485,0.00366638,0.00003814614],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1102361,0.000455508,0.8696911,0.0009600027,0.0001683506,0.0001668087,0.0004088226,0.002457067,0.01545626],"genre_scores_gemma":[0.8260957,0.0004097732,0.1637142,0.0003923012,0.0003588106,0.0001786987,0.0006047799,0.000557011,0.007688595],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005747635,"threshold_uncertainty_score":0.02449846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03612114453709036,"score_gpt":0.2745663011653381,"score_spread":0.2384451566282478,"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."}}