Doing Arithmetic with Diagrams
Abstract
A theorem prover for a part of arithmetic is described which proves theorems by representing them in the form of a diagram or network. The nodes of this network are 'typical integers', i.e. objects which have all the properties that integers have without being any particular integer. The links in the network are relationships between 'typical integers'.The routines which draw this diagram make elementary deductions based on their built-in knowledge of the functions and predicates of arithmetic. This theorem prover is intended as a model of human problem solving behaviour.
Cite
Text
Bundy. "Doing Arithmetic with Diagrams." International Joint Conference on Artificial Intelligence, 1973.Markdown
[Bundy. "Doing Arithmetic with Diagrams." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/bundy1973ijcai-doing/)BibTeX
@inproceedings{bundy1973ijcai-doing,
title = {{Doing Arithmetic with Diagrams}},
author = {Bundy, Alan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1973},
pages = {130-138},
url = {https://mlanthology.org/ijcai/1973/bundy1973ijcai-doing/}
}