Abstract | ||
---|---|---|
In this paper we consider two environments for algebraic tasks in Propositional Logic: Truth-Table Checker and Formula Manipulation Assistant. From the very beginning our environments were designed not only for exercise labs but also for assessment of homework and tests. Currently our programs produce detailed data for easy and quick human grading but do not accomplish full Computer Aided Assessment where the output would be a numeric score. We set the goal to take into account five aspects of solutions: what part of the task is solved, errors, hint requests, solution economy or conformity with standard algorithm, and quality of answer. We analyse for different task types what is missing from fully automated grading. We conclude that exploitation of our existing automated solver and integration of some our supplementary programs would enable to provide quite satisfying assessment. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-57744-9_9 | Communications in Computer and Information Science |
Keywords | DocType | Volume |
Technology Enhanced Assessment,Computer Aided Assessment,Propositional logic,Expression manipulation | Conference | 653 |
ISSN | Citations | PageRank |
1865-0929 | 0 | 0.34 |
References | Authors | |
4 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rein Prank | 1 | 0 | 0.68 |