論文の概要: Fifty Years of Specification Completeness: What Aviation Certification Tells AI Governance About Epoch Limits, Proof Surfaces, and the Structural Gap
- arxiv url: http://arxiv.org/abs/2606.25120v1
- Date: Tue, 23 Jun 2026 19:51:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-25 17:05:30.130586
- Title: Fifty Years of Specification Completeness: What Aviation Certification Tells AI Governance About Epoch Limits, Proof Surfaces, and the Structural Gap
- Title（参考訳）: 仕様の完成から50年: 航空認証は、エポック限界、証明面、構造ギャップに関するAIガバナンスを指示する
- Authors: Christo Zietsman,
- Abstract要約: 1992年以降、航空ソフトウェア認証は管理ソフトウェアシステムの3つの構造的要件を運用している。
これらの要件は DO-178C と DO-330 に現れ、FAA と EASA の認証によって強制される。
個々のAIガバナンス文書の固有の性質として、これらの構造的特性を必要としない。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Aviation software certification has operationalised three structural requirements for governed software systems since 1992: structured governance linkage between governing specifications and operational evidence, context-bounded validity that triggers revalidation when operational context changes, and an objective evidence architecture that defines what proof means and what makes it sufficient. These requirements appear in DO-178C and DO-330 and are enforced through FAA and EASA certification. No existing framework requires these structural properties as intrinsic properties of individual AI governance documents. A system prompt, an AGENTS.md file, a governance policy, or a task envelope can be deployed without satisfying any of the three requirements aviation has enforced for three decades. Aviation is the most technically rigorous instance: its standard-setting bodies have acknowledged that their frameworks break down for AI systems, yet none requires these properties of individual governance documents. Aviation's structural requirements break down at the system level because AI systems are non-deterministic, but remain transferable at the document level: the governance artifact is a static artifact whose structural properties can be evaluated independently of the stochastic system it governs. The paper maps DO-178C's traceability architecture, DO-330's requalification triggers, and DO-178C's objective evidence requirements onto three structural findings: epoch limits on governance document validity, proof surfaces as the revalidation feedback mechanism, and the absence of structural completeness requirements in AI governance instruments. An empirical companion (arXiv:2604.21090) found that 37% of AI governance documents fall below the structural quality threshold. PromptQ's seven-principle framework operationalises these requirements at the governance document layer.
- Abstract（参考訳）: 1992年以降、航空ソフトウェア認証は、管理するソフトウェアシステムに関する3つの構造的要件を運用している。
これらの要件は DO-178C と DO-330 に現れ、FAA と EASA の認証によって強制される。
個々のAIガバナンス文書の固有の性質として、これらの構造的特性を必要としない。
システムプロンプト、エージェントS.mdファイル、ガバナンスポリシー、タスクエンベロープは、30年間実施されてきた3つの要件のいずれかを満たすことなくデプロイすることができる。
標準設定された組織は、彼らのフレームワークがAIシステムのために壊れていることを認めていますが、個々のガバナンス文書のこれらの特性は必要ありません。
AIシステムは決定論的ではないが、文書レベルでは転送可能である:ガバナンスアーティファクトは、それが管理する確率的なシステムとは独立して構造的特性を評価することができる静的アーティファクトである。
この論文は、DO-178Cのトレーサビリティアーキテクチャ、DO-330の再資格化のトリガー、DO-178Cの客観的エビデンス要件を3つの構造的発見にマッピングする。
経験的コンパニオン(arXiv:2604.21090)は、AIガバナンス文書の37%が構造的品質閾値以下であることを示した。
PromptQの7つの原則フレームワークは、これらの要求をガバナンス文書層で運用する。
関連論文リスト
- Definitional alignment before capability alignment: a Design-Science framework for adjudicating claims about AGI [0.0]
AGIは単一の共有かつ安定した参照がなく、競合するオペレーティングは同一システム上で異なる検証を返すことができる。
この記事では、設計とガバナンスの問題として、その過小評価を扱います。
論文 参考訳（メタデータ） (2026-06-10T22:04:56Z) - VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents [57.240036084348354]
本稿では,ロボットスキルコントラクトの検証誘導自己進化のためのフレームワークであるVASOを紹介する。
VASOは論理的に一貫性のないスキル契約を検証し、グローバルおよびローカルな時間的仕様に対してスキルによって誘発される計画を検証する。
Clearpath Jackal と PX4 のクアッドコプタータスクでは、VASO は100点未満の最適化サンプルを使用して97.2% の形式的な仕様準拠に達した。
論文 参考訳（メタデータ） (2026-06-03T20:02:35Z) - Citation-Closure Retrieval and Per-Rule Attribution for Real-World Regulatory Compliance Question Answering [54.97384993676565]
複雑な国内R&D規制から派生した運用知識グラフを特徴とする,新たなベンチマークであるRegOps-Benchを用いて,レギュレーションコンプライアンスQAを形式化する。
RefWalkはクロスドキュメントの引用を横切り、マックスベースのアグリゲーションを通じてマルチビュー候補を融合させ、ソースへのクレームを明示的にマッピングするためにルールごとの属性を強制する。
論文 参考訳（メタデータ） (2026-05-28T10:38:38Z) - Ontological Knowledge Blocks: Executable Compliance and Profile-Based Validation for Trustworthy AI Systems [0.0]
本稿では,規制義務を機械チェック可能な制約にコンパイルするプログラム可能なガバナンス基盤であるオントロジー知識ブロック(OKB)を紹介する。
決定論的規制コンパイラは構造化された中間表現(IR)レコードを構成可能なKBモジュールに変換し、プロファイルベースのガバナンス前駆を可能にする。
その結果、プロファイルに敏感な検証、厳密な付加的な違反の蓄積、SHACL検証の再設定のレイテンシーが12.6msから100.3ms、プロファイル等価性テストが厳密な包括的プロファイルとして確認された。
論文 参考訳（メタデータ） (2026-05-22T07:14:31Z) - Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework [0.0]
我々は、AIが構造的に完成しているかどうかを評価するためのフレームワークを導入する。
評価の結果,評価されたファイルモデルペアの37%がしきい値以下であることが判明した。
本稿では,AI支援開発における工学的要件の実践の意義について論じる。
論文 参考訳（メタデータ） (2026-04-22T21:18:28Z) - PRISMA: Toward a Normative Information Infrastructure for Responsible Pharmaceutical Knowledge Management [0.0]
薬局におけるAIへの既存のアプローチのほとんどは、3つの異なる操作を単一の技術的レイヤに分解する。
本稿では,責任知識管理のための規範情報アーキテクチャとして,PATOS-Lector-PRISMA(PLP)インフラストラクチャを提案する。
論文 参考訳（メタデータ） (2026-03-27T11:43:49Z) - Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement [0.0]
本稿では,自律型AIシステムのためのランタイムガバナンスアーキテクチャであるAegisについて述べる。
エージスは政策と法的制約を諮問の原則よりも実行条件として扱う。
論文 参考訳（メタデータ） (2026-03-15T04:04:57Z) - Safe and Certifiable AI Systems: Concepts, Challenges, and Lessons Learned [45.44933002008943]
この白書は、T"UV AUSTRIA Trusted AIフレームワークを提示する。
エンド・ツー・エンドの監査カタログであり、機械学習システムの評価と認定のための方法論である。
セキュアなソフトウェア開発、機能要件、倫理とデータプライバシという3つの柱の上に構築されているのは、EU AI Actの高レベルの義務を、特定かつテスト可能な基準に翻訳するものです。
論文 参考訳（メタデータ） (2025-09-08T17:52:08Z) - Watermarking Without Standards Is Not AI Governance [46.71493672772134]
現在の実装は、効果的な監視を提供するのではなく、象徴的なコンプライアンスとして機能するリスクがある、と私たちは主張する。
本稿では,技術標準,監査インフラストラクチャ,実施機構を含む3層フレームワークを提案する。
論文 参考訳（メタデータ） (2025-05-27T18:10:04Z) - RIRAG: Regulatory Information Retrieval and Answer Generation [51.998738311700095]
本稿では,質問を自動生成し,関連する規制通路と組み合わせる,問合せペアを生成するタスクを紹介する。
我々は、Abu Dhabi Global Markets (ADGM) の財務規制文書から得られた27,869の質問を含むObliQAデータセットを作成する。
本稿では,RIRAG(Regulation Information Retrieval and Answer Generation)システムをベースラインとして設計し,新しい評価基準であるRePASを用いて評価する。
論文 参考訳（メタデータ） (2024-09-09T14:44:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。