DISSOLVE: A system for the generation of human oriented solutions to algebraic equations

Jonathan Oliver, Ingrid Zukerman

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

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 languageEnglish
Title of host publicationAI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings
PublisherSpringer-Verlag London Ltd.
Pages92-107
Number of pages16
ISBN (Print)9783540520627
DOIs
Publication statusPublished - 1 Jan 1990
Event2nd Australian Joint Artificial Intelligence Conference, AI 1988 - Adelaide, Australia
Duration: 15 Nov 198818 Nov 1988

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume406 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd Australian Joint Artificial Intelligence Conference, AI 1988
CountryAustralia
CityAdelaide
Period15/11/8818/11/88

Keywords

  • AI and education
  • Symbolic manipulation

Cite this