Reasoning about conscious experience with axiomatic and graphical
mathematics
- URL: http://arxiv.org/abs/2106.16061v1
- Date: Wed, 30 Jun 2021 13:39:02 GMT
- Title: Reasoning about conscious experience with axiomatic and graphical
mathematics
- Authors: Camilo Miguel Signorelli, Quanlong Wang, Bob Coecke
- Abstract summary: We cast aspects of consciousness in axiomatic mathematical terms, using the graphical calculus of general process theories.
A toy example using the axiomatic calculus is given to show the power of this approach.
- Score: 0.46408356903366527
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We cast aspects of consciousness in axiomatic mathematical terms, using the
graphical calculus of general process theories (a.k.a symmetric monoidal
categories and Frobenius algebras therein). This calculus exploits the
ontological neutrality of process theories. A toy example using the axiomatic
calculus is given to show the power of this approach, recovering other aspects
of conscious experience, such as external and internal subjective distinction,
privacy or unreadability of personal subjective experience, and phenomenal
unity, one of the main issues for scientific studies of consciousness. In fact,
these features naturally arise from the compositional nature of axiomatic
calculus.
Related papers
- A Didactic Journey from Statistical Physics to Thermodynamics [0.0]
This paper offers a pedestrian guide from the fundamental properties of entropy to the axioms of thermodynamics.
It also dismantles flawed concepts, such as assigning physical meaning to Lagrange multipliers.
arXiv Detail & Related papers (2024-07-05T16:43:14Z) - 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) - Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
We study the role of conceptualization in commonsense reasoning, and formulate a framework to replicate human conceptual induction.
We apply the framework to ATOMIC, a large-scale human-annotated CKG, aided by the taxonomy Probase.
arXiv Detail & Related papers (2022-06-03T12:24:49Z) - Artificial Cognitively-inspired Generation of the Notion of Topological
Group in the Context of Artificial Mathematical Intelligence [0.0]
We provide the explicit artificial generation (or conceptual computation) for the fundamental mathematical notion of topological groups.
The concept of topological groups is explicitly generated through three different artificial specifications.
arXiv Detail & Related papers (2021-12-05T01:39:34Z) - The Role of General Intelligence in Mathematical Reasoning [0.0]
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.
arXiv Detail & Related papers (2021-04-27T20:43:25Z) - NaturalProofs: Mathematical Theorem Proving in Natural Language [132.99913141409968]
We develop NaturalProofs, a multi-domain corpus of mathematical statements and their proofs.
NaturalProofs unifies broad coverage, deep coverage, and low-resource mathematical sources.
We benchmark strong neural methods on mathematical reference retrieval and generation tasks.
arXiv Detail & Related papers (2021-03-24T03:14:48Z) - Resource theory of imaginarity: Quantification and state conversion [48.7576911714538]
Resource theory of imaginarity has been introduced, allowing for a systematic study of complex numbers in quantum mechanics and quantum information theory.
We investigate imaginarity quantification, focusing on the geometric imaginarity and the robustness of imaginarity, and apply these tools to the state conversion problem in imaginarity theory.
Our study reveals the significance of complex numbers in quantum physics, and proves that imaginarity is a resource in optical experiments.
arXiv Detail & Related papers (2021-03-02T15:30:27Z) - Analogical Proportions [0.0]
This paper introduces an abstract framework of analogical proportions of the form $a$ is to $b$ what $c$ is to $d$' in the general setting of universal algebra.
It turns out that our notion of analogical proportions has appealing mathematical properties.
This paper is a first step towards a theory of analogical reasoning and learning systems with potential applications to fundamental AI-problems.
arXiv Detail & Related papers (2020-06-04T13:44:36Z) - Classical and intuitionistic mathematical languages shape our
understanding of time in physics [0.0]
A formulation on the basis of intuitionist mathematics, built on time-evolving processes, would offer a perspective that is closer to our experience of physical reality.
arXiv Detail & Related papers (2020-02-04T18:00:52Z)
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.