Edinburgh Research Archive

View Item 
  •   DSpace Home
  • Informatics, School of
  • Informatics Report Series
  • View Item
  •   DSpace Home
  • Informatics, School of
  • Informatics Report Series
  • View Item
    • Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Cross Domain Mathematical Concept Formation

    Download
    0019.pdf (89.12Kb)
    Date
    2000
    Author
    Steel, Graham
    Colton, Simon
    Bundy, Alan
    Walsh, Toby
    Metadata
    Show full item record
    Abstract
    Many interesting concepts in mathematics are essentially "cross-domain" in nature, relating objects from more than one area of mathematics, e.g. prime order groups. These concepts are often vital to the formation of a mathematical theory. Often, the introduction of cross-domain concepts to an investigation seems to exercise a mathematician's creative ability. The HR program, (Colton, 1999), proposes new concepts in mathematics. Its original implementation was limited to working in one mathematical domain at a time, so it was unable to create cross-domain concepts. Here, we describe an extension of HR to multiple domains. Cross-domain concept formation is facilitated by generalisation of the data structures and heuristic measures employed by the program, and the implementation of a new production rule. Results achieved include generation of the concepts of prime order groups, graph nodes of maximal degree and an interesting class of graph.
    URI
    http://hdl.handle.net/1842/3463
    Collections
    • Informatics Report Series

    Privacy & Cookies | Takedown Policy | Accessibility | Contact
    Privacy & Cookies
    Takedown Policy
    Accessibility
    Contact
     

     

    Browse

    All of DSpaceCommunities & CollectionsIssue DateAuthorsTitlesSubjectsPublication TypeSponsorThis CollectionIssue DateAuthorsTitlesSubjectsPublication TypeSponsor

    My Account

    LoginRegister

    Privacy & Cookies | Takedown Policy | Accessibility | Contact
    Privacy & Cookies
    Takedown Policy
    Accessibility
    Contact