論文の概要: Towards a Mathematical Theory of Abstraction
- arxiv url: http://arxiv.org/abs/2106.01826v1
- Date: Thu, 3 Jun 2021 13:23:49 GMT
- ステータス: 処理完了
- システム内更新日: 2021-06-04 12:22:15.853724
- Title: Towards a Mathematical Theory of Abstraction
- Title(参考訳): 抽象の数学的理論に向けて
- Authors: Beren Millidge
- Abstract要約: 抽象化とは何か、そしておそらくもっと重要なのは、データから直接抽象化がどのように学習できるかを示唆する正確な特徴付けを提供します。
この結果は統計的推論や機械学習に深く影響し,データから直接正確な抽象化を学習するための明示的な手法の開発に利用することができる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: While the utility of well-chosen abstractions for understanding and
predicting the behaviour of complex systems is well appreciated, precisely what
an abstraction $\textit{is}$ has so far has largely eluded mathematical
formalization. In this paper, we aim to set out a mathematical theory of
abstraction. We provide a precise characterisation of what an abstraction is
and, perhaps more importantly, suggest how abstractions can be learnt directly
from data both for static datasets and for dynamical systems. We define an
abstraction to be a small set of `summaries' of a system which can be used to
answer a set of queries about the system or its behaviour. The difference
between the ground truth behaviour of the system on the queries and the
behaviour of the system predicted only by the abstraction provides a measure of
the `leakiness' of the abstraction which can be used as a loss function to
directly learn abstractions from data. Our approach can be considered a
generalization of classical statistics where we are not interested in
reconstructing `the data' in full, but are instead only concerned with
answering a set of arbitrary queries about the data. While highly theoretical,
our results have deep implications for statistical inference and machine
learning and could be used to develop explicit methods for learning precise
kinds of abstractions directly from data.
- Abstract(参考訳): 複雑なシステムの振る舞いの理解と予測のための十分に簡潔な抽象化の効用は高く評価されているが、$\textit{is}$の抽象化は、これまでほとんど数学的形式化を免れた。
本稿では,抽象の数学的理論を確立することを目的とする。
抽象化とは何か,あるいはもっと重要なのは,静的データセットと動的システムの両方に対して,データから直接抽象化を学べるか,という点です。
私たちは抽象化をシステムの‘要約’の小さなセットとして定義し、システムやその動作に関する一連の問い合わせに答えられるようにします。
クエリ上のシステムの基底的真理の振る舞いと、抽象化によってのみ予測されるシステムの振る舞いの違いは、データから抽象化を直接学習するための損失関数として使用できる抽象化の‘リーキネス’の尺度を提供する。
このアプローチは,‘データ’全体を再構築することに関心はないが,データに関する任意のクエリの集合への応答にのみ関心を持つ古典統計の一般化と考えることができる。
高度に理論的だが,統計的推論や機械学習には深い影響があり,データから直接正確な抽象化を学習するための明示的な手法の開発に有用である。
関連論文リスト
- Bisimulation Learning [55.859538562698496]
我々は、大きな、潜在的に無限の状態空間を持つ状態遷移系の有限バイシミュレートを計算する。
提案手法は,実際に行われている他の最先端ツールよりも高速な検証結果が得られる。
論文 参考訳(メタデータ) (2024-05-24T17:11:27Z) - How to Handle Sketch-Abstraction in Sketch-Based Image Retrieval? [120.49126407479717]
スケッチの抽象化を様々なレベルで処理できるスケッチベース画像検索フレームワークを提案する。
粒度レベルの抽象理解のために、検索モデルはすべての抽象レベルを等しく扱ってはならないと規定する。
私たちのAcc.@qの損失は、評価がいかに厳格であるかという点で、スケッチが焦点を絞りたり壊したりできます。
論文 参考訳(メタデータ) (2024-03-11T23:08:29Z) - Neural Causal Abstractions [63.21695740637627]
我々は、変数とそのドメインをクラスタリングすることで、因果抽象化の新しいファミリーを開発する。
本稿では,ニューラルネットワークモデルを用いて,そのような抽象化が現実的に学習可能であることを示す。
本実験は、画像データを含む高次元設定に因果推論をスケールする方法を記述し、その理論を支持する。
論文 参考訳(メタデータ) (2024-01-05T02:00:27Z) - AbsPyramid: Benchmarking the Abstraction Ability of Language Models with a Unified Entailment Graph [62.685920585838616]
抽象能力は人間の知性において必須であり、言語モデルでは未探索のままである。
本稿では、抽象知識の221Kテキスト記述を統一したエンテーメントグラフであるAbsPyramidを提案する。
論文 参考訳(メタデータ) (2023-11-15T18:11:23Z) - ShapeCoder: Discovering Abstractions for Visual Programs from
Unstructured Primitives [44.01940125080666]
形状のデータセットを非構造化プリミティブで表現できる最初のシステムであるShapeCoderを提案する。
ShapeCoderは、ハイレベルな関係をキャプチャし、外部自由度を排除し、より良いデータセット圧縮を実現する抽象化ライブラリの発見方法を示す。
論文 参考訳(メタデータ) (2023-05-09T17:55:48Z) - Ideal Abstractions for Decision-Focused Learning [108.15241246054515]
本稿では,決定関連情報の損失を最小限に抑えるために,出力空間を自動的に構成する手法を提案する。
本手法は,ディープニューラルネットワークトレーニングのためのデータ取得と,閉ループ山火事管理タスクの2つの領域で実証する。
論文 参考訳(メタデータ) (2023-03-29T23:31:32Z) - Abstract Interpretation for Generalized Heuristic Search in Model-Based
Planning [50.96320003643406]
ドメイン・ジェネラル・モデル・ベース・プランナーは、しばしば記号的世界モデルの緩和を通じて探索を構築することによって一般性を導出する。
抽象解釈がこれらの抽象化の統一フレームワークとして機能し、よりリッチな世界モデルに探索の範囲を広げる方法について説明する。
また、これらは学習と統合することができ、エージェントは抽象的な情報を通じて、新しい世界のモデルで計画を開始することができる。
論文 参考訳(メタデータ) (2022-08-05T00:22:11Z) - Towards Computing an Optimal Abstraction for Structural Causal Models [16.17846886492361]
我々は抽象学習の問題に焦点をあてる。
我々は,情報損失の具体的な尺度を提案し,その新しい抽象化の学習への貢献について説明する。
論文 参考訳(メタデータ) (2022-08-01T14:35:57Z) - Abstracting Noisy Robot Programs [17.04153879817609]
本稿では,確率的および動的システムの抽象化へのアプローチについて述べる。
確率論的信念を持つ状況計算の変種に基づいて、バイシミュレーションの概念を定義する。
我々は、不要な詳細を省略し、実際の実行のために詳細なプログラムに変換できる抽象的なGologプログラムを得る。
論文 参考訳(メタデータ) (2022-04-07T16:04:19Z) - Symbolic Abstractions From Data: A PAC Learning Approach [0.42603120588176624]
記号制御技術は複雑な論理仕様を満たすことを目指している。
シンボリック抽象を計算するために使用されるメソッドは、正確な閉形式モデルの知識を必要とする。
我々はクローズドフォームダイナミクスを必要としない新しいデータ駆動アプローチを提案する。
論文 参考訳(メタデータ) (2021-04-28T17:34:28Z) - Extracting Semantic Indoor Maps from Occupancy Grids [2.4214518935746185]
室内環境のセマンティックマッピングに着目した。
ベイジアン推論を用いて,典型的なグリッドマップから抽象フロアプランを抽出する手法を提案する。
実世界のデータを用いたアプローチの有効性を示す。
論文 参考訳(メタデータ) (2020-02-19T18:52:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。