{"type":"ScholarlyArticle","title":"Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process","authors":[{"name":"Brian Falkenhainer","slug":"brian-falkenhainer","given":"Brian","family":"Falkenhainer","affiliation":""}],"abstract":"An important subproblem of scientific discovery is quantitative discovery, finding formulas that relate some set (or subset) of a collection of numerical parameters. Current work in quantitative discovery suffers from a lack of efficiency and generality. This paper discusses methods that are efficient and yet general for discovering equations which try to avoid exponential search. Importantly, these methods can derive equations that cover subsets of the data and derive explicit descriptions of when the equations are applicable. These methods are fully implemented in a system named ABACUS which is described and some of its results are presented.","doi":null,"url":"https://ijcai.org/proceedings/1985/105","pdf":"https://ijcai.org/proceedings/1985/0105.pdf","markdown":"https://ijcai.org/proceedings/1985/105.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/105","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Learning and Acquisition","track":"Learning and Acquisition","number":105,"pages":{"first":552,"last":553},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}