Graph Mining for Automatic Classification of Logical Proofs

VACULÍK, Karel a Lubomír POPELÍNSKÝ. Graph Mining for Automatic Classification of Logical Proofs. In Jaroslav Pokorný, Petr Šaloun, Tomáš Horváth, Ján Paralič. Datakon a Znalosti 2013. 1. vydání. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, 2013, s. 133-138. ISBN 978-80-248-3189-3.

Základní údaje

• Originální název: Graph Mining for Automatic Classification of Logical Proofs
• Autoři: VACULÍK, Karel (203 Česká republika, garant, domácí) a Lubomír POPELÍNSKÝ (203 Česká republika, domácí).
• Vydání: 1. vydání. Ostrava, Datakon a Znalosti 2013, od s. 133-138, 6 s. 2013.
• Nakladatel: Vysoká škola báňská - Technická univerzita Ostrava

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Stať ve sborníku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• Forma vydání: tištěná verze "print"
• Kód RIV: RIV/00216224:14330/13:00070399
• Organizační jednotka: Fakulta informatiky
• ISBN: 978-80-248-3189-3
• Klíčová slova česky: dolování z grafů; časté podgrafy; e-learning; logické důkazy; rezoluce; klasifikace
• Klíčová slova anglicky: graph mining; frequent subgraphs; technology-enhanced learning; logic proofs; resolution; classification
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

We introduce a new system that employs graph mining methods for evaluation of logical proofs constructed by undergraduate students. First, the source data are described. 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 present 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%.