Publication details
Graph Mining for Automatic Classification of Logical Proofs
| Authors | |
|---|---|
| Year of publication | 2013 |
| Type | Article in Proceedings |
| Conference | Datakon a Znalosti 2013 |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | graph mining; frequent subgraphs; technology-enhanced learning; logic proofs; resolution; classification |
| Description | 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%. |