| Identifikační kód | RIV/00216224:14330/14:00076475 |
|---|
| Název v anglickém jazyce | Graph Mining and Outlier Detection Meet Logic Proof Tutoring |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2014 |
|---|
| 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 | 3 |
|---|
| Počet domácích tvůrců | 3 |
|---|
| 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)
Leona Nezvalová (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3623327)
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 method for analysis and evaluation of logic proofs constructed by undergraduate students, e.g. resolution or tableaux proofs. This method employs graph mining and outlier detection. The data has been obtained from a web-based system for input of logic proofs built at FI MU. The data contains a tree structure of the proof and also temporal information about all actions that a student performed, e.g. a node insertion into a proof, or its deletion, drawing or deletion of an edge, or textmanipulations. We introduce a new method for multi-level generalization of subgraphs that is useful for characterization of logic proofs. We use this method for feature construction and perform class-based outlier detection on logic proofs represented by these new features. We show that this method helps to find unusual students' solutions and to improve semi-automatic evaluation of the solutions. |
|---|
| Klíčová slova oddělená středníkem | logic proofs; resolution; educational data mining; graph mining; outlier detection |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|