論文の概要: Language learnability in the limit for general metrics: a Gold-Angluin
result
- arxiv url: http://arxiv.org/abs/2103.13166v1
- Date: Wed, 24 Mar 2021 13:11:09 GMT
- ステータス: 処理完了
- システム内更新日: 2021-03-25 13:53:29.498769
- Title: Language learnability in the limit for general metrics: a Gold-Angluin
result
- Title(参考訳): 一般測度限界における言語学習可能性:ゴールドアングルイン結果
- Authors: Fernando C. Alves
- Abstract要約: 我々は、blum and blum (1975) によるniyogi の拡張版の定理を用いて、任意の計量における任意の言語族の極限における学習可能性に必要な条件を証明している。
言語ファミリーがさらにすべての有限言語を含むと仮定すると、同じ条件は限界における学習可能性にも十分になる。
- 参考スコア(独自算出の注目度): 91.3755431537592
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In his pioneering work in the field of Inductive Inference, Gold (1967)
proved that a set containing all finite languages and at least one infinite
language over the same fixed alphabet is not learnable in the exact sense.
Within the same framework, Angluin (1980) provided a complete characterization
for the learnability of language families. Mathematically, the concept of exact
learning in that classical setting can be seen as the use of a particular type
of metric for learning in the limit. In this short research note we use
Niyogi's extended version of a theorem by Blum and Blum (1975) on the existence
of locking data sets to prove a necessary condition for learnability in the
limit of any family of languages in any given metric. This recovers Gold's
theorem as a special case. Moreover, when the language family is further
assumed to contain all finite languages, the same condition also becomes
sufficient for learnability in the limit.
- Abstract(参考訳): 帰納的推論の分野における先駆的な研究の中で、ゴールド (1967) はすべての有限言語と同じ固定アルファベット上の少なくとも1つの無限言語を含む集合が正確な意味では学べないことを証明した。
同じ枠組みの中で、Angluin (1980) は言語家族の学習性を完全に評価した。
数学的には、古典的設定における厳密な学習の概念は、極限における学習のための特定の種類の計量の使用と見なすことができる。
この短い研究ノートでは、Blum and Blum (1975) によるニヨギの定理の拡張版を使ってロックデータセットの存在を証明し、任意の計量の任意の言語の族に限って学習可能な条件を証明している。
これは特別の場合としてゴールドの定理を回復させる。
さらに、言語族が全ての有限言語を含むと仮定すると、同じ条件が極限における学習可能性にも十分である。
関連論文リスト
- Exploring Facets of Language Generation in the Limit [10.18252143035175]
任意の可算言語コレクションは、その極限において非一様生成の強い特性を持つ生成子を持つことを示す。
我々は,[KM24]の生成アルゴリズムにおける妥当性と幅の緊張関係を,徹底的な生成の定義を導入して定式化する。
以上の結果から,有効性と広さのトレードオフは,その限界における生成に固有であることが示唆された。
論文 参考訳(メタデータ) (2024-11-22T22:13:40Z) - Regular language quantum states [0.5499796332553706]
量子多体状態の族である正規言語状態を導入する。
これらはレギュラー(regular)と呼ばれる特別な形式言語から作られる。
テンソルネットワークの理論を利用して、正規言語がシフト不変であるタイミングを決定する効率的な基準を求める。
論文 参考訳(メタデータ) (2024-07-24T21:09:22Z) - Language Generation in the Limit [0.7787343335258782]
候補言語の可算リストに限って生成できるエージェントが存在することを示す。
これは、言語学習のよく研究されたモデルにおいて、ゴールドとアングルインによる否定的な結果と劇的に対照的である。
論文 参考訳(メタデータ) (2024-04-10T05:53:25Z) - A Measure-Theoretic Characterization of Tight Language Models [105.16477132329416]
病理学的には「確率質量」が無限列の集合に漏れることがある。
本稿では,言語モデリングの尺度論的扱いについて述べる。
多くのポピュラーな言語モデルファミリーが実際に密接な関係にあることを証明しています。
論文 参考訳(メタデータ) (2022-12-20T18:17:11Z) - Learning Symbolic Rules for Reasoning in Quasi-Natural Language [74.96601852906328]
我々は,ルールを手作業で構築することなく,自然言語入力で推論できるルールベースシステムを構築した。
本稿では,形式論理文と自然言語文の両方を表現可能な"Quasi-Natural"言語であるMetaQNLを提案する。
提案手法は,複数の推論ベンチマークにおける最先端の精度を実現する。
論文 参考訳(メタデータ) (2021-11-23T17:49:00Z) - Provable Limitations of Acquiring Meaning from Ungrounded Form: What
will Future Language Models Understand? [87.20342701232869]
未知のシステムが意味を習得する能力について検討する。
アサーションによってシステムが等価性のような意味関係を保存する表現をエミュレートできるかどうか検討する。
言語内のすべての表現が参照的に透明であれば,アサーションによってセマンティックエミュレーションが可能になる。
しかし、言語が変数バインディングのような非透過的なパターンを使用する場合、エミュレーションは計算不能な問題になる可能性がある。
論文 参考訳(メタデータ) (2021-04-22T01:00:17Z) - Maps for Learning Indexable Classes [1.2728819383164875]
学習者が仮説空間を自由に選択できる正のデータから、索引付き家族の学習を研究する。
一貫性、保守性、セット駆動性など、学習に対するさまざまな制限に興味があります。
論文 参考訳(メタデータ) (2020-10-15T09:34:07Z) - RNNs can generate bounded hierarchical languages with optimal memory [113.73133308478612]
RNNは、自然言語構文の足場を反映した境界階層言語を効率的に生成できることを示す。
Dyck-($k$,$m$)は、よくネストされた括弧($k$型)と$m$バウンドされたネスト深さの言語である。
明示的な構成により,$O(m log k)$ hidden units の RNN がメモリの指数的削減に十分であることを示す。
論文 参考訳(メタデータ) (2020-10-15T04:42:29Z) - Learning Languages in the Limit from Positive Information with Finitely
Many Memory Changes [0.0]
非U字型性は制限的ではなく、保守性や(強い)単調性は制限的であることを示す。
また,2つの設定が異なる非意味的制約(強い非U字型性)の例を示す。
論文 参考訳(メタデータ) (2020-10-09T19:59:49Z) - Linguistic Typology Features from Text: Inferring the Sparse Features of
World Atlas of Language Structures [73.06435180872293]
我々は、バイト埋め込みと畳み込み層に基づく繰り返しニューラルネットワーク予測器を構築する。
様々な言語型の特徴を確実に予測できることを示す。
論文 参考訳(メタデータ) (2020-04-30T21:00:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。