{"id":"W2404358658","doi":"10.29007/8g5j","title":"Towards a Logic for Reasoning About Learning in a Changing World","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Intelligent Tutoring Systems and Adaptive Learning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Office of Naval Research; Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Automated reasoning; Epistemology; Computer science; Artificial intelligence; Cognitive science; Psychology; Philosophy","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003625998,0.0006778748,0.0006434614,0.001622581,0.001905874,0.004130302,0.002489257,0.001584158,0.004906704],"category_scores_gemma":[0.005466298,0.0006210991,0.002673101,0.001508136,0.005651909,0.009953588,0.005708878,0.004744542,0.001408314],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002569582,"about_ca_system_score_gemma":0.00207261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003650965,"about_ca_topic_score_gemma":0.002764377,"domain_scores_codex":[0.9980119,0.0007168108,0.000165409,0.0003189534,0.0005957679,0.0001911236],"domain_scores_gemma":[0.9978503,0.001049501,0.0002190948,0.0002574141,0.0003960244,0.0002276434],"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.00001083471,0.00001609671,0.00007305676,0.00004338351,0.000006434746,0.00006358157,0.0002110038,0.002713189,0.0003780664,0.9903613,0.0006674227,0.005455585],"study_design_scores_gemma":[0.0000152779,0.00001841287,0.0000420076,0.00002089911,0.00001136497,0.0000619847,0.00008466779,0.02052597,0.0004553062,0.9684854,0.01026473,0.00001407367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004145284,0.0002589278,0.9810677,0.002006646,0.0001149562,0.00007666297,0.0001792679,0.0003500816,0.01180048],"genre_scores_gemma":[0.2928458,0.00087967,0.6941772,0.001737808,0.000474787,0.0004335778,0.0005855368,0.000181895,0.008683746],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004906704,"threshold_uncertainty_score":0.01917636,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02842100074181178,"score_gpt":0.2958389145257098,"score_spread":0.267417913783898,"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."}}