Using Matching in Algebraic Equation Solving

Borning, Alan; Bundy, Alan

Using Matching in Algebraic Equation Solving

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Theoretical Foundations. Pages 466-470.

Abstract

This paper describes the use of powerful algebraic matching techniques for applying rewrite rules in equation solving. A matcher is presented that knows about the commutativity and associativity of addition and multiplication, will provide defaults for missing summands and factors, and if necessary will solve algebraically for the value of pattern variables.

Alan Borning, and Alan Bundy. 1981. Using Matching in Algebraic Equation Solving. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 466–470. https://ijcai.org/proceedings/1981/90

@inproceedings{ijcai1981p90,
  title     = {Using Matching in Algebraic Equation Solving},
  author    = {Borning, Alan and Bundy, Alan},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {466--470},
  year      = {1981},
  month     = {8},
  note      = {Theoretical Foundations},
  url       = {https://ijcai.org/proceedings/1981/90},
}

TY  - CPAPER
TI  - Using Matching in Algebraic Equation Solving
AU  - Borning, Alan
AU  - Bundy, Alan
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 466
EP  - 470
UR  - https://ijcai.org/proceedings/1981/90
ER  -