• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Journal articles
    • View Item
    • Home
    • Griffith Research Online
    • Journal articles
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Learning of human-like algebraic reasoning using deep feedforward neural networks

    Thumbnail
    View/Open
    SuPUB367.pdf (653.2Kb)
    File version
    Accepted Manuscript (AM)
    Author(s)
    Cai, Cheng-Hao
    Xu, Yanyan
    Ke, Dengfeng
    Su, Kaile
    Griffith University Author(s)
    Su, Kaile
    Year published
    2018
    Metadata
    Show full item record
    Abstract
    Human-like rewriting, which is an algebraic reasoning system imitating human intelligence of problem solving, is proposed in this work. In order to imitate both learning and reasoning aspects of human cognition, a deep feedforward neural network learns from algebraic reasoning examples produced by humans and then uses learnt experiences to guide other reasoning processes. This work shows that the neural network can learn human’s behaviours of solving mathematical problems, and it can indicate suitable directions of reasoning, so that intelligent and heuristic reasoning can be performed. Moreover, human-like rewriting bridges ...
    View more >
    Human-like rewriting, which is an algebraic reasoning system imitating human intelligence of problem solving, is proposed in this work. In order to imitate both learning and reasoning aspects of human cognition, a deep feedforward neural network learns from algebraic reasoning examples produced by humans and then uses learnt experiences to guide other reasoning processes. This work shows that the neural network can learn human’s behaviours of solving mathematical problems, and it can indicate suitable directions of reasoning, so that intelligent and heuristic reasoning can be performed. Moreover, human-like rewriting bridges the gap between symbolic reasoning and biologically inspired machine learning. To enable the neural network to recognise patterns of symbolic expressions with non-deterministic sizes, the expressions are reduced to partial tree representations and then vectorised as numeric features. Further, the centralisation method, symbolic association vectors and rule application records are used to improve the vectorised features. With these approaches, human-like rewriting shows satisfactory performance on the tasks of solving linear equations and computing derivations and indefinite integrals.
    View less >
    Journal Title
    Biologically Inspired Cognitive Architectures
    Volume
    25
    DOI
    https://doi.org/10.1016/j.bica.2018.07.004
    Copyright Statement
    © The Author(s) 2018. This is an Open Access article distributed under the terms of the Creative Commons Attribution 4.0 International (http://creativecommons.org/licenses/by/4.0/) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
    Subject
    Medical microbiology not elsewhere classified
    Publication URI
    http://hdl.handle.net/10072/382072
    Collection
    • Journal articles

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander