Doing Arithmetic with Diagrams

Bundy, Alan

Doing Arithmetic with Diagrams

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Theorem Proving and Logic: 2. Pages 130-137.

Abstract

A theorem prov er for part of a rith metic is described which p rove s t heorems by re presenting t hem in the f orm of a diag r am or networ k . The nodes of this network re p res e nt ' ideal intege r s ', i . e . objects which ha ve al l the pr ope rt ies of intege r s , without being any par ticu l ar integer . The links in the network re presen t relationships between ' ideal integers '. The procedures which dr aw these diag r ams make elementary deductions based on their built - in know l edge of the functions and predicates of a rithmet i c . This t heo re m prover is in t ended as a mode l of some kinds of human problemsolving behaviour.

Alan Bundy. 1973. Doing Arithmetic with Diagrams. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 130–137. https://ijcai.org/proceedings/1973/18

@inproceedings{ijcai1973p18,
  title     = {Doing Arithmetic with Diagrams},
  author    = {Bundy, Alan},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {130--137},
  year      = {1973},
  month     = {8},
  note      = {Theorem Proving and Logic: 2},
  url       = {https://ijcai.org/proceedings/1973/18},
}

TY  - CPAPER
TI  - Doing Arithmetic with Diagrams
AU  - Bundy, Alan
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 130
EP  - 137
UR  - https://ijcai.org/proceedings/1973/18
ER  -