{"id":"W2283360360","doi":"","title":"A reasoning module for long-lived cognitive agents","year":2009,"lang":"en","type":"dissertation","venue":"TSpace","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Action (physics); Conjecture; Class (philosophy); Function (biology); Computer science; Cognition; Cognitive science; Order (exchange); Perception; Artificial intelligence; Mathematics; Calculus (dental); Epistemology; Psychology; Pure mathematics; Philosophy","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"],"consensus_categories":[],"category_scores_codex":[0.000219382,0.0003566227,0.0003958662,0.0001431126,0.0002420382,0.0002271468,0.0007471446,0.0002965992,0.00003498563],"category_scores_gemma":[0.0003458085,0.0003469978,0.000216238,0.000264752,0.00001858577,0.0001958655,0.00005813896,0.0002548831,0.000157445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007762623,"about_ca_system_score_gemma":0.0001984347,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006178443,"about_ca_topic_score_gemma":0.0002340547,"domain_scores_codex":[0.9982283,0.0000600946,0.0002125208,0.000730343,0.0002829221,0.0004857907],"domain_scores_gemma":[0.9986194,0.0001516175,0.0002916382,0.0003966118,0.0003927803,0.0001479139],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0009460177,0.001528083,0.001697487,0.001387576,0.0009806984,0.0004068284,0.1901924,0.00008418048,0.0005742896,0.07593095,0.06842273,0.6578487],"study_design_scores_gemma":[0.02020337,0.005769761,0.5242675,0.0127059,0.001935659,0.0001903402,0.02588784,0.2408542,0.05551125,0.04696394,0.05246517,0.0132451],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2226083,0.004792228,0.4470355,0.0002477754,0.003638205,0.00259658,0.00001495051,0.0009879469,0.3180786],"genre_scores_gemma":[0.7576751,0.0001829794,0.01683916,0.0003375684,0.0006508541,0.0002771116,0.0009706941,0.00008434802,0.2229822],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6446036,"threshold_uncertainty_score":0.9998982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03488536258956003,"score_gpt":0.3490583104941777,"score_spread":0.3141729479046176,"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."}}