Discrete Mathematics - First Japan Conference on Graph Theory and Applications
Unified theories of cognition
Discovering mathematical operator definitions
Proceedings of the sixth international workshop on Machine learning
Am: an artificial intelligence approach to discovery in mathematics as heuristic search.
Am: an artificial intelligence approach to discovery in mathematics as heuristic search.
Restricted higher-order anti-unification for analogy making
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Complex analogies: remarks on the complexity of HDTP
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Creativity, cognitive mechanisms, and logic
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
When almost is not even close: remarks on the approximability of HDTP
AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence
Hi-index | 0.00 |
We present an account of a process by which different conceptualisations of number can be blended together to form new conceptualisations via recognition of common features, and judicious combination of their distinctive features. The accounts of number are based on Lakoff and Nunez's cognitively-based grounding metaphors for arithmetic. The approach incorporates elements of analogical inference into a generalised framework of conceptual blending, using some ideas from the work of Goguen. The ideas are worked out using Heuristic-Driven Theory Projection (HDTP, a method based on higher-order anti-unification). HDTP provides generalisations between domains, giving a crucial step in the process of finding commonalities between theories. In addition to generalisations, HDTP can also transfer concepts from one domain to another, allowing the construction of new conceptual blends. Alongside the methods by which conceptual blends may be constructed, we provide heuristics to guide this process.