Proceedings

Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Learning and Acquisition. Pages 552-553.

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.

Brian Falkenhainer. 1985. Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 552–553. https://ijcai.org/proceedings/1985/105
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards