| VACULÍK, Karel and Lubomír POPELÍNSKÝ. Graph Mining for Automatic Classification of Logical Proofs. In Susan Zvacek, Maria Teresa Restivo, James Uhomoibhi and Markus Helfert. 6th International Conference on Computer Supported Education - CSEDU 2014. Portugal: 2014 SCITEPRESS – Science and Technology Publications, 2014, p. 268-275. ISBN 978-989-758-020-8. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1198061,
author = {Vaculík, Karel and Popelínský, Lubomír},
address = {Portugal},
booktitle = {6th International Conference on Computer Supported Education - CSEDU 2014},
editor = {Susan Zvacek, Maria Teresa Restivo, James Uhomoibhi and Markus Helfert},
keywords = {graph mining; frequent subgraphs; logic proofs; resolution; classification; educational data mining},
howpublished = {paměťový nosič},
language = {eng},
location = {Portugal},
isbn = {978-989-758-020-8},
pages = {268-275},
publisher = {2014 SCITEPRESS – Science and Technology Publications},
title = {Graph Mining for Automatic Classification of Logical Proofs},
year = {2014}
}
TY - JOUR
ID - 1198061
AU - Vaculík, Karel - Popelínský, Lubomír
PY - 2014
TI - Graph Mining for Automatic Classification of Logical Proofs
PB - 2014 SCITEPRESS – Science and Technology Publications
CY - Portugal
SN - 9789897580208
KW - graph mining
KW - frequent subgraphs
KW - logic proofs
KW - resolution
KW - classification
KW - educational data mining
N2 - We introduce graph mining for evaluation of logical proofs constructed by undergraduate students in the introductory course of logic. We start with description of the source data and their transformation into GraphML. As particular tasks may differ---students solve different tasks---we introduce a method for unification of resolution steps that enables to generate generalized frequent subgraphs. We then introduce a new system for graph mining that uses generalized frequent patterns as new attributes. We show that both overall accuracy and precision for incorrect resolution proofs overcome 97%. We also discuss a use of emergent patterns and three-class classification (correct/incorrect/unrecognised).
ER -
VACULÍK, Karel and Lubomír POPELÍNSKÝ. Graph Mining for Automatic Classification of Logical Proofs. In Susan Zvacek, Maria Teresa Restivo, James Uhomoibhi and Markus Helfert. \textit{6th International Conference on Computer Supported Education - CSEDU 2014}. Portugal: 2014 SCITEPRESS – Science and Technology Publications, 2014, p.~268-275. ISBN~978-989-758-020-8.
|
