論文の概要: Reasoning about conscious experience with axiomatic and graphical
mathematics
- arxiv url: http://arxiv.org/abs/2106.16061v1
- Date: Wed, 30 Jun 2021 13:39:02 GMT
- ステータス: 処理完了
- システム内更新日: 2021-07-01 15:24:36.198374
- Title: Reasoning about conscious experience with axiomatic and graphical
mathematics
- Title(参考訳): 公理・グラフィカル数学における意識経験に関する考察
- Authors: Camilo Miguel Signorelli, Quanlong Wang, Bob Coecke
- Abstract要約: 我々は、一般的なプロセス理論のグラフィカル計算を用いて、公理数学的用語で意識の側面を定式化した。
公理計算を用いたおもちゃの例は、このアプローチのパワーを示すために与えられる。
- 参考スコア(独自算出の注目度): 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.
- Abstract(参考訳): 我々は一般過程論(対称モノイド圏とフロベニウス代数)のグラフ計算を用いて、意識の側面を公理的な数学的用語で表現した。
この計算はプロセス理論のオントロジ中立性を利用する。
公理計算を用いたおもちゃの例は、このアプローチの力を示すために与えられ、外部および内部の主観的な区別、個人の主観的な経験のプライバシーまたは不可読性、および、意識の科学的研究における主要な問題である現象的統一など、意識的な経験の他の側面を回復する。
実際、これらの特徴は公理計算の組成的性質から自然に生じる。
関連論文リスト
- Machine learning and information theory concepts towards an AI
Mathematician [77.63761356203105]
人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。
このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。
興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
論文 参考訳(メタデータ) (2024-03-07T15:12:06Z) - Intrinsic Physical Concepts Discovery with Object-Centric Predictive
Models [86.25460882547581]
PHYsical Concepts Inference NEtwork (PHYCINE) は、異なる抽象レベルの物理概念を監督なしで推論するシステムである。
物理概念変数を含むオブジェクト表現は因果推論タスクの性能向上に有効であることを示す。
論文 参考訳(メタデータ) (2023-03-03T11:52:21Z) - Similarity [0.0]
この方法で定義される類似性は、数学的性質に訴えるものであることを示す。
類似性はモデル理論型によって自然に一階述語論理に組み込むことができることを示す。
論文 参考訳(メタデータ) (2023-02-13T14:48:59Z) - A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。
大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文 参考訳(メタデータ) (2022-12-20T18:46:16Z) - Artificial Cognitively-inspired Generation of the Notion of Topological
Group in the Context of Artificial Mathematical Intelligence [0.0]
位相群の基本数学的概念に対する明示的な人工生成(あるいは概念計算)を提供する。
位相群の概念は、3つの異なる人工的な仕様によって明確に生成される。
論文 参考訳(メタデータ) (2021-12-05T01:39:34Z) - The Role of General Intelligence in Mathematical Reasoning [0.0]
オブジェクトは数学の領域の中心であり、それに対する私たちの相互作用と推論です。
現代認知科学とA.I.では、物理領域と数学領域は別々に探索される。
数学的な対象が非数学的対象と同等の空間を持つ,オブジェクト表現の学習のための抽象的理論的枠組みについて述べる。
論文 参考訳(メタデータ) (2021-04-27T20:43:25Z) - NaturalProofs: Mathematical Theorem Proving in Natural Language [132.99913141409968]
数学的ステートメントの多領域コーパスであるNaturalProofsとその証明を開発した。
NaturalProofsは広範なカバレッジ、深いカバレッジ、低リソースの数学的ソースを統一する。
数式参照検索と生成タスクに関する強力なニューラルネットワーク手法をベンチマークする。
論文 参考訳(メタデータ) (2021-03-24T03:14:48Z) - Resource theory of imaginarity: Quantification and state conversion [48.7576911714538]
想像力の資源理論が導入され、量子力学と量子情報理論における複素数の体系的な研究が可能となった。
虚数量化について検討し、幾何学的虚数性と虚数性の堅牢性に着目し、これらのツールを虚数理論における状態変換問題に適用する。
本研究は, 量子物理学における複素数の重要性を明らかにし, 虚数が光学実験における資源であることを証明する。
論文 参考訳(メタデータ) (2021-03-02T15:30:27Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳(メタデータ) (2021-01-13T15:22:01Z) - Analogical Proportions [0.0]
本稿では、普遍代数学の一般設定において、$a$ is to $b$ to $c$ is to $d$' という形の類比例の抽象的枠組みを紹介する。
類比の概念が数学的性質をアピールしていることが判明した。
本論文は,AI-プロブレムの応用可能性を考慮したアナログ推論と学習システムの理論への第一歩である。
論文 参考訳(メタデータ) (2020-06-04T13:44:36Z) - Classical and intuitionistic mathematical languages shape our
understanding of time in physics [0.0]
時間進化過程に基づいて構築された直観主義数学に基づく定式化は、我々の物理的現実の経験に近い視点を提供する。
論文 参考訳(メタデータ) (2020-02-04T18:00:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。