論文の概要: Artificial Cognitively-inspired Generation of the Notion of Topological
Group in the Context of Artificial Mathematical Intelligence
- arxiv url: http://arxiv.org/abs/2112.02457v1
- Date: Sun, 5 Dec 2021 01:39:34 GMT
- ステータス: 処理完了
- システム内更新日: 2021-12-07 16:44:49.256704
- Title: Artificial Cognitively-inspired Generation of the Notion of Topological
Group in the Context of Artificial Mathematical Intelligence
- Title(参考訳): 人工数学的知能の文脈におけるトポロジカルグループ表記の認知による生成
- Authors: Danny A. J. Gomez-Ramirez, Yoe A. Herrera-Jaramillo and Florian
Geismann
- Abstract要約: 位相群の基本数学的概念に対する明示的な人工生成(あるいは概念計算)を提供する。
位相群の概念は、3つの異なる人工的な仕様によって明確に生成される。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The new computational paradigm of conceptual computation has been introduced
in the research program of Artificial Mathematical Intelligence. We provide the
explicit artificial generation (or conceptual computation) for the fundamental
mathematical notion of topological groups. Specifically, we start with two
basic notions belonging to topology and abstract algebra, and we describe
recursively formal specifications in the Common Algebraic Specification
Language (CASL). The notion of conceptual blending between such conceptual
spaces can be materialized computationally in the Heterogeneous Tool Set
(HETS). The fundamental notion of topological groups is explicitly generated
through three different artificial specifications based on conceptual blending
and conceptual identification, starting with the concepts of continuous
functions and mathematical groups (described with minimal set-theoretical
conditions). This constitutes in additional heuristic evidence for the third
pillar of Artificial Mathematical Intelligence.
- Abstract(参考訳): 人工数学知能の研究プログラムにおいて,概念計算の新しい計算パラダイムが導入された。
位相群の基本数学的概念に対する明示的な人工生成(あるいは概念計算)を提供する。
具体的には、トポロジーと抽象代数学に属する2つの基本概念から始め、共通代数仕様言語(CASL)で再帰的に形式的な仕様を記述する。
そのような概念空間間の概念ブレンディングの概念は、heterogeneous Tool Set (HETS) で計算的に実現することができる。
トポロジカル群の基本概念は、連続函数と数学的群の概念(最小の集合理論条件で記述される)から始まる概念的ブレンディングと概念的同定に基づく3つの異なる人工的仕様によって明確に生成される。
これは、人工数学知能の第3柱のさらなるヒューリスティックな証拠を構成する。
関連論文リスト
- ConceptMath: A Bilingual Concept-wise Benchmark for Measuring
Mathematical Reasoning of Large Language Models [67.32868432113587]
本稿では,Large Language Models (LLMs) の概念的数学的推論を評価するための詳細なベンチマークであるConceptMathを紹介する。
一般的な数学的推論を平均精度で評価する従来のベンチマークとは異なり、ConceptMathは数学の問題を数学的概念の階層の下に体系的に整理する。
論文 参考訳(メタデータ) (2024-02-22T16:06:49Z) - Algebraic, Topological, and Mereological Foundations of Existential
Granules [0.0]
既存の顆粒は最初は自分自身を決定づけ、その後環境と相互作用するものである。
グラニュラーコンピューティングの複数の理論的枠組み(アキシマティック、アダプティブ、その他)に適合することが示されている。
この特徴付けはアルゴリズム開発、分類問題、一般化の数学的基礎への応用を目的としている。
論文 参考訳(メタデータ) (2023-08-30T17:22:11Z) - A Recursive Bateson-Inspired Model for the Generation of Semantic Formal
Concepts from Spatial Sensory Data [77.34726150561087]
本稿では,複雑な感覚データから階層構造を生成するための記号のみの手法を提案する。
このアプローチは、概念や概念の創始の鍵としてのバテソンの差異の概念に基づいている。
このモデルは、トレーニングなしでかなりリッチだが人間に読まれる概念表現を生成することができる。
論文 参考訳(メタデータ) (2023-07-16T15:59:13Z) - Parmesan: mathematical concept extraction for education [0.5520082338220947]
本研究では,カテゴリー論の分野に焦点をあて,文脈における数学的概念の探索と定義を行うプロトタイプシステムの開発を行う。
このシステムは、概念抽出、関係抽出、定義抽出、エンティティリンクを含む自然言語処理コンポーネントに依存している。
また,ジャーナル記事やウィキページをベースとしたプロトタイプシステムを利用した2つのクリーンな数学的コーパスも提供する。
論文 参考訳(メタデータ) (2023-07-13T11:55:03Z) - A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。
大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文 参考訳(メタデータ) (2022-12-20T18:46:16Z) - Formalization of the principles of brain Programming (Brain Principles
Programming) [0.0]
『超知能へのアプローチ』には、汎用人工知能(AGI)の概要が記載されている。
脳原理プログラミング(Brain Principles Programming、BPP)は、脳の情報処理の普遍的なメカニズム(原理)の形式化である。
この論文は、P.K.アノキン関数脳系の理論、エレノア・ロッシュ分類理論、ボブ・レーダー因果モデルの理論、そして「自然」分類の数学的モデルとアルゴリズムを使用する。
論文 参考訳(メタデータ) (2022-05-13T13:16:34Z) - Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
合成一般化のための代数的組換え学習のためのエンドツーエンドニューラルモデルLeARを提案する。
主要な洞察は、意味解析タスクを潜在構文代数学と意味代数学の間の準同型としてモデル化することである。
2つの現実的・包括的構成一般化の実験は、我々のモデルの有効性を実証している。
論文 参考訳(メタデータ) (2021-07-14T07:23:46Z) - A Minimalist Dataset for Systematic Generalization of Perception,
Syntax, and Semantics [131.93113552146195]
我々は,機械が一般化可能な概念を学習する能力を調べるため,新しいデータセットであるHINT(Hand written arithmetic with INTegers)を提案する。
HINTでは、イメージなどの生信号から概念がどのように認識されるかを学ぶことが機械のタスクである。
我々は、RNN、Transformer、GPT-3など、様々なシーケンス・ツー・シーケンスモデルで広範囲に実験を行った。
論文 参考訳(メタデータ) (2021-03-02T01:32:54Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。