Inductive theories from equational systems

  • Michael Bulmer
Inducing Complex Representations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1359)


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.


Function Equation Equational System Theory Strength Strong Theory Working Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Bulmer. Reasoning by Term Rewriting. PhD thesis, University of Tasmania, 1995. To appear.Google Scholar
  2. 2.
    P. Le Chenadec. Canonical forms in finitely presented algebras. Pitman, London, 1986.zbMATHGoogle Scholar
  3. 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. 4.
    P. Gärdenfors. Knowledge in Flux: Modelling the Dynamics of Epistemic States. MIT Press, 1988.Google Scholar
  5. 5.
    M. Genesereth and N.Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, 1988.zbMATHGoogle Scholar
  6. 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
  7. 7.
    D. Kapur and D. R. Musser. Proof by Consistency. Artificial Intelligence, 31:125–157, 1987.zbMATHMathSciNetCrossRefGoogle Scholar
  8. 8.
    K. Popper. Conjectures and Refutations — The Growth of Scientific Knowledge. Routledge and Kegan Paul, London, 1974.Google Scholar
  9. 9.
    E. Rich. Artificial Intelligence. McGraw-Hill, Singapore, 1986.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Michael Bulmer
    • 1
  1. 1.Department of MathematicsUniversity of TasmaniaHobartAustralia

Personalised recommendations