The Role of General Intelligence in Mathematical Reasoning
- URL: http://arxiv.org/abs/2104.13468v1
- Date: Tue, 27 Apr 2021 20:43:25 GMT
- Title: The Role of General Intelligence in Mathematical Reasoning
- Authors: Aviv Keren
- Abstract summary: Objects are a centerpiece of the mathematical realm and our interaction with and reasoning about it.
In contemporary cognitive science and A.I., the physical and mathematical domains are customarily explored separately.
I describe an abstract theoretical framework for learning object representations, that makes room for mathematical objects on par with non-mathematical ones.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Objects are a centerpiece of the mathematical realm and our interaction with
and reasoning about it, just as they are of the physical one (if not more). And
humans' mathematical reasoning must ultimately be grounded in our general
intelligence. Yet in contemporary cognitive science and A.I., the physical and
mathematical domains are customarily explored separately, which allows for
baking in assumptions for what objects are for the system - and missing
potential connections.
In this paper, I put the issue into its philosophical and cognitive context.
I then describe an abstract theoretical framework for learning object
representations, that makes room for mathematical objects on par with
non-mathematical ones. Finally, I describe a case study that builds on that
view to show how our general ability for integrating different aspects of
objects effects our conception of the natural numbers.
Related papers
- A Complexity-Based Theory of Compositionality [53.025566128892066]
In AI, compositional representations can enable a powerful form of out-of-distribution generalization.
Here, we propose a formal definition of compositionality that accounts for and extends our intuitions about compositionality.
The definition is conceptually simple, quantitative, grounded in algorithmic information theory, and applicable to any representation.
arXiv Detail & Related papers (2024-10-18T18:37:27Z) - Compositional Physical Reasoning of Objects and Events from Videos [122.6862357340911]
This paper addresses the challenge of inferring hidden physical properties from objects' motion and interactions.
We evaluate state-of-the-art video reasoning models on ComPhy and reveal their limited ability to capture these hidden properties.
We also propose a novel neuro-symbolic framework, Physical Concept Reasoner (PCR), that learns and reasons about both visible and hidden physical properties.
arXiv Detail & Related papers (2024-08-02T15:19:55Z) - Machine learning and information theory concepts towards an AI
Mathematician [77.63761356203105]
The current state-of-the-art in artificial intelligence is impressive, especially in terms of mastery of language, but not so much in terms of mathematical reasoning.
This essay builds on the idea that current deep learning mostly succeeds at system 1 abilities.
It takes an information-theoretical posture to ask questions about what constitutes an interesting mathematical statement.
arXiv Detail & Related papers (2024-03-07T15:12:06Z) - Intrinsic Physical Concepts Discovery with Object-Centric Predictive
Models [86.25460882547581]
We introduce the PHYsical Concepts Inference NEtwork (PHYCINE), a system that infers physical concepts in different abstract levels without supervision.
We show that object representations containing the discovered physical concepts variables could help achieve better performance in causal reasoning tasks.
arXiv Detail & Related papers (2023-03-03T11:52:21Z) - A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
We review the key tasks, datasets, and methods at the intersection of mathematical reasoning and deep learning over the past decade.
Recent advances in large-scale neural language models have opened up new benchmarks and opportunities to use deep learning for mathematical reasoning.
arXiv Detail & Related papers (2022-12-20T18:46:16Z) - An Enactivist-Inspired Mathematical Model of Cognition [5.8010446129208155]
We formulate five basic tenets of enactivist cognitive science that we have carefully identified in the relevant literature.
We then develop a mathematical framework to talk about cognitive systems which complies with these enactivist tenets.
arXiv Detail & Related papers (2022-06-10T13:03:47Z) - Recognizing Concepts and Recognizing Musical Themes. A Quantum Semantic
Analysis [0.0]
How are abstract concepts and musical themes recognized on the basis of some previous experience?
This problem can be successfully discussed in the framework of a quantum approach to pattern recognition and to machine learning.
Although recognition procedures are different for human and for artificial intelligences, there is a common method of "facing the problems" that seems to work in both cases.
arXiv Detail & Related papers (2022-02-17T17:55:55Z) - PTR: A Benchmark for Part-based Conceptual, Relational, and Physical
Reasoning [135.2892665079159]
We introduce a new large-scale diagnostic visual reasoning dataset named PTR.
PTR contains around 70k RGBD synthetic images with ground truth object and part level annotations.
We examine several state-of-the-art visual reasoning models on this dataset and observe that they still make many surprising mistakes.
arXiv Detail & Related papers (2021-12-09T18:59:34Z) - Noisy Deductive Reasoning: How Humans Construct Math, and How Math
Constructs Universes [0.5874142059884521]
We present a computational model of mathematical reasoning according to which mathematics is a fundamentally process.
We show that this framework gives a compelling account of several aspects of mathematical practice.
arXiv Detail & Related papers (2020-10-28T19:43:14Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.