Abstract
In general, competent algebraists can easily recognize expressions which hold high potential for the successful application of commonly applied algebraic transformations, such as transferring terms to the other side of an equation and factoring out common factors. Novice students, however, have difficulty identifying these expressions and assessing the promise of the application of particular transformations. In order to teach these skills, an Intelligent Tutoring System must be able to reason about algebraic expressions in a way which is accessible to a student. In this paper, we describe a mechanism for the representation and manipulation of algebraic expressions which is able to characterize algebraic transformations commonly performed by algebraists. This mechanism has been implemented in a system called DISSOLVE which generates explainable and intuitively appealing solutions to algebraic equations at the high-school level.
| Original language | English |
|---|---|
| Title of host publication | AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings |
| Publisher | Springer-Verlag London Ltd. |
| Pages | 92-107 |
| Number of pages | 16 |
| ISBN (Print) | 9783540520627 |
| DOIs | |
| Publication status | Published - 1 Jan 1990 |
| Event | 2nd Australian Joint Artificial Intelligence Conference, AI 1988 - Adelaide, Australia Duration: 15 Nov 1988 → 18 Nov 1988 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 406 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 2nd Australian Joint Artificial Intelligence Conference, AI 1988 |
|---|---|
| Country | Australia |
| City | Adelaide |
| Period | 15/11/88 → 18/11/88 |
Keywords
- AI and education
- Symbolic manipulation
Cite this
}
DISSOLVE : A system for the generation of human oriented solutions to algebraic equations. / Oliver, Jonathan; Zukerman, Ingrid.
AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., 1990. p. 92-107 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 406 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
TY - GEN
T1 - DISSOLVE
T2 - A system for the generation of human oriented solutions to algebraic equations
AU - Oliver, Jonathan
AU - Zukerman, Ingrid
PY - 1990/1/1
Y1 - 1990/1/1
N2 - In general, competent algebraists can easily recognize expressions which hold high potential for the successful application of commonly applied algebraic transformations, such as transferring terms to the other side of an equation and factoring out common factors. Novice students, however, have difficulty identifying these expressions and assessing the promise of the application of particular transformations. In order to teach these skills, an Intelligent Tutoring System must be able to reason about algebraic expressions in a way which is accessible to a student. In this paper, we describe a mechanism for the representation and manipulation of algebraic expressions which is able to characterize algebraic transformations commonly performed by algebraists. This mechanism has been implemented in a system called DISSOLVE which generates explainable and intuitively appealing solutions to algebraic equations at the high-school level.
AB - In general, competent algebraists can easily recognize expressions which hold high potential for the successful application of commonly applied algebraic transformations, such as transferring terms to the other side of an equation and factoring out common factors. Novice students, however, have difficulty identifying these expressions and assessing the promise of the application of particular transformations. In order to teach these skills, an Intelligent Tutoring System must be able to reason about algebraic expressions in a way which is accessible to a student. In this paper, we describe a mechanism for the representation and manipulation of algebraic expressions which is able to characterize algebraic transformations commonly performed by algebraists. This mechanism has been implemented in a system called DISSOLVE which generates explainable and intuitively appealing solutions to algebraic equations at the high-school level.
KW - AI and education
KW - Symbolic manipulation
UR - http://www.scopus.com/inward/record.url?scp=70349882498&partnerID=8YFLogxK
U2 - 10.1007/3-540-52062-7_73
DO - 10.1007/3-540-52062-7_73
M3 - Conference Paper
SN - 9783540520627
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 92
EP - 107
BT - AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings
PB - Springer-Verlag London Ltd.
ER -