AgentGeom: A multiagent system for pedagogical support in geometric proof problems

Pedro Cobo; Josep M. Fortuny; Eloi Puertas; Philippe R. Richard

doi:https://doi.org/10.1007/s10758-007-9111-5

AgentGeom: A multiagent system for pedagogical support in geometric proof problems

Pedro Cobo, Josep M. Fortuny, Eloi Puertas, Philippe R. Richard

Research output: Contribution to journal › Article › Research › peer-review

13 Citations (Scopus)

Abstract

This paper aims, first, to describe the fundamental characteristics and workings of the AgentGeom artificial tutorial system, which is designed to help students develop knowledge and skills related to problem solving, mathematical proof in geometry, and the use of mathematical language. Following this, we indicate the manner in which a secondary school student can appropriate these abilities through interactions with the system. Our system uses strategic messages of the agent tutor in an argumentative process that collaborates with a student in the construction of a proof. © Springer Science+Business Media, Inc. 2007.

Original language	English
Pages (from-to)	57-79
Journal	International Journal of Computers for Mathematical Learning
Volume	12
DOIs	https://doi.org/10.1007/s10758-007-9111-5
Publication status	Published - 1 Apr 2007

Keywords

AgentGeom
Appropriation
Geometric proof problem
Interactions
Multiagent system
Pedagogical support

Access to Document

https://doi.org/10.1007/s10758-007-9111-5

Cite this

@article{c4ee75e982d748e0b254b36a31661539,

title = "AgentGeom: A multiagent system for pedagogical support in geometric proof problems",

abstract = "This paper aims, first, to describe the fundamental characteristics and workings of the AgentGeom artificial tutorial system, which is designed to help students develop knowledge and skills related to problem solving, mathematical proof in geometry, and the use of mathematical language. Following this, we indicate the manner in which a secondary school student can appropriate these abilities through interactions with the system. Our system uses strategic messages of the agent tutor in an argumentative process that collaborates with a student in the construction of a proof. {\textcopyright} Springer Science+Business Media, Inc. 2007.",

keywords = "AgentGeom, Appropriation, Geometric proof problem, Interactions, Multiagent system, Pedagogical support",

author = "Pedro Cobo and Fortuny, {Josep M.} and Eloi Puertas and Richard, {Philippe R.}",

year = "2007",

month = apr,

day = "1",

doi = "https://doi.org/10.1007/s10758-007-9111-5",

language = "English",

volume = "12",

pages = "57--79",

}

TY - JOUR

T1 - AgentGeom: A multiagent system for pedagogical support in geometric proof problems

AU - Cobo, Pedro

AU - Fortuny, Josep M.

AU - Puertas, Eloi

AU - Richard, Philippe R.

PY - 2007/4/1

Y1 - 2007/4/1

N2 - This paper aims, first, to describe the fundamental characteristics and workings of the AgentGeom artificial tutorial system, which is designed to help students develop knowledge and skills related to problem solving, mathematical proof in geometry, and the use of mathematical language. Following this, we indicate the manner in which a secondary school student can appropriate these abilities through interactions with the system. Our system uses strategic messages of the agent tutor in an argumentative process that collaborates with a student in the construction of a proof. © Springer Science+Business Media, Inc. 2007.

AB - This paper aims, first, to describe the fundamental characteristics and workings of the AgentGeom artificial tutorial system, which is designed to help students develop knowledge and skills related to problem solving, mathematical proof in geometry, and the use of mathematical language. Following this, we indicate the manner in which a secondary school student can appropriate these abilities through interactions with the system. Our system uses strategic messages of the agent tutor in an argumentative process that collaborates with a student in the construction of a proof. © Springer Science+Business Media, Inc. 2007.

KW - AgentGeom

KW - Appropriation

KW - Geometric proof problem

KW - Interactions

KW - Multiagent system

KW - Pedagogical support

U2 - https://doi.org/10.1007/s10758-007-9111-5

DO - https://doi.org/10.1007/s10758-007-9111-5

M3 - Article

VL - 12

SP - 57

EP - 79

ER -

AgentGeom: A multiagent system for pedagogical support in geometric proof problems

Abstract

Keywords

Access to Document

Fingerprint

Cite this