論文の概要: Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness

• arxiv url: http://arxiv.org/abs/2607.20729v1
• Date: Wed, 22 Jul 2026 21:02:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-24 18:26:25.221235
• Title: Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness
• Title（参考訳）: 運用上のアイデンティティ: 宣言および実装された同義性のルールの有限監査
• Abstract要約: システムは一貫して適用でき、各レコードが個別に正しく、アーティファクトが宣言しない同じルールを適用できる。 宣言されたアイデンティティ構造は、有限レコードドメインを共参照クラスに分割する。 開示されたメカニズムは、同一ドメインの操作ID分割を誘導する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A record system declares when two records refer to the same entity, occurrence, scope, or rule. Its disclosed implementation mechanisms induce a corresponding operational identity relation. The declared and implemented relations may diverge systematically without producing a provenance gap or detectable contradiction. A system can apply, consistently and with every record individually correct, a rule of sameness that no artifact declares. This paper formalizes that implemented relation. A declared identity regime partitions a finite record domain into co-reference classes; a disclosed mechanism, through its typed identity-relevant outcomes, induces an operational identity partition of the same domain. The audit compares these partitions in the refinement lattice. A mechanism is faithful when the declared partition refines the operational partition, so no declared class is split. A divergence witness is a pair the declaration merges and the mechanism separates; such witnesses are decidable by pair enumeration. When an imported sibling basis also splits a declared class, local comparison with its partition yields sibling-aligned, sub-sibling, super-sibling, or sibling-incomparable divergence. This result reports only the relationship; it does not identify the basis carried by the mechanism. Global equality of the operational and sibling partitions is defined separately as regime substitution and does not follow from sibling alignment. A version field incremented on every textual edit inhabits the sub-sibling case by splitting declared classes more finely than either imported basis. The audit is three-valued and relative to the disclosed artifacts, evaluated surfaces, and identified uses; each boundary has a finite refuting witness. A passing verdict is non-monotone because extending the transformation history can merge declared classes and create a witness among records already examined.
• Abstract（参考訳）: レコードシステムは、2つのレコードが同じ実体、発生、範囲、または規則を指すときに宣言する。 その開示された実装メカニズムは、対応する操作ID関係を誘導する。 宣言および実装された関係は、証明的ギャップや検出可能な矛盾を生じさせることなく、体系的に分岐することができる。 システムは、どのレコードも個別に正しく適用でき、成果物が宣言しない同じルールを適用できる。 本稿では,その関係を定式化した。 宣言されたアイデンティティ構造は、有限レコードドメインを共参照クラスに分割する。 監査は、これらの分割を精製格子で比較する。 宣言されたパーティションがオペレーションパーティションを洗練させると、メカニズムは忠実になるため、宣言されたクラスは分割されない。 異端の証人は、宣言が合体し、メカニズムが分離する対であり、そのような証人はペア列挙によって決定可能である。 インポートされた兄弟姉妹基底も宣言されたクラスを分割すると、その分割との局所的な比較は兄弟同列、サブ兄弟、スーパー兄弟、または兄弟同伴不能な分岐をもたらす。 この結果は関係のみを報告し、メカニズムが持つ基盤を特定しない。 運用および兄弟分断のグローバルな平等は、別々にレギュレーション置換として定義され、兄弟分断から従わない。 テキスト編集毎に増補されたバージョンフィールドは、宣言されたクラスをインポートされたベースよりも細かく分割することで、サブシブリングケースに生息する。 監査は、開示された人工物、評価された表面、および特定された用途に対して3つの評価がなされている。 トランスフォーメーション履歴を拡張することで、宣言されたクラスをマージし、すでに調査済みのレコード間で証人を作成することができるため、通過する判定はモノトーンではない。

関連論文リスト

• Common-Witness Certificates and Sharp Feature Bounds for Counterfactual Image Auditing [0.0]
  画像エディタは、単一の潜伏説明が完全な出力に合わない場合でも、各可視性制約を別々に満たすことができる。 我々は,この局所的・言語的失敗を,共通の目撃者格と目撃者の神経を用いて定式化する。
  論文  参考訳（メタデータ） (2026-09-03T15:09:52Z)
• VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
  テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。 それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。 我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
  論文  参考訳（メタデータ） (2026-09-02T20:36:45Z)
• A Symmetric Layer-Union Audit of Component Collapse in Hierarchical Procedural Corpora [0.0]
  コンポーネント非結合の漏洩制御は、コンテンツ類似性、階層的メンバシップ、あるいはその両方でコーパス単位をグループ化することができる。 Guvenilir氏とDogan氏は以前、マージ関係型は分割を妨げる巨大なコンポーネントを作ることができることを示した。 本研究では,6つの階層的手続きコーパスの固定パネルにおいて,コンテント近傍の二重層,共通コンテナ層,およびそれらの結合の対称監査を通して検討した。
  論文  参考訳（メタデータ） (2026-08-09T20:13:17Z)
