loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Oleg Sychev ; Nikita Penskoy and Grigory Terekhov

Affiliation: Software Engineering Department, Volgograd State Technical University, Lenin Ave, 28, Volgograd, Russian Federation

Keyword(s): Constraint-based Intelligent Tutor, Software Reasoning, Introductory Programming Course, Expressions.

Abstract: Introducing students to a new subject domain involves getting them acquainted with many new concepts. Some of these students need a trial-and-error process to learn these concepts, but it is time-consuming for teachers. An intelligent tutor capable of detecting domain-law violations and providing explanatory feedback can allow training until learning without supervision. This is especially important when teaching software engineering because it requires learning a lot of new concepts and has well-defined laws. Our goal was to develop a tutor capable to explain to the student the cause of their errors: the subject-domain laws that they violated. We present an approach to modeling subject-domain concepts and laws that allows finding correct answers and determining law violations in students’ answers. A web-based tool for learning the order of evaluation for programming-language expressions was developed to assess the viability of this approach. The experiments show that Apache Jena and Clingo inference engines work quickly enough to find domain-law violations after each error in middle-sized tasks. The developed tool was evaluated by volunteer undergraduate students and received positive feedback. After the initial evaluation, the tool was used in the learning process; the students’ learning gains after using the system were statistically significant. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.145.17.46

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sychev, O.; Penskoy, N. and Terekhov, G. (2022). Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example. In Proceedings of the 14th International Conference on Computer Supported Education - Volume 1: CSEDU; ISBN 978-989-758-562-3; ISSN 2184-5026, SciTePress, pages 116-123. DOI: 10.5220/0011070100003182

@conference{csedu22,
author={Oleg Sychev. and Nikita Penskoy. and Grigory Terekhov.},
title={Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example},
booktitle={Proceedings of the 14th International Conference on Computer Supported Education - Volume 1: CSEDU},
year={2022},
pages={116-123},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011070100003182},
isbn={978-989-758-562-3},
issn={2184-5026},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Computer Supported Education - Volume 1: CSEDU
TI - Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example
SN - 978-989-758-562-3
IS - 2184-5026
AU - Sychev, O.
AU - Penskoy, N.
AU - Terekhov, G.
PY - 2022
SP - 116
EP - 123
DO - 10.5220/0011070100003182
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic