D 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).