2012 IEEE 24th International Conference on Tools With Artificial Intelligence 2012
DOI: 10.1109/ictai.2012.162
|View full text |Cite
|
Sign up to set email alerts
|

Geometric Construction Problem Solving in Computer-Aided Learning

Abstract: Abstract-Constraint satisfaction problems related to geometry mostly arise in CAD. But even though they are designed for geometry, none of the methods proposed to solve these problems fully meets the requirements needed by the educational domain. In this paper, we adapt CAD methods to education and show that results must be construction programs in order to take into account particular cases. We present then a framework implemented in Prolog as a knowledge-based system called Progé.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 15 publications
0
2
0
Order By: Relevance
“…Moreover, it was seen that the statements coded as challenger were checked in a quicker manner in GeoGebra groups compared to compass-straightedge groups. Different settings, which emerge as a result of challenger, can be tried quickly by means of the movement of a free object belonging to the geometric figure (Schreck et al, 2012). In other words, the dragging feature of GeoGebra might facilitate the examination process of the applications of different cases and help the groups to come up with some generalizations and properties regarding the challenger (Stupel et al, 2018).…”
Section: Discussionmentioning
confidence: 99%
“…Moreover, it was seen that the statements coded as challenger were checked in a quicker manner in GeoGebra groups compared to compass-straightedge groups. Different settings, which emerge as a result of challenger, can be tried quickly by means of the movement of a free object belonging to the geometric figure (Schreck et al, 2012). In other words, the dragging feature of GeoGebra might facilitate the examination process of the applications of different cases and help the groups to come up with some generalizations and properties regarding the challenger (Stupel et al, 2018).…”
Section: Discussionmentioning
confidence: 99%
“…Second, this construction does not take degenerate cases into account -here when points M a , M b and M c are collinear. Actually, this is a simplified RC-construction: when all the possible cases are considered, the formal language used to express RC-construction must contain conditional structures (Marinković et al, 2014;Schreck et al, 2012). Detecting degenerate cases and tacking them into account has been accurately described in (Chou, 1988).…”
Section: Rc-constructibilitymentioning
confidence: 99%