{"title":"Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems","authors":"Larry Joshua Crotts, Stephen Tate","doi":"10.1145/3578837.3578844","DOIUrl":null,"url":null,"abstract":"In this paper we describe a methodology for comparing the efficacy of openly-available natural deduction tutoring software for students. Our proposed evaluation metrics are objective and can be applied to systems during development, before student-based assessments are feasible. We apply our assessment to five natural deduction tutoring systems, including two currently under development, and report the results of these evaluations and comparisons.","PeriodicalId":150970,"journal":{"name":"Proceedings of the 2022 6th International Conference on Education and E-Learning","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2022-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2022 6th International Conference on Education and E-Learning","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3578837.3578844","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
In this paper we describe a methodology for comparing the efficacy of openly-available natural deduction tutoring software for students. Our proposed evaluation metrics are objective and can be applied to systems during development, before student-based assessments are feasible. We apply our assessment to five natural deduction tutoring systems, including two currently under development, and report the results of these evaluations and comparisons.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