• From ambiguous utterances to governed reuse classes: canonicalization, quotient invariance, and conditional decidability [0.0]
  再利用は、解決された会話要求の数学的に特徴付けられた商に対して行われるべきである。 リユースIDは、管理されたクエリキーとその認定された応答空間をライセンスする。 支持層は、正確に証明された強度で記述される。
  論文  参考訳（メタデータ） (2026-07-11T01:49:04Z)
• ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs [2.054408744752205]
  ScratchLensは因果発散現象と観察レンズの分類によって行動等価性を明示する。 Scratchプロジェクトは、型付きリソースとセマンティックトランザクションの因果IRにコンパイルし、リネーム、ガード、プロシージャボディを標準化し、Mazurkiewiczと同一のトリガーを通常のフォームに割り当てる。 ScratchLensは、実際のScratchプロジェクトのVM知能突然変異コーパス上で、検証済みのすべてのペアを決定し、目撃された異なるペアに対して0/158の偽等価なクレームを生成する。
  論文  参考訳（メタデータ） (2026-06-14T13:38:35Z)
• Interpretation, Learning, and Empathy as One Constraint: A Residual-Adequacy Architecture with Accountable Abstention [0.0]
  一つの量から限界が生じる小さな認知アーキテクチャを開発する。 解釈決定ユニット(IDU)は、コンテントベクトルをレギュレーションのファミリを通じて解釈し、ライセンスするアクションを決定する。 任意のコンテンツと固定構成に対して、ユニークな端末証人を持つ有限個の有界コストステップで停止する。
  論文  参考訳（メタデータ） (2026-05-24T10:57:28Z)
• Semantic Needles in Document Haystacks: Sensitivity Testing of LLM-as-a-Judge Similarity Scoring [39.19569497931068]
  文書比較の微妙な意味変化に対してLLM感度を探索するスケーラブルな多要素実験フレームワークを提案する。 LLMは文書内位置バイアスを呈するなど,いくつかの顕著な知見が得られた。 提案フレームワークは,現在および将来のモデル間でのスコアリング動作の監査と比較を行うための,実用的でLCMに依存しないツールキットを提供する。
  論文  参考訳（メタデータ） (2026-04-20T20:59:25Z)
• CORG: Generating Answers from Complex, Interrelated Contexts [57.213304718157985]
  現実世界のコーパスでは、知識は文書間で頻繁に再帰するが、曖昧な命名、時代遅れの情報、エラーのためにしばしば矛盾を含む。 以前の研究では、言語モデルはこれらの複雑さに苦しむことが示されており、典型的には孤立した単一要因に焦点を当てている。 複数のコンテキストを個別に処理されたグループに整理するフレームワークであるContext Organizer (CORG)を紹介する。
  論文  参考訳（メタデータ） (2025-04-25T02:40:48Z)
• Appeal: Allow Mislabeled Samples the Chance to be Rectified in Partial Label Learning [55.4510979153023]
  部分ラベル学習(PLL)では、各インスタンスは候補ラベルのセットに関連付けられ、そのうち1つだけが接地真実である。 誤記されたサンプルの「アペアル」を支援するため,最初の魅力に基づくフレームワークを提案する。
  論文  参考訳（メタデータ） (2023-12-18T09:09:52Z)
• Aggregating Pairwise Semantic Differences for Few-Shot Claim Veracity Classification [21.842139093124512]
  本稿では,新しいベクトルベース手法であるSEEDを導入する。 クラス内のクレーム-エビデンス対の平均意味的差異を捉えるクラス代表ベクトルをシミュレートできるという仮説に基づいて構築する。 FEVERとSCIFACTデータセットで実施された実験では、数ショット設定で競合するベースラインよりも一貫した改善が見られた。
  論文  参考訳（メタデータ） (2022-05-11T17:23:37Z)
• GERE: Generative Evidence Retrieval for Fact Verification [57.78768817972026]
  本稿では,ジェネレーション方式で証拠を検索する最初のシステムであるGEREを提案する。 FEVERデータセットの実験結果は、GEREが最先端のベースラインよりも大幅に改善されていることを示している。
  論文  参考訳（メタデータ） (2022-04-12T03:49:35Z)
• Instance Similarity Learning for Unsupervised Feature Representation [83.31011038813459]
  教師なし特徴表現のための例類似性学習(ISL)手法を提案する。 我々はGAN(Generative Adversarial Networks)を用いて、基礎となる特徴多様体をマイニングする。 画像分類実験は, 最先端手法と比較して, 提案手法の優位性を示した。
  論文  参考訳（メタデータ） (2021-08-05T16:42:06Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。