电子教学系统中自然演绎定理证明的比较

Proceedings of the 2022 6th International Conference on Education and E-Learning Pub Date : 2022-11-21 DOI:10.1145/3578837.3578844

Larry Joshua Crotts, Stephen Tate

{"title":"电子教学系统中自然演绎定理证明的比较","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":"{\"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}","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

摘要

在本文中，我们描述了一种比较公开可用的自然演绎辅导软件对学生的效果的方法。我们提出的评估标准是客观的，并且可以在基于学生的评估可行之前应用于开发过程中的系统。我们将我们的评估应用于五种自然演绎辅导系统，包括目前正在开发的两种，并报告这些评估和比较的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 2022 6th International Conference on Education and E-Learning

自引率

0.00%

发文量