{"id":"W4382317608","doi":"10.1609/aaai.v37i13.26891","title":"Learning Logical Reasoning Using an Intelligent Tutoring System: A Hybrid Approach to Student Modeling","year":2023,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Intelligent Tutoring Systems and Adaptive Learning","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure; Université du Québec à Montréal","funders":"","keywords":"Computer science; Artificial intelligence; Bayesian network; Initialization; Machine learning; Inference; Knowledge representation and reasoning; Intelligent tutoring system; Process (computing); Semantic reasoner; Tracing; Logical reasoning; Natural language processing; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001913868,0.0006221051,0.0006404518,0.0009707934,0.0004154486,0.002364209,0.001822271,0.00111555,0.002375515],"category_scores_gemma":[0.006349551,0.0004161865,0.0008210286,0.0008106325,0.0005500409,0.003372542,0.001591713,0.001033655,0.0005518353],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001056433,"about_ca_system_score_gemma":0.0009942974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002946771,"about_ca_topic_score_gemma":0.006153062,"domain_scores_codex":[0.9985296,0.0007602285,0.00007309502,0.0002562285,0.0003286224,0.00005218617],"domain_scores_gemma":[0.9977258,0.001307564,0.0001276257,0.0003517562,0.0003933355,0.00009399153],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003874977,0.0009808093,0.01488613,0.0002781441,0.0003170847,0.0002676868,0.004110908,0.4960026,0.01587607,0.05585254,0.001289428,0.409751],"study_design_scores_gemma":[0.00001132929,0.00007690655,0.0005406828,0.00001323375,0.00002849355,0.00004010964,0.0001002415,0.9868193,0.002027974,0.008883028,0.001445465,0.00001338529],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06903221,0.00008624205,0.9249318,0.0002622921,0.000009942652,0.0001268164,0.00005568822,0.0008904015,0.004604569],"genre_scores_gemma":[0.5719558,0.0001198045,0.423472,0.0001047975,0.00001270507,0.0002227974,0.0001424288,0.00006862879,0.003901153],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002946771,"threshold_uncertainty_score":0.01012158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1667220458232735,"score_gpt":0.3301258033502382,"score_spread":0.1634037575269646,"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."}}