An automatic marking system for FOL to CF conversions

Proceedings of IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) 2012 Pub Date : 2012-11-26 DOI:10.1109/TALE.2012.6360317

F. Grivokostopoulou, I. Perikos, I. Hatzilygeroudis

{"title":"An automatic marking system for FOL to CF conversions","authors":"F. Grivokostopoulou, I. Perikos, I. Hatzilygeroudis","doi":"10.1109/TALE.2012.6360317","DOIUrl":null,"url":null,"abstract":"The FOL to CF system is a web-based interactive system that aims at helping students in learning converting first order logic (FOL) formulas to their clause form (CF). In this paper, we present a system for automatic marking FOL to CF conversion exercises with feedback. First, the system checks a student's answers in order to spot and recognize errors made. This is done after having analyzed each clause. Second, it automatically marks the answers based on the types of the errors and the structure of the clause. Each error type has a different contribution (weight) in the final mark. The final mark is composed of partial marks concerning different structural elements of a clause. By using the automatic marking system, we can mark tests automatically and also collect information about the learning status of each student. Also, it is able to provide feedback on errors made by students through interacting with them. Experimental results show good agreement between the system and the tutor. Also, questionnaire based evaluation shows satisfaction of the students from using the system.","PeriodicalId":407302,"journal":{"name":"Proceedings of IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) 2012","volume":"159 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) 2012","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TALE.2012.6360317","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

Abstract

The FOL to CF system is a web-based interactive system that aims at helping students in learning converting first order logic (FOL) formulas to their clause form (CF). In this paper, we present a system for automatic marking FOL to CF conversion exercises with feedback. First, the system checks a student's answers in order to spot and recognize errors made. This is done after having analyzed each clause. Second, it automatically marks the answers based on the types of the errors and the structure of the clause. Each error type has a different contribution (weight) in the final mark. The final mark is composed of partial marks concerning different structural elements of a clause. By using the automatic marking system, we can mark tests automatically and also collect information about the learning status of each student. Also, it is able to provide feedback on errors made by students through interacting with them. Experimental results show good agreement between the system and the tutor. Also, questionnaire based evaluation shows satisfaction of the students from using the system.

查看原文本刊更多论文

一个用于FOL到CF转换的自动标记系统

FOL to CF系统是一个基于网络的交互式系统，旨在帮助学生学习将一阶逻辑(FOL)公式转换为它们的子句形式。在本文中，我们提出了一个系统自动标记FOL到CF转换练习与反馈。首先，系统检查学生的答案，以便发现和识别错误。这是在分析了每个子句之后完成的。其次，它会根据错误的类型和从句的结构自动标记答案。每种错误类型在最终分数中有不同的贡献(权重)。最后的标记是由分句的不同结构元素组成的部分标记。通过使用自动阅卷系统，我们可以自动阅卷，还可以收集每个学生的学习状况信息。此外，它还可以通过与学生互动，对学生犯的错误提供反馈。实验结果表明，该系统与导师所设计的系统具有较好的一致性。此外，问卷调查显示了学生对系统的使用满意度。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) 2012

自引率

0.00%

发文量