論文の概要: PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering
- arxiv url: http://arxiv.org/abs/2608.02630v1
- Date: Sun, 26 Jul 2026 17:44:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-05 15:30:22.868774
- Title: PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering
- Title（参考訳）: PULSE: 時空間知識グラフエンジニアリングのための実行可能契約言語
- Abstract要約: PULSEはObject-Process-Methodologyにインスパイアされた言語で、4つの運用ロールをローカライズし、その書き込み効果を1つの型付きランタイムで表現する。
実装されたコントラクトは、非オーバーライト、ブランチアイソレーション、接地されたマルチオブジェクトタイマー、ガードされた状態変更、時間と空間に関する宣言付きイベント順序のエビデンスを修正する。
Lean 4は、位置、エビデンス、クロック、モニター、アトミック性、ブランチソース保持のカーネルアナログをチェックする。
- 参考スコア（独自算出の注目度）: 2.2262915480980063
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Knowledge graph engineering often distributes accepted state, observations, constraints, processes, and hypothetical scenarios across artifacts whose combined execution contract remains external. We present PULSE, an Object-Process-Methodology-inspired language that localizes four operational roles and their write effects in one typed runtime. Here, modes denote operational roles rather than modal or deontic logic. The implemented contract fixes evidence non-overwrite, branch isolation, grounded multi-subject timers, guarded state change, and declaration-ranked event ordering over time and space; an external runner still decides whether evidence becomes an authoritative move. GeoSPARQL, SOSA, and SHACL remain generated views. A core calculus gives an effect-confinement lemma and six safety properties. Lean 4 checks kernel analogues for positions, evidence, clocks, monitors, atomicity, and branch source retention; 88 tests, 3,534 bounded checks, and 32 Lean/Python runtime-kernel cases bound the implementation claim to the checked cases. First-author implementations of a standards composition and a separate Sismic statechart reproduce the tested cold-chain trace. Across 37,440 generated temporal traces, PULSE matches a separate workflow and distinguishes ten single-field mutants. On the complete NOAA IBTrACS since1980 subset it agrees with GEOS and an event sweep on 1,476,290 transition-zone pairs, including 4,800 sampled and 12,831 duration-qualified events. Project-specific GeoSPARQL probes measure interface coverage. Overall, the results support contract localization, safety arguments, and trace parity for the tested fragment; language superiority and usability remain outside the evaluation.
- Abstract（参考訳）: 知識グラフエンジニアリングは、しばしば受け入れられた状態、観察、制約、プロセス、仮説のシナリオを、複合的な実行契約が外部にあるアーティファクトに分散する。
PULSEはObject-Process-Methodologyにインスパイアされた言語で、4つの運用ロールをローカライズし、その書き込み効果を1つの型付きランタイムで表現する。
ここでモードは、モーダル論理やデオン論理よりも操作的な役割を表す。
実装されたコントラクトは、非オーバーライト、ブランチアイソレーション、接地されたマルチオブジェクトタイマー、ガードされた状態変更、時間と空間による宣言付きイベント順序のエビデンスを修正する。
GeoSPARQL、SOSA、SHACLは生成ビューのままである。
コア電卓は効果集中補題と6つの安全特性を与える。
Lean 4は、位置、エビデンス、クロック、モニター、原子性、ブランチソースの保持、88のテスト、3,534のバウンドチェック、32のLean/Pythonランタイムカーネルケースのカーネルアナログをチェックする。
標準構成とSismic Statechartの第一著者による実装は、テストされたコールドチェーントレースを再現する。
37,440件の時間的トレースが生成され、PULSEは別個のワークフローにマッチし、10個の単一フィールド変異体を区別する。
1980年以降の完全なNOAA IBTrACSではGEOSと一致し、4,800のサンプルと12,831の期間限定イベントを含む1,476,290のトランジションゾーンペアでイベントスイープを行う。
プロジェクト固有のGeoSPARQLプローブはインターフェースカバレッジを測定する。
全体として、テストされたフラグメントのコントラクトのローカライゼーション、安全性引数、トレースパリティをサポートします。
関連論文リスト
- PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Conditional Multi-Event Temporal Grounding in Long-Form Video [19.941856770065854]
既存のベンチマークは、クエリ毎に1つのモーメントだけをローカライズするか、時間的条件なしでカウントするか、グラウンドとカウントを非結合タスクとして扱います。
我々は,CoMET-Bench for Multi-Event Temporal Grounding in long-form video, includes 2789 query over 600 video a averageging 33.8 minutes across 5 real-world domain。
提案するCoMET-Agentは,F1@0.5をGPT-5より6.1%改善し,構造化検索・集約としてタスクを再構築するフリーエージェントフレームワークである。
論文 参考訳（メタデータ） (2026-06-13T14:27:58Z) - A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking [0.5076419064097734]
有限非アベリア群追跡のためのホールドアウト遷移ペアファルシファイアを導入する。
制御された$S_3 times S_3$ベンチマークでは、長さ8列のみに基づいてトレーニングされた投影されたリカレント状態モデルがエラーのない最終状態予測を生成する。
論文 参考訳（メタデータ） (2026-06-05T13:26:41Z) - ClawForge: Generating Executable Interactive Benchmarks for Command-Line Agents [59.626170560327274]
textbfClawForgeは、ステートコンフリクト下で実行可能なコマンドラインカテゴリのためのジェネレータベースのベンチマークフレームワークである。
私たちはこのフレームワークをClawForge-Bench(17のシナリオ、6の能力カテゴリ)としてインスタンス化します。
論文 参考訳（メタデータ） (2026-05-13T21:34:08Z) - State-Centric Decision Process [12.213427126535104]
我々は,エージェントがエージェントを構築し,述語によって述語し,動作させるようにすることで,欠落した入力を構築するランタイムフレームワークであるState-Centric Decision Process (SDP)を紹介した。
SDPは、計画、科学的探索、Web推論、マルチホップ質問応答にまたがる5つのベンチマークで、トレーニングなしの最良の結果を得る。
論文 参考訳（メタデータ） (2026-05-12T21:09:43Z) - ClawMark: A Living-World Benchmark for Multi-Turn, Multi-Day, Multimodal Coworker Agents [77.22389710754452]
マルチターンマルチデイタスクを中心に構築された同僚エージェントのベンチマークであるベンチを紹介する。
現在のリリースには、13のプロのシナリオにわたる100のタスクが含まれており、5つのステートフルなサンドボックスサービスに対して実行される。
最強のモデルは75.8の重み付きスコアに達するが、最も厳格なタスク成功率は20.0%に過ぎず、部分的な進歩が一般的であることを示している。
論文 参考訳（メタデータ） (2026-04-26T16:05:02Z) - ClawArena: Benchmarking AI Agents in Evolving Information Environments [61.664633997138004]
ClawArenaは、進化する情報環境におけるAIエージェントの評価のためのベンチマークである。
それぞれのシナリオは、エージェントをノイズ、部分的、時には矛盾するトレースだけに露呈しながら、完全に隠された地上の真実を維持します。
評価は、マルチソースコンフリクト推論、動的信念修正、暗黙のパーソナライゼーションという3つの複合的な課題に基づいて構成される。
論文 参考訳（メタデータ） (2026-04-05T17:55:23Z) - vla-eval: A Unified Evaluation Harness for Vision-Language-Action Models [58.633451339058986]
VLAモデルは一般的に、各モデルリポジトリによって独立して維持されるベンチマークスクリプト毎に評価される。
本稿では、ベンチマーク実行からモデル推論を分離するオープンソースの評価ハーネスであるvla evalを紹介する。
完全な評価では、vla eval serveとvla eval runの2つのコマンドしか必要としない。
論文 参考訳（メタデータ） (2026-03-14T14:38:53Z) - ESAA: Event Sourcing for Autonomous Agents in LLM-Based Software Engineering [0.0]
本稿では,ESAA(Event Sourcing for Autonomous Agents)アーキテクチャについて述べる。
アーキテクチャは、イベントソーシングパターンにインスパイアされた、認知意図とプロジェクトの状態突然変異を分離する。
2つのケーススタディは、アーキテクチャを検証し、単一エージェントのシナリオを超えたアーキテクチャのスケーラビリティの実証的な証拠を提供する。
論文 参考訳（メタデータ） (2026-02-26T16:45:59Z) - CLOVER: A Test Case Generation Benchmark with Coverage, Long-Context, and Verification [71.34070740261072]
本稿では,テストケースの生成と完成におけるモデルの能力を評価するためのベンチマークCLOVERを提案する。
ベンチマークはタスク間でのコード実行のためにコンテナ化されています。
論文 参考訳（メタデータ） (2025-02-12T21:42:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。