Show simple item record

dc.contributor.authorSteel, Graham
dc.contributor.authorColton, Simon
dc.contributor.authorBundy, Alan
dc.contributor.authorWalsh, Toby
dc.date.accessioned2010-06-23T14:45:12Z
dc.date.available2010-06-23T14:45:12Z
dc.date.issued2000
dc.identifier.urihttp://hdl.handle.net/1842/3463
dc.descriptionProcs of AISB'00 Symposium on Creative and Cultural Aspects of AI and Cognitive Scienceen
dc.description.abstractMany 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.en
dc.language.isoenen
dc.publisherThe University of Edinburghen
dc.relation.ispartofseriesInformatics Report Seriesen
dc.relation.ispartofseriesEDI-INF-RR-0019en
dc.subjectInformaticsen
dc.titleCross Domain Mathematical Concept Formationen
dc.typeTechnical Reporten


Files in this item

This item appears in the following Collection(s)

Show simple item record