論文の概要: Symbolic Abstractions From Data: A PAC Learning Approach
- arxiv url: http://arxiv.org/abs/2104.13901v1
- Date: Wed, 28 Apr 2021 17:34:28 GMT
- ステータス: 処理完了
- システム内更新日: 2021-04-29 12:55:09.036175
- Title: Symbolic Abstractions From Data: A PAC Learning Approach
- Title(参考訳): データからのシンボル的抽象化:PAC学習アプローチ
- Authors: Alex Devonport, Adnane Saoud, and Murat Arcak
- Abstract要約: 記号制御技術は複雑な論理仕様を満たすことを目指している。
シンボリック抽象を計算するために使用されるメソッドは、正確な閉形式モデルの知識を必要とする。
我々はクローズドフォームダイナミクスを必要としない新しいデータ駆動アプローチを提案する。
- 参考スコア(独自算出の注目度): 0.42603120588176624
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Symbolic control techniques aim to satisfy complex logic specifications. A
critical step in these techniques is the construction of a symbolic (discrete)
abstraction, a finite-state system whose behaviour mimics that of a given
continuous-state system. The methods used to compute symbolic abstractions,
however, require knowledge of an accurate closed-form model. To generalize them
to systems with unknown dynamics, we present a new data-driven approach that
does not require closed-form dynamics, instead relying only the ability to
evaluate successors of each state under given inputs. To provide guarantees for
the learned abstraction, we use the Probably Approximately Correct (PAC)
statistical framework. We first introduce a PAC-style behavioural relationship
and an appropriate refinement procedure. We then show how the symbolic
abstraction can be constructed to satisfy this new behavioural relationship.
Moreover, we provide PAC bounds that dictate the number of data required to
guarantee a prescribed level of accuracy and confidence. Finally, we present an
illustrative example.
- Abstract(参考訳): 記号制御技術は複雑な論理仕様を満たすことを目的としている。
これらのテクニックの重要なステップは、与えられた連続状態システムの振る舞いを模倣する有限状態システムであるシンボリック(離散)抽象化の構築である。
しかし、記号的抽象化を計算するために使われる方法は、正確な閉形式モデルの知識を必要とする。
未知のダイナミクスを持つシステムに一般化するために、与えられた入力の下で各状態の後継者を評価する能力のみに頼る代わりに、クローズドフォームのダイナミクスを必要としない新しいデータ駆動アプローチを提案する。
学習した抽象化を保証するため,確率的近似(PAC)統計フレームワークを用いる。
まず,PAC型行動関係と適切な改善手順を導入する。
次に、この新たな行動関係を満たすためにシンボリック抽象をどのように構築できるかを示す。
さらに、所定の精度と信頼性を保証するために必要なデータ数を規定するPAC境界を提供する。
最後に,実例を示す。
関連論文リスト
- How to discretize continuous state-action spaces in Q-learning: A symbolic control approach [0.0]
本稿では,空間離散化法における大きな欠点を浮き彫りにした系統解析について述べる。
この課題に対処するために,行動関係を表す記号モデルを提案する。
この関係により、オリジナルのシステムへの抽象化に基づいて、合成されたコントローラをシームレスに適用することができる。
論文 参考訳(メタデータ) (2024-06-03T17:30:42Z) - Bisimulation Learning [55.859538562698496]
我々は、大きな、潜在的に無限の状態空間を持つ状態遷移系の有限バイシミュレートを計算する。
提案手法は,実際に行われている他の最先端ツールよりも高速な検証結果が得られる。
論文 参考訳(メタデータ) (2024-05-24T17:11:27Z) - The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning [54.56905063752427]
Neuro-Symbolic AI(NeSy)は、AIシステムの安全なデプロイを保証することを約束している。
ニューラルネットワークとシンボリックコンポーネントを順次トレーニングする既存のパイプラインは、広範なラベリングを必要とする。
新しいアーキテクチャであるNeSyGPTは、生データから象徴的特徴を抽出する視覚言語基盤モデルを微調整する。
論文 参考訳(メタデータ) (2024-02-02T20:33:14Z) - Discrete, compositional, and symbolic representations through attractor dynamics [51.20712945239422]
我々は,思考の確率的言語(PLoT)に似た認知過程をモデル化するために,アトラクタダイナミクスを記号表現と統合した新しいニューラルシステムモデルを導入する。
我々のモデルは、連続表現空間を、事前定義されたプリミティブに頼るのではなく、教師なし学習を通じて、記号系の意味性と構成性の特徴を反映する、記号列に対応する引き付け状態を持つ離散盆地に分割する。
このアプローチは、認知操作の複雑な双対性を反映したより包括的なモデルを提供する、AIにおける表現力の証明された神経弁別可能な基質であるニューラルダイナミクスを通じて、シンボル処理とサブシンボル処理の両方を統合する統一的なフレームワークを確立する。
論文 参考訳(メタデータ) (2023-10-03T05:40:56Z) - Hierarchical State Abstraction Based on Structural Information
Principles [70.24495170921075]
本稿では、情報理論の観点から、新しい数学的構造情報原理に基づく状態抽象化フレームワーク、すなわちSISAを提案する。
SISAは、様々な表現学習目標と柔軟に統合され、パフォーマンスをさらに向上する一般的なフレームワークである。
論文 参考訳(メタデータ) (2023-04-24T11:06:52Z) - Graph state-space models [19.88814714919019]
状態空間モデルは、時系列を記述し、予測されるシステム状態の更新された表現を維持することで操作する。
この原稿は、このギャップを初めて埋めることを目的としており、遅延依存をキャプチャする関数グラフがデータから直接学習され、時間とともに変更が許される、意図しない状態データとマッチングする。
ダウンストリームタスクで状態空間モデルのエンドツーエンドを学習するために,エンコーダ・デコーダアーキテクチャを提案する。
論文 参考訳(メタデータ) (2023-01-04T18:15:07Z) - Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。
RABは両方の制限を解除することで既存のモデルを一般化する。
データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文 参考訳(メタデータ) (2022-08-12T17:03:50Z) - Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic [8.914271888521652]
我々は、忠実な有限状態抽象の存在を保証する「有限要約」という新しい意味的特性を導入する。
形式的手法やデータベース理論で研究されたいくつかの決定可能性条件は、この性質の具体的かつチェック可能な例と見なすことができる。
我々の結果は、以前のアプローチでは手の届かないシステムを分析することを可能にする。
論文 参考訳(メタデータ) (2022-03-15T15:14:25Z) - Learning Markov State Abstractions for Deep Reinforcement Learning [17.34529517221924]
本稿では,マルコフの抽象状態表現を学習するのに十分であることを示す。
次に、逆モデル推定と時間的コントラスト学習を組み合わせた実践的な訓練手順について述べる。
提案手法は,ドメインの基盤構造を捉える表現を学習し,サンプル効率を向上させる。
論文 参考訳(メタデータ) (2021-06-08T14:12:36Z) - Towards a Mathematical Theory of Abstraction [0.0]
抽象化とは何か、そしておそらくもっと重要なのは、データから直接抽象化がどのように学習できるかを示唆する正確な特徴付けを提供します。
この結果は統計的推論や機械学習に深く影響し,データから直接正確な抽象化を学習するための明示的な手法の開発に利用することができる。
論文 参考訳(メタデータ) (2021-06-03T13:23:49Z) - Leveraging Unlabeled Data for Entity-Relation Extraction through
Probabilistic Constraint Satisfaction [54.06292969184476]
シンボリックドメイン知識の存在下でのエンティティ関係抽出の問題を研究する。
本手法では,論理文の正確な意味を捉える意味的損失を用いる。
低データ体制に焦点をあてて、セマンティックな損失がベースラインをはるかに上回ることを示す。
論文 参考訳(メタデータ) (2021-03-20T00:16:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。