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. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1132094, author = {Vaculík, Karel and Popelínský, Lubomír}, address = {Ostrava}, booktitle = {Datakon a Znalosti 2013}, edition = {1. vydání}, editor = {Jaroslav Pokorný, Petr Šaloun, Tomáš Horváth, Ján Paralič}, keywords = {graph mining; frequent subgraphs; technology-enhanced learning; logic proofs; resolution; classification}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Ostrava}, isbn = {978-80-248-3189-3}, pages = {133-138}, publisher = {Vysoká škola báňská - Technická univerzita Ostrava}, title = {Graph Mining for Automatic Classification of Logical Proofs}, year = {2013} }
TY - JOUR ID - 1132094 AU - Vaculík, Karel - Popelínský, Lubomír PY - 2013 TI - Graph Mining for Automatic Classification of Logical Proofs PB - Vysoká škola báňská - Technická univerzita Ostrava CY - Ostrava SN - 9788024831893 KW - graph mining KW - frequent subgraphs KW - technology-enhanced learning KW - logic proofs KW - resolution KW - classification N2 - 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%. ER -
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č. \textit{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.
|