2014
Graph Mining for Automatic Classification of Logical Proofs
VACULÍK, Karel a Lubomír POPELÍNSKÝZákladní údaje
Originální název
Graph Mining for Automatic Classification of Logical Proofs
Autoři
VACULÍK, Karel (203 Česká republika, domácí) a Lubomír POPELÍNSKÝ (203 Česká republika, garant, domácí)
Vydání
Portugal, 6th International Conference on Computer Supported Education - CSEDU 2014, od s. 268-275, 8 s. 2014
Nakladatel
2014 SCITEPRESS – Science and Technology Publications
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Portugalsko
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
paměťový nosič (CD, DVD, flash disk)
Kód RIV
RIV/00216224:14330/14:00076476
Organizační jednotka
Fakulta informatiky
ISBN
978-989-758-020-8
Klíčová slova anglicky
graph mining; frequent subgraphs; logic proofs; resolution; classification; educational data mining
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 16. 9. 2014 16:39, RNDr. Karel Vaculík, Ph.D.
Anotace
V originále
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).