2013
DOI: 10.1007/978-3-642-41142-7_15
|View full text |Cite
|
Sign up to set email alerts
|

Automatic Exercise Generation in Euclidean Geometry

Abstract: Abstract. Automatic assessment has recently drawn the efforts of researchers in a number of fields. While most available approaches deal with the construction of question items that assess factual and conceptual knowledge, this paper presents a method and a tool for generating questions assessing procedural knowledge, in the form of simple proof problems in the domain of the Euclidean Geometry. The method is based on rules defined as Horn clauses. The method enumerates candidate problems and certain techniques… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 8 publications
(3 citation statements)
references
References 7 publications
0
2
0
Order By: Relevance
“…Different techniques for creating exercises have been presented in prior work: (š‘–) Context-Free grammar [5,11,20,44,45]; (š‘–š‘–) Templates; (š‘–š‘–š‘–) Mutation [6,39]; (š‘–š‘£) Construction from solution [3,32]; (š‘£) Natural language processing [2,4,8,14,26,27,31,35,40,43,46,47]. This paper applies the Template approach through which patterns have been identified from previous statements to shape new instances.…”
Section: Related Workmentioning
confidence: 99%
“…Different techniques for creating exercises have been presented in prior work: (š‘–) Context-Free grammar [5,11,20,44,45]; (š‘–š‘–) Templates; (š‘–š‘–š‘–) Mutation [6,39]; (š‘–š‘£) Construction from solution [3,32]; (š‘£) Natural language processing [2,4,8,14,26,27,31,35,40,43,46,47]. This paper applies the Template approach through which patterns have been identified from previous statements to shape new instances.…”
Section: Related Workmentioning
confidence: 99%
“…Papasalouros [25] describes a method to automatically generate exercises based on Horn clauses and applies it to the domain of Euclidean Geometry. This proposal defines a set of operators to move from the initial to the goal states.…”
Section: Related Workmentioning
confidence: 99%
“…IJILT 35,3 2. Automated mathematics word PG Several research studies in the literature have been concerned with the automated generation of problems in the mathematics domain (Goguadze et al, 2005;Heeren et al, 2010;Papasalouros, 2013;Singh et al, 2012). Nevertheless, relatively few research studies addressed the problem of generating narrative mathematical word problems.…”
mentioning
confidence: 99%