論文の概要: The Scope Grammar of Natural-Language Rules: Counting and Enumerating Readings modulo Logical Equivalence
- arxiv url: http://arxiv.org/abs/2611.01825v2
- Date: Wed, 04 Nov 2026 01:32:41 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-05 20:19:46.93162
- Title: The Scope Grammar of Natural-Language Rules: Counting and Enumerating Readings modulo Logical Equivalence
- Title（参考訳）: 自然言語規則のスコープ文法--読解の数え方と数え方-
- Abstract要約: 本研究では,連結骨格の読みを派生木とする,意図的にあいまいな文脈自由文法であるスコープ文法について検討する。
k$バイナリ接続を持つスケルトンは、$C_k$導出木、$k$-th Catalan番号を持っているが、論理的に異なる読み出しははるかに少ない。
我々は最大性をインクリメントの不等式に還元し、16個の原子に検証し、なぜ局所交換論証が証明できないのかを説明する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: A rule written for people fixes its atomic conditions and connectives but leaves open how the connectives are bracketed, and each bracketing is a different logical reading that an autoformalizer must resolve or expose. We study the scope grammar, a deliberately ambiguous context-free grammar whose derivation trees are the readings of a connective skeleton and whose quotient by logical equivalence is what matters downstream. A skeleton with $k$ binary connectives has $C_k$ derivation trees, the $k$-th Catalan number, but far fewer logically distinct readings. For the positive, repetition-free fragment we make the gap exact: through the uniqueness of the read-once normal form we characterize the realizable normal forms by lowest common ancestors and count them with a two-label recurrence over the operator word, verified against exhaustive enumeration up to eleven atoms. The count is invariant under reversal and $\wedge/\vee$ duality; a skeleton is ambiguous if and only if it uses both $\wedge$ and $\vee$, a one-pass test; and the number of classes is at least $2^{\lfloor n/3\rfloor}$. Up to fifteen atoms the alternating pattern is the worst case; its count has a cubic generating function, is the 3-Schröder sequence (OEIS A137842), and grows with base $\varphi^{5/2}\approx3.330$, below the Catalan base 4. We reduce maximality to an inequality on increments, verified to sixteen atoms, and explain why local exchange arguments cannot prove it. We also treat negation, exceptions, and background axioms, where normal-form uniqueness still decides equivalence but counting is open.
- Abstract（参考訳）: 人々のために書かれた規則は、原子状態と接続性を修正するが、接続性がどのようにブラケットされているかは開き、各ブラケットは、オートフォーマライザが解決または公開しなければならない異なる論理的読解である。
本研究では,連結骨格の読み書きを派生木とし,論理的等価性による引用が下流で重要な意味を持つ,意図的にあいまいな文脈自由文法であるスコープ文法について検討する。
k$バイナリ接続を持つスケルトンは、$C_k$導出木、$k$-th Catalan番号を持っているが、論理的に異なる読み出しははるかに少ない。
読み取りオンス正規形式の一意性を通じて、最小の共通の祖先によって実現可能な正規形式を特徴付け、演算子語を2ラベル繰り返して数え、最大11個の原子の総列挙に対して検証する。
カウントは逆数と$\wedge/\vee$双対性の下で不変であり、スケルトンが不明瞭であることと、1パステストである$\wedge$と$\vee$の両方を使用する場合に限り、クラス数は少なくとも2^{\lfloor n/3\rfloor}$である。
最大15個の原子の交互パターンは最悪の場合であり、その数は立方体生成関数を持ち、3つのシュレーダー列(OEIS A137842)であり、基礎となる$\varphi^{5/2}\approx3.330$で成長する。
我々は最大性をインクリメントの不等式に還元し、16個の原子に検証し、なぜ局所交換論証が証明できないのかを説明する。
また、否定、例外、背景公理も扱うが、通常の形式的一意性は等価性を決定するが、カウントはオープンである。
関連論文リスト
- Complexity of Grounded Semantics and Preferred Semantics in Finitary Argumentation Frameworks [0.0]
議論フレームワーク(AF)は、人工知能における非単調推論の正式な基盤を提供する。
本稿では,標準決定問題にまたがる計算可能な有限 AF における基底的および優先的意味論の複雑性マッピングを提案する。
論文 参考訳（メタデータ） (2026-10-08T14:10:16Z) - Geometry-Dependent Bounds for Online Non-Monotone DR-Submodular Maximization [55.29259818039367]
凸閉集合上の逆オンライン非負の非単調DR-部分モジュラ函数について検討する。
学習者は、目的を観察する前に各アクションを学習し、後から最高の固定アクションと競合する。
定数対物列は、最適に多くの1次クエリでオフラインの$(4/9-varepsilon)$近似を生成する。
論文 参考訳（メタデータ） (2026-09-30T18:26:29Z) - Optimal entanglement-assisted source coding under a balanced-difference promise [0.0]
絡み合いは、コーディングタスクに必要なコミュニケーションを減らすことができるが、その限界を理解するためには、達成可能な最小コストの確立が不可欠である。
我々は、Aliceが単語を受信し、Bobはその単語を含む無秩序な候補のペアを知っているゼロエラーソースコーディングタスクでこの問題に対処する。
我々は、$(q-1)ell$が偶数であるとき、そのタスクに正確に$n$メッセージが必要であることを証明している。
論文 参考訳（メタデータ） (2026-09-14T15:43:27Z) - Odds Law: The Decomposition Algebra On How Intelligence Organizes Itself to Solve Difficult Problems Reliably [0.5414847001704247]
信頼性は、合成によって配置された独立した情報で購入され、検証者によって拘束されることを示す。
つまり、信頼性は自由でも魔法でもなく、独立した情報で購入され、構成によって配置され、検証者によって拘束される。
論文 参考訳（メタデータ） (2026-06-14T09:53:11Z) - Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair [44.80087038178069]
本稿では,デコーダのみのトランスフォーマーをネイティブに組み込んだトレーニングフレームワークであるTeleological Reasoning Infilling (TRI)を紹介する。
推測では、TRIは二重システムループ内の外科的修復モジュールとして動作する。
3つのベンチマークの実験では、TRIは全てのタスクで最先端のパフォーマンスを達成し、プロブレム当たりのトークン支出を31.2%削減した。
論文 参考訳（メタデータ） (2026-06-03T15:58:48Z) - $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof [0.0]
それらを生成することができる文法の表現力に応じて言語を分類することは、計算言語学における根本的な問題である。
本稿では,各証明が検証された(すなわち,証明支援者によってチェックされる)アルゴリズムに繋がるかどうかを,MCFGを通して解析できるかどうかを体系的に研究する,計算的および証明理論的な視点から,既存の証明を解析する。
論文 参考訳（メタデータ） (2024-05-15T14:51:11Z) - LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers [60.009969929857704]
論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。
本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。
我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
論文 参考訳（メタデータ） (2023-10-23T17:58:40Z) - Efficient Semiring-Weighted Earley Parsing [71.77514972816347]
本稿では,様々なスピードアップを伴うEarey (1970) の文脈自由構文解析アルゴリズムの,推論システムという形での参照記述を提供する。
私たちのプレゼンテーションには、Earey氏の$O(N3|GR|)$から、既知の最悪のランタイム改善が含まれています。
半重み付き推論への一般化を扱い、Stolcke (1995)のような文法を前処理して推論サイクルを排除し、さらに文プレフィックスの重みを計算するStolckeの手法を一般化する。
論文 参考訳（メタデータ） (2023-07-06T13:33:59Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
量子順序付き二項決定図($OBDD$)モデルについて検討する。
入力変数の任意の順序で、OBDDの下位境界と上位境界を証明します。
read$k$-times Ordered Binary Decision Diagrams (k$-OBDD$)の幅の階層を拡張します。
論文 参考訳（メタデータ） (2022-04-22T12:37:56Z) - Complexity assessments for decidable fragments of Set Theory. III: A
quadratic reduction of constraints over nested sets to Boolean formulae [0.0]
変換は、$x=ysetminus z$, $x neq ysetminus z$, $z =x$ という形のリテラルの結合からなる。
対象言語の式は、集合のブール環にまたがる変数と、等式、非可分性、包含性を指定する差分演算子とレギュレータを含む。
提案した翻訳は2次アルゴリズムの時間複雑度を持ち、どちらもNP完全満足度問題を持つことが知られている2つの言語を橋渡しする。
論文 参考訳（メタデータ） (2021-12-09T09:36:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。