{"id":"W1918828080","doi":"","title":"The Participatory Design of Logic-Muse, an Intelligent Tutoring System for Logical Reasoning in Multiple Contexts","year":2015,"lang":"en","type":"article","venue":"Espace ÉTS (ETS)","topic":"Intelligent Tutoring Systems and Adaptive Learning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Automated reasoning; Deductive reasoning; Description logic; Logic model; Logical reasoning; Artificial intelligence; Human–computer interaction; Knowledge management; Cognitive science; Sociology; Psychology","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.005011124,0.0006048206,0.0004265747,0.0004958058,0.001339058,0.002972678,0.002191365,0.001220034,0.005904662],"category_scores_gemma":[0.01220495,0.0004971149,0.0005925513,0.0002856021,0.002207942,0.002368758,0.003822015,0.0008602656,0.0009269543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001015882,"about_ca_system_score_gemma":0.002639657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001023371,"about_ca_topic_score_gemma":0.00203984,"domain_scores_codex":[0.9950144,0.003377908,0.0001865872,0.0007861402,0.0004422724,0.0001926532],"domain_scores_gemma":[0.9955599,0.002791037,0.0002102753,0.0006271307,0.0004178596,0.000393679],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001913878,0.001075601,0.01073386,0.001596364,0.0002220787,0.001704104,0.05722754,0.07332493,0.09025367,0.3464937,0.008015775,0.4074385],"study_design_scores_gemma":[0.000905176,0.002120713,0.00314496,0.0004279031,0.0004128675,0.001639168,0.01254425,0.4268622,0.08560621,0.2045897,0.2615418,0.0002052237],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07574419,0.0001820245,0.9064659,0.0003922698,0.00006687659,0.0006076554,0.0001086073,0.001194964,0.01523755],"genre_scores_gemma":[0.5070318,0.00008788655,0.4855559,0.0001062265,0.00001430938,0.0006480293,0.0001815324,0.0002148416,0.006159499],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005904662,"threshold_uncertainty_score":0.02650172,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1368322486983776,"score_gpt":0.3146444245625361,"score_spread":0.1778121758641585,"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."}}