Inductive theories from equational systems
- 200 Downloads
We present a procedure for generating inductive theories from systems of equational data. An analysis of the consistency of the resulting conjectures is used to generate experiments and to select between competing theories. An application to a blocks world is given.
KeywordsFunction Equation Equational System Theory Strength Strong Theory Working Theory
Unable to display preview. Download preview PDF.
- 1.M. Bulmer. Reasoning by Term Rewriting. PhD thesis, University of Tasmania, 1995. To appear.Google Scholar
- 3.N. Dershowitz. Completion and its Applications. In H. Ait Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, volume 2, pages 31–85. Academic Press, London, 1989.Google Scholar
- 4.P. Gärdenfors. Knowledge in Flux: Modelling the Dynamics of Epistemic States. MIT Press, 1988.Google Scholar
- 6.G. Huet and D. C. Oppen. Equations and Rewrite Rules: A Survey. In R. Book, editor, Formal Language Theory: Perspectives and Open Problems, pages 349–405. Academic Press, 1980.Google Scholar
- 8.K. Popper. Conjectures and Refutations — The Growth of Scientific Knowledge. Routledge and Kegan Paul, London, 1974.Google Scholar