Skip to main content
SpringerLink
Log in

Guiding term reduction through a neural network: Some preliminary results for the group theory

  • System Description
  • Conference paper
  • First Online:
Rewriting Techniques and Applications (RTA 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 914))

Included in the following conference series:

  • 770 Accesses

Abstract

Some experiments have been carried out in order to build Neural Networks which, given a term belonging to an Equational Theory, could suggest which rewrite rules belonging to the Completed TRS for that theory represent the best choice at each reduction step in order to minimize the number of reductions needed to reach the normal form. For the Groups Theory a net was built which had an accuracy of 61%. Moreover the same net in the 71% of the cases could correctly suggest a rule applicable to the term.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Dershowitz [1989], “Completion and its applications”, in Resolution of equations in algebraic structures, pp. 31–48.

    Google Scholar 

  2. J.A. Freeman, D.M. Skapura [1991], “Neural Networks-Algorithms, Applications, and Programming Techniques”, Addison-Wesley.

    Google Scholar 

  3. J. Hsiang, M. Rusinovitch [1987], “On Word Problems in Equational Theories”, 14th Int. Conf. on Automata Languages and Programming, Karlsrhue.

    Google Scholar 

  4. J.M. Hullot [1980], “A catalogue of canonical term rewriting systems”, Rept. CSL-113, SRI International, Menlo Park, CA.

    Google Scholar 

  5. D.E. Knuth, P. Bendix [1970], “Simple Word Problems in Universal Algebras”, Proceedings of the Conf. on Computational Problems in Abstract Algebras, Pergamon Press, pp. 263–298.

    Google Scholar 

  6. P.D. Wasserman [1989], “Neural Computing: Theory and Practice”, van Nostrand Reinhold, New York

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Milano, Italy

    Alberto Paccanaro

  2. Laboratorio de Electrónica Digital, Universidad Católica “Nuestra Señora de la de Asunción“, Asunción, Paraguay

    Alberto Paccanaro

Authors
  1. Alberto Paccanaro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jieh Hsiang

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Paccanaro, A. (1995). Guiding term reduction through a neural network: Some preliminary results for the group theory. In: Hsiang, J. (eds) Rewriting Techniques and Applications. RTA 1995. Lecture Notes in Computer Science, vol 914. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59200-8_80

Download citation

  • DOI: https://doi.org/10.1007/3-540-59200-8_80

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59200-6

  • Online ISBN: 978-3-540-49223-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation