{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00184954,0.0001938871,0.0003077815,0.001003898,0.0003647705,0.0002147647,0.0005486751,0.00006123882,0.000009883059],"category_scores_gemma":[0.0005249759,0.0002009894,0.00006882395,0.001900018,0.00005250692,0.0003688701,0.000420502,0.0003704528,0.00001428102],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001717073,"about_ca_system_score_gemma":0.00006630044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008173647,"about_ca_topic_score_gemma":0.0000868824,"domain_scores_codex":[0.9979308,0.000154472,0.0004489371,0.0005218248,0.0001870918,0.0007569102],"domain_scores_gemma":[0.9991536,0.0002662338,0.0001871982,0.0002444813,0.0001014035,0.00004705899],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001990013,0.00002231294,0.03528875,0.00007311213,0.00001103333,0.00004016983,0.01780535,0.008440459,0.0001289616,0.8500553,0.00001910153,0.0880956],"study_design_scores_gemma":[0.0008670519,0.0004200164,0.01402387,0.002800239,0.000003796743,0.00006394868,0.003615909,0.8904956,0.00164307,0.006303648,0.07895996,0.0008029286],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08692414,0.0002612661,0.8979821,0.0003848181,0.001555105,0.0002973795,1.883396e-7,0.0003031435,0.01229185],"genre_scores_gemma":[0.8925,0.000002694014,0.1011613,0.0001617297,0.0007441518,0.00001778897,9.209679e-7,0.00001908096,0.005392339],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8820551,"threshold_uncertainty_score":0.8196109,"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."}}