{"type":"ScholarlyArticle","title":"Doing Arithmetic with Diagrams","authors":[{"name":"Alan Bundy","slug":"alan-bundy","given":"Alan","family":"Bundy","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1973/18","pdf":"https://ijcai.org/proceedings/1973/0018.pdf","markdown":"https://ijcai.org/proceedings/1973/18.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/18","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving and Logic: 2","track":"Theorem Proving and Logic: 2","number":18,"pages":{"first":130,"last":137},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}