論文の概要: Credo: Declarative Control of LLM Pipelines via Beliefs and Policies

• arxiv url: http://arxiv.org/abs/2604.14401v1
• Date: Wed, 15 Apr 2026 20:31:48 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-17 21:29:31.601396
• Title: Credo: Declarative Control of LLM Pipelines via Beliefs and Policies
• Title（参考訳）: Credo: 信念と政策によるLCMパイプラインの宣言的制御
• Authors: Duo Lu, Andrew Crotty, Uğur Çetintemel,
• Abstract要約: 本稿では,意味的状態を信念として表現し,これらの信念に定義された宣言的ポリシーを用いて行動を制御するクレドについて紹介する。 この設計は、データベースが支援するセマンティックコントロールプレーンを通じて、適応的、監査可能、および構成可能な実行をサポートする。 我々はこれらの概念を、信念とポリシーが決定的な実行選択を宣言的に導く決定制御シナリオで紹介する。
• 参考スコア（独自算出の注目度）: 1.0851051226732167
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Agentic AI systems are becoming commonplace in domains that require long-lived, stateful decision-making in continuously evolving conditions. As such, correctness depends not only on the output of individual model calls, but also on how to best adapt when incorporating new evidence or revising prior conclusions. However, existing frameworks rely on imperative control loops, ephemeral memory, and prompt-embedded logic, making agent behavior opaque, brittle, and difficult to verify. This paper introduces Credo, which represents semantic state as beliefs and regulates behavior using declarative policies defined over these beliefs. This design supports adaptive, auditable, and composable execution through a database-backed semantic control plane. We showcase these concepts in a decision-control scenario, where beliefs and policies declaratively guide critical execution choices (e.g., model selection, retrieval, corrective re-execution), enabling dynamic behavior without requiring any changes to the underlying pipeline code.
• Abstract（参考訳）: エージェントAIシステムは、継続的に進化する状況において、長命でステートフルな意思決定を必要とする領域で一般的なものになりつつある。 そのため、正確性は個々のモデルコールの出力だけでなく、新しいエビデンスを取り入れたり、事前の結論を改訂する際の最適な適応方法にも依存する。 しかし、既存のフレームワークは命令制御ループ、短命メモリ、迅速な組込みロジックに依存しており、エージェントの動作が不透明で不安定で、検証が難しい。 本稿では,意味的状態を信念として表現し,これらの信念に定義された宣言的ポリシーを用いて行動を制御するクレドについて紹介する。 この設計は、データベースが支援するセマンティックコントロールプレーンを通じて、適応的、監査可能、および構成可能な実行をサポートする。 このシナリオでは、信念とポリシーが決定的に重要な実行選択(例えば、モデル選択、検索、修正的再実行)をガイドし、基盤となるパイプラインコードの変更を必要とせずに動的動作を可能にする。

関連論文リスト

• Verification of Robust Properties for Access Control Policies [51.736723807086385]
  既存のアクセス制御ポリシーの検証方法は、検証が進む前に、ポリシーを完全かつ完全に決定する必要がある。 本稿では,政策構造がどのような決定を下すか,どのような決定を下すか,あるいはその後の拡張に拘わらず,その決定を行うかという課題について,ロバストなプロパティ検証を導入する。 可能なすべてのポリシー拡張を普遍的に定量化しているにもかかわらず、判断は二階述語論理プログラミング言語における探索の証明に還元されることを示す。
  論文  参考訳（メタデータ） (2026-03-13T17:14:38Z)
• Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems [0.0]
  Farameshはプロトコルに依存しない実行制御プレーンで、エージェント駆動アクションの実行時間認証を強制する。 これらのプリミティブが自律的な実行に対して、強制可能で予測可能なガバナンスを実現する方法を示します。
  論文  参考訳（メタデータ） (2026-01-25T08:27:27Z)
• Deriving Character Logic from Storyline as Codified Decision Trees [67.01182739162142]
  ロールプレイング(RP)エージェントは、さまざまな物語の文脈で一貫して行動するために行動プロファイルに依存する。 大規模物語データから実行可能かつ解釈可能な決定構造を誘導するデータ駆動型フレームワークであるCDT(Condified Decision Trees)を提案する。
  論文  参考訳（メタデータ） (2026-01-15T05:12:43Z)
• Executable Ontologies in Game Development: From Algorithmic Control to Semantic World Modeling [51.56484100374058]
  我々は,実行可能オントロジー(EO)が,アルゴリズム行動プログラミングからセマンティックワールドモデリングへ移行したことを論じる。 本稿では,EOが明示的なプリエンプションロジックではなく,データフロー条件によるタスク割り込みを優先的に行う方法を示す。
  論文  参考訳（メタデータ） (2026-01-12T19:57:35Z)
• ACT: Agentic Classification Tree [33.65390081055222]
  本稿では,各分割を自然言語質問として定式化することにより,決定木手法を非構造化入力に拡張するエージェント分類木(ACT)を提案する。 テキストベンチマークの実験では、ACTは透過的で解釈可能な決定パスを生成しながら、プロンプトベースのベースラインと一致またはオーバーしている。
  論文  参考訳（メタデータ） (2025-09-30T15:54:08Z)
• Making Prompts First-Class Citizens for Adaptive LLM Pipelines [46.59482681672941]
  当社のビジョンと,迅速な管理ギャップを埋める言語とランタイムであるSPEARの初期設計について説明する。 SPEARは、パイプライン内でプロンプトを構築し、適応する方法を管理するプロンプト代数を定義する。 プロンプト論理を構造化データとして扱うことで、SPEARは演算子融合、プレフィックスキャッシュ、ビュー再利用などの最適化を可能にする。
  論文  参考訳（メタデータ） (2025-08-07T03:49:56Z)
• Few-shot Policy (de)composition in Conversational Question Answering [54.259440408606515]
  本稿では,大規模言語モデル(LLM)を用いて数ショット設定でポリシーコンプライアンスを検出するニューラルシンボリックフレームワークを提案する。 提案手法は,回答すべきサブクエストを抽出し,文脈情報から真理値を割り当て,与えられたポリシーから論理文の集合を明示的に生成することで,政策コンプライアンスに関する会話に対して健全な理由を示す。 本手法は,PCDおよび会話機械読解ベンチマークであるShARCに適用し,タスク固有の微調整を伴わずに競合性能を示す。
  論文  参考訳（メタデータ） (2025-01-20T08:40:15Z)
• Dichotomy of Control: Separating What You Can Control from What You Cannot [129.62135987416164]
  政策の制御(行動)と政策の制御(環境)以外のメカニズムを分離する将来の条件付き教師あり学習フレームワークを提案する。 我々は,DoCが条件付入力と整合したポリシを出力し,学習したポリシを所望のハイリターン未来結果に条件付けすることで,高リターン行動が正しく引き起こされることを示す。
  論文  参考訳（メタデータ） (2022-10-24T17:49:56Z)
• Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming [2.3204178451683264]
  本稿では,動的一貫性チェック(Dynamic Consistency check)と呼ばれるトップダウン評価戦略のバリエーションを示す。 これにより、リテラルがプログラムのグローバルな制約に関連する否定と互換性がないかどうかを判断できる。 我々は、標準バージョンのs(CASP)の最大90倍のスピードアップを実験的に観察した。
  論文  参考訳（メタデータ） (2021-10-22T20:38:48Z)

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

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