| Identifikační kód | RIV/00216224:14330/13:00070399 |
|---|
| Název v anglickém jazyce | Graph Mining for Automatic Classification of Logical Proofs |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 2 |
|---|
| Počet domácích tvůrců | 2 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Karel Vaculík (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1415417)
Lubomír Popelínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9343199) |
|---|
| Popis výsledku v anglickém jazyce | 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 forincorrect resolution proofs overcome 97%. |
|---|
| Klíčová slova oddělená středníkem | graph mining; frequent subgraphs; technology-enhanced learning; logic proofs; resolution; classification |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|