論文の概要: From Events to Reasoning: Hierarchical Rule Composition over Explicit States
- arxiv url: http://arxiv.org/abs/2610.22403v1
- Date: Wed, 14 Oct 2026 12:47:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-20 00:56:07.577389
- Title: From Events to Reasoning: Hierarchical Rule Composition over Explicit States
- Title（参考訳）: イベントから推論へ: 明示的国家における階層的ルール構成
- Abstract要約: 本稿では、イベント推論システム(ERS)について、推論状態が明示的なイベントグラフであることを示す。
我々は,許容遷移,タスク依存制御,構成表現性,依存関係保存リビジョン,到達可能なソリューションと予算付きコントローラのギャップを形式化する。
- 参考スコア（独自算出の注目度）: 5.260841516691154
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: What a reasoning system emits is a conclusion; what it owes is a justification. Producing one requires every operation to be admissible on the facts actually available, the dependencies of intermediate results to survive to the end of the path, and the path to be revised when a premise changes. We present the Event Reasoning System (ERS), in which the reasoning state is an explicit event graph. Semantic features nominate candidate objects and rule bindings, and declared rule and task conditions decide which may execute, so candidates that violate the represented period, unit, or evidence constraints cannot enter an accepted reasoning path. Low-level rules provide reusable local transformations, and recursively composable high-level control rules organize subgoals and legal paths under the current goal, information gaps, and budget; a finite library is thereby rebound into paths never stored as complete solutions. We formalize admissible transitions, task-dependent control, compositional expressivity, dependency-preserving revision, and the gap between reachable solutions and those a budgeted controller finds. On structured-event graphs, ERS builds dependency chains of up to twelve steps, cuts irrelevant executed domain operations from 32 to 0 as lookahead grows to 16, and produces no unsupported target output across 24 negative cases; with rules frozen, it passes 12/12 focused checks comprising nine accepted derivations involving unseen input/path combinations and three justified refusals, as well as 6/6 fact-change cases. On fourteen jointly solved development tasks, the recorded dynamic subgoal configuration uses 51.6% less inference wall-clock time than single-level global control under their respective frozen settings.
- Abstract（参考訳）: 推論システムが生み出すものは結論であり、それが負うものは正当化である。
1つを作成するには、実際に利用可能な事実、中間結果の依存関係がパスの最後に残ること、前提が変更されたときに修正されるパスに、すべての操作を許容する必要がある。
本稿では、イベント推論システム(ERS)について、推論状態が明示的なイベントグラフであることを示す。
セマンティックの特徴は、候補オブジェクトとルールバインディングを指名し、宣言されたルールとタスク条件が実行可能かを決定するため、表現された期間、単位またはエビデンス制約に違反した候補は、受け入れられた推論パスに入ることができない。
低レベルのルールは再利用可能なローカル変換を提供し、再帰的に構成可能な高レベルの制御ルールは、現在の目標、情報ギャップ、予算の下でサブゴールと法的なパスを編成する。
我々は,許容遷移,タスク依存制御,構成表現性,依存関係保存リビジョン,到達可能なソリューションと予算付きコントローラのギャップを形式化する。
構造化イベントグラフでは、ERSは最大12ステップの依存性チェーンを構築し、ルックアヘッドが成長するにつれて、実行済みのドメイン操作を32から0に削減し、24の負のケースでサポート対象の出力を生成します。
14の共同で解決された開発タスクにおいて、記録された動的サブゴール構成は、それぞれの凍結条件下でのシングルレベルグローバルコントロールよりも51.6%少ない推論ウォールタイムを使用する。
関連論文リスト
- Runtime Authorization of Self-Generated Subgoals in Long-Horizon Tool-Using AI Agents [4.805352087824778]
ツールごとのパーミッションチェックでは、変更したゴールグラフがプリンシパル承認されたタスク内に留まることを確認できない。
我々は、この認証ギャップを1つのプリンシパルと1つの認証ルートを持つ有限構造領域で解決する。
我々は、明示的な調停、抽象化、新鮮さ、原子性仮定の下で、トレース政治とモデル化された状態保存を証明した。
論文 参考訳（メタデータ） (2026-10-04T05:43:47Z) - Governed Deduction: Policy-Grounded Premise Authorization Beyond Relevance [0.0]
我々はGoverned Deduction (GD) を定式化した。
我々は、同じクエリ前提とポリシー状態のサポートが許可され、消費される遷移を拒否する承認ペア4,461を構築した。
このベンチマークは、関係性を超えたポリシーに基づく認可をインスタンス化するが、凍結された線形表現は関係を回復しない。
論文 参考訳（メタデータ） (2026-09-25T09:24:19Z) - Complex Problem Solving in Large Language Models: A Statistical Control Survey and Diagnostic Framework [52.886947585847594]
大規模言語モデル(LLM)による複雑な問題解決は、しばしばより強い推論やより長い生成の問題としてフレーム化される。
しかし、早期のエラー増幅、迅速な脆さ、誤ったコミットメントを修正する失敗を説明するのは難しい。
本調査はCPSを潜在解状態上の逐次推定・決定問題と解釈する。
論文 参考訳（メタデータ） (2026-09-17T18:28:45Z) - When Stale Constraints Go Unchecked: Budgeted Verification Failures in Inherited Agent Memory [0.0]
証拠リンクは、継承された信条の裏にある証拠を保持しており、検証予算を持つエージェントは、検査するリンクを選択する必要がある。
我々は、決定制約を記述し、ソースレコードを削除したレコードに置き換えた統合記憶について研究する。
16の言語モデルは、落ち着いたように読む制約を再検証することはめったにない。
ひとたび制約が過小評価されると、77.3%、74.7%、74.7%のエピソードが一次実行、複製、保留領域で安定的な決定を下した。
論文 参考訳（メタデータ） (2026-08-26T09:04:21Z) - Grounded Normative Rule Generation with Structured Search [47.28595196084396]
基底ノルム規則合成(GNRS)として問題を定式化する。
GNRS-SearchはMarkov Chain Monte Carlo(MCMC)サンプリングを利用して、離散5スロットアンドオーグラフ(AOG)を最適化するフレームワークである。
GNRS-Benchは8つのシーンにまたがる116の制御目標にまたがるベンチマークであり、RealCharterBenchは53のリアルなポリシータスクに隠れたソース節で遷移を評価する。
論文 参考訳（メタデータ） (2026-08-23T05:43:42Z) - Change-Provenant Supervision: Governing Learned Artifacts Under Policy Change [0.0]
依存グラフは、省略されたエッジを含まないことを証明できない。
学習したアーティファクトにとって、グラフスコープによる無効化は、権限変更後の入場を正当化するものではない。
我々は記録された系統を分離し、影響範囲と依存性の説明を提案する。
論文 参考訳（メタデータ） (2026-08-21T17:40:26Z) - Can We Break LLMs Out of Self-Loops? Fine-Grained Reasoning Control with Activation Steering [44.273459587532535]
大規模言語モデルからの推論トレースにおける潜時遷移のダイナミクスを解析し,発見する。
フェールトラジェクトリが自己ループで立ち往生していることを示し、最終回答に向けて前進することなくトークン予算を浪費する。
隠れ状態干渉・活性化による推論過程のステアリングについて提案する。
論文 参考訳（メタデータ） (2026-07-20T16:01:57Z) - Credo: Declarative Control of LLM Pipelines via Beliefs and Policies [1.0851051226732167]
本稿では,意味的状態を信念として表現し,これらの信念に定義された宣言的ポリシーを用いて行動を制御するクレドについて紹介する。
この設計は、データベースが支援するセマンティックコントロールプレーンを通じて、適応的、監査可能、および構成可能な実行をサポートする。
我々はこれらの概念を、信念とポリシーが決定的な実行選択を宣言的に導く決定制御シナリオで紹介する。
論文 参考訳（メタデータ） (2026-04-15T20:31:48Z) - Verification of Robust Properties for Access Control Policies [51.736723807086385]
既存のアクセス制御ポリシーの検証方法は、検証が進む前に、ポリシーを完全かつ完全に決定する必要がある。
本稿では,政策構造がどのような決定を下すか,どのような決定を下すか,あるいはその後の拡張に拘わらず,その決定を行うかという課題について,ロバストなプロパティ検証を導入する。
可能なすべてのポリシー拡張を普遍的に定量化しているにもかかわらず、判断は二階述語論理プログラミング言語における探索の証明に還元されることを示す。
論文 参考訳（メタデータ） (2026-03-13T17:14:38Z) - Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible [49.084647802326366]
本稿では,Nesyにおけるラベルに基づく推論プロセスをラベルのない検証プロセスに変換する,新しい学習パラダイムであるVerification Learning(VL)を紹介する。
VLは、ラベルのないデータと、現在の予測が規則に準拠しているかどうかを検証する関数にのみ依存することにより、優れた学習結果を得る。
我々の理論的分析は、Nesyシステム内のどのタスクがラベルなしで完了できるかを指摘し、なぜルールが無限ラベルを置き換えられるのかを説明している。
論文 参考訳（メタデータ） (2025-03-17T08:28:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。