論文の概要: Ontological Knowledge Blocks: Executable Compliance and Profile-Based Validation for Trustworthy AI Systems

• arxiv url: http://arxiv.org/abs/2605.23297v1
• Date: Fri, 22 May 2026 07:14:31 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-25 17:29:20.234248
• Title: Ontological Knowledge Blocks: Executable Compliance and Profile-Based Validation for Trustworthy AI Systems
• Title（参考訳）: オントロジー知識ブロック:信頼できるAIシステムに対する実行可能なコンプライアンスとプロファイルベースの検証
• Authors: Aasish Kumar Sharma, Julian M. Kunkel,
• Abstract要約: 本稿では,規制義務を機械チェック可能な制約にコンパイルするプログラム可能なガバナンス基盤であるオントロジー知識ブロック(OKB)を紹介する。 決定論的規制コンパイラは構造化された中間表現(IR)レコードを構成可能なKBモジュールに変換し、プロファイルベースのガバナンス前駆を可能にする。 その結果、プロファイルに敏感な検証、厳密な付加的な違反の蓄積、SHACL検証の再設定のレイテンシーが12.6msから100.3ms、プロファイル等価性テストが厳密な包括的プロファイルとして確認された。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: AI-enabled services deployed in critical digital infrastructure are subject to governance obligations spanning transparency, accountability, fairness, and traceability. Compliance today remains documentation-centric: obligations are described in prose, audits rely on static checklists, and verification depends on manual review. Such approaches do not scale to automated AI systems. This paper introduces Ontological Knowledge Blocks (OKBs), a programmable governance infrastructure that compiles regulatory obligations into machine-checkable constraints over structured evidence graphs. We formalize an OKB as a 5-tuple that binds normative obligations to an RDF/OWL concept schema, executable SHACL validation rules, explicit evidence requirements, and PROV-O provenance links. A deterministic regulatory compiler translates structured Intermediate Representation (IR) records into composable KB modules, enabling profile-based governance reconfiguration without modifying service code. We implement two prototypes and evaluate them in an AI-assisted HPC resource allocation scenario across 24 validation runs and four governance profiles. Results demonstrate profile-sensitive validation, strictly additive violation accumulation, SHACL validation latency between 12.6 ms and 100.3 ms, and profile equivalence testing confirming Combined as the strictly most comprehensive profile. All artefacts are released as open source.
• Abstract（参考訳）: 重要なデジタルインフラストラクチャにデプロイされるAI対応サービスは、透明性、説明責任、公正性、トレーサビリティにまたがるガバナンス義務を負う。 義務は散文で説明され、監査は静的チェックリストに依存し、検証は手作業によるレビューに依存します。 このようなアプローチは、自動化されたAIシステムにスケールしない。 本稿では,構造化エビデンスグラフ上の機械チェック可能な制約に規制義務をコンパイルする,プログラム可能なガバナンス基盤であるオントロジー知識ブロック(OKB)を紹介する。 我々は、標準義務をRDF/OWL概念スキーマ、実行可能なSHACL検証ルール、明示的なエビデンス要件、PROV-O証明リンクにバインドする5タプルとしてOKBを形式化する。 決定論的規制コンパイラは構造化された中間表現(IR)レコードを構成可能なKBモジュールに変換し、サービスコードを変更することなくプロファイルベースのガバナンス再構成を可能にする。 我々は,2つのプロトタイプを実装し,AI支援型HPCリソース割り当てシナリオにおいて,検証実行24回,ガバナンスプロファイル4回で評価する。 その結果、プロファイルに敏感な検証、厳密な追加的違反の蓄積、SHACL検証のレイテンシが12.6msから100.3ms、プロファイル等価性テストが厳密な総合的なプロファイルとして確認された。 すべての成果物はオープンソースとしてリリースされている。

関連論文リスト

• Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation [0.0]
  以前の3層ガバナンスアーキテクチャは、ガバナンスの完全性、証明の完全性、そして過度な効果の不可能性を証明します。 本稿は4つのメカニズムを通してギャップを埋める。 構成による構造的純度、BEAMの5つのバイパスクラスすべてに対する排除、証明書の完全性、ゲート完全性という4つの定理を証明します。
  論文  参考訳（メタデータ） (2026-05-01T19:04:37Z)
• Compliance-by-Construction Argument Graphs: Using Generative AI to Produce Evidence-Linked Formal Arguments for Certification-Grade Accountability [0.0]
  本稿では、生成AI(GenAI)と構造化された形式的引数表現を統合したコンプライアンス・バイ・コンストラクションアーキテクチャを提案する。 アーキテクチャは、各AI支援ステップを、検証済みの証拠によって支持され、明示的な推論制約に対して検証されなければならないクレームとして扱う。 この分析は、GenAIが議論構築を加速させながら、疑わしい主張が決定記録に入るのを防ぐことができることを示唆している。
  論文  参考訳（メタデータ） (2026-04-05T12:55:16Z)
• Composable Attestation: A Generalized Framework for Continuous and Incremental Trust in AI-Driven Distributed Systems [4.2822349607372265]
  本稿では,分散システムにおける連続的・漸進的信頼のための汎用的な暗号フレームワークとして,コンポーザブル証明を提案する。 このような証明システムのコア特性を定義する厳密な数学的基盤を確立する。 このフレームワークのユーティリティは、セキュアなAIモデルの完全性検証、フェデレーション学習、ランタイム信頼保証といったアプリケーションにまで拡張されている。
  論文  参考訳（メタデータ） (2026-03-02T22:45:26Z)
• "Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems [2.2981698355892686]
  本稿では,新しいMLOps検証フレームワークであるZKMLOpsを紹介する。 ZKP(Zero-Knowledge Proofs)暗号プロトコルを運用し、証明者が証明者に対して、文が真実であることを納得させることができる。 我々は、金融リスク監査における規制コンプライアンスの研究を通じて、この枠組みの実践性を評価する。
  論文  参考訳（メタデータ） (2025-10-30T15:03:32Z)
• OpenFactCheck: Building, Benchmarking Customized Fact-Checking Systems and Evaluating the Factuality of Claims and LLMs [59.836774258359945]
  OpenFactCheckは、カスタマイズされたファクトチェックシステムを構築するためのフレームワークである。 ユーザーは自動的にファクトチェッカーをカスタマイズし、文書やクレームの事実的正当性を検証できる。 CheckerEVALは、人間の注釈付きデータセットを使用して、自動ファクトチェッカーの検証結果の信頼性を高めるソリューションである。
  論文  参考訳（メタデータ） (2024-05-09T07:15:19Z)
• A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
  システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。 コントローラと証明書を形式的に合成する自動化手法を提案する。 我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
  論文  参考訳（メタデータ） (2023-09-12T09:37:26Z)
• Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) [67.99023219822564]
  我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。 RABは両方の制限を解除することで既存のモデルを一般化する。 データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
  論文  参考訳（メタデータ） (2022-08-12T17:03:50Z)

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

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