Equational Reasoning as a Tool for Data Analysis
DOI:
https://doi.org/10.17713/ajs.v31i2&3.485Abstract
A combination of deductive reasoning, clustering, and inductive learning is given as an example of a hybrid system for exploratory data analysis. Visualization is replaced by a dialogue with the data.References
M.J.A. Berry and G. Linoff. Data mining techniques for marketing, sales, and customer support. John Wiley & Sons, 1997.
C.L. Black and C.J. Merz. UCI repository of machine learning databases, 1998. www.ics.uci.edu/˜mlearn/MLRepository.html.
L. Breiman. Bagging predictors. Machine Learning, 24:123–140, 1996.
M. Bulmer. Inductive equational reasoning. In Pacific Rim International Conference on Artificial Intelligence (PRICAI’96): Topics in Artificial Intelligence, number 1114 in Lecture Notes in Artificial Intelligence, pages 13–22. Springer-Verlag, 1996a.
M. Bulmer. Inductive theories from equational systems. In D.L. Dowe, K.B. Korb, and J.J. Oliver, editors, Information, Statistics and Induction in Science (ISIS’96), pages 260–268. World Scientific, 1996b.
M. Bulmer. Survey data from students in “MS113 Elementrary Statistics 1”, 1999. http://www.maths.uq.edu.au/cgi-bin/mrb/fetch?1999a,ms113,survey.
N. Dershowitz. Completion and its applications. In Aït Kaci and M. H. & Nivat, editors, Resolution of Equations in Algebraic Structures, volume 2, pages 31–85. Academic Press, 1989.
U. Fayyad and K. Irani. Multi-interval discretization of continuous valued attributes for classification learning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1022–1027, 1993.
R.A. Fisher. The use of multiple measurements in taxonomic problems. Annals of Eugenics, 7:179–188, 1936.
R. Goldblatt. Topoi, the Categorical Analysis of Logic. North-Holland, 1983.
R.C. Holte. Very simple classification rules perform well on most commonly used datasets. Machine Learning, 11:63–91, 1993.
J. Hsiang, H. Kirchner, P. Lescanne, and M. Rusinowitch. The term rewriting approach to automated theorem proving. Journal of Logic Programming, 14:71–99, 1992.
Downloads
Published
Issue
Section
License
The Austrian Journal of Statistics publish open access articles under the terms of the Creative Commons Attribution (CC BY) License.
The Creative Commons Attribution License (CC-BY) allows users to copy, distribute and transmit an article, adapt the article and make commercial use of the article. The CC BY license permits commercial and non-commercial re-use of an open access article, as long as the author is properly attributed.
Copyright on any research article published by the Austrian Journal of Statistics is retained by the author(s). Authors grant the Austrian Journal of Statistics a license to publish the article and identify itself as the original publisher. Authors also grant any third party the right to use the article freely as long as its original authors, citation details and publisher are identified.
Manuscripts should be unpublished and not be under consideration for publication elsewhere. By submitting an article, the author(s) certify that the article is their original work, that they have the right to submit the article for publication, and that they can grant the above license.
How to Cite
