Fugu-MT 論文翻訳(概要): Bi-reachability in Petri nets with data

論文の概要: Bi-reachability in Petri nets with data

arxiv url: http://arxiv.org/abs/2405.16176v1
Date: Sat, 25 May 2024 11:00:44 GMT
ステータス: 処理完了
システム内更新日: 2024-05-29 00:40:50.330437
Title: Bi-reachability in Petri nets with data
Title（参考訳）: データによるペトリネットのバイリーチ性
Authors: Łukasz Kamiński, Sławomir Lasota,
Abstract要約: トークンが無限のデータ領域から値を運ぶ平らなペトリネットの拡張であるデータを用いてペトリネットを調査する。それぞれの構成が他方から到達可能かどうかを問う。これは決定可能性の境界線を推し進める。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure for the bi-reachability problem: given a Petri net and its two configurations, we ask if each of the configurations is reachable from the other. This pushes forward the decidability borderline, as the bi-reachability problem subsumes the coverability problem (which is known to be decidable) and is subsumed by the reachability problem (whose decidability status is unknown).
Abstract（参考訳）: 我々はペトリネットをデータで調べ、トークンが無限のデータ領域から値を運ぶ平らなペトリネットを拡張し、トランジションの実行性はデータ値間の等式によって条件付けられる。ペトリネットとその2つの構成が与えられた場合、それぞれの構成が他方から到達可能かどうかを問う。このことは、双到達性問題(英語版)がカバー可能性問題(決定可能であることが知られている)を仮定し、到達可能性問題(決定可能性のステータスが不明である)によって仮定されるため、決定可能性境界線を推し進める。

関連論文リスト

Offline Reinforcement Learning: Role of State Aggregation and Trajectory Data [64.93285984013833]
我々は,ベルマンを使わずに,値関数を実現可能なオフライン強化学習の問題を再考する。 Xie と Jiang (2021) と Foster et al. (2022) による以前の研究は、軌道に基づくオフラインデータとともに集中係数が有界標本複雑性を統一するかどうかという疑問を解き放った。
論文参考訳（メタデータ） (2024-03-25T18:28:45Z)
Tightening Bounds on Probabilities of Causation By Merging Datasets [0.0]
因果確率(PoC)は、法律、医療、公共政策における意思決定において基本的な役割を担っている。余分な情報を活用することでこれらの境界をさらに強化する作業は、数値的境界、固定次元の記号的境界、または同じ処理と結果変数を含む複数のデータセットへのアクセスを必要とする。ここでは、挑戦的なシナリオのために、PoCに象徴的な境界を提供します。
論文参考訳（メタデータ） (2023-10-12T15:19:15Z)
Bounding probabilities of causation through the causal marginal problem [12.542533707005092]
因果関係の確率は、法律、医療、公共政策における意思決定において基本的な役割を担っている。多くの臨床試験や公共政策評価ケースでは、異なる治療が同じ結果変数に与える影響を調べる独立したデータセットが存在する。本稿では、このような独立したデータセットから構築されたSCM間の対実的整合性を示すことにより、因果関係の確率に対する既存の限界を著しく厳格化する方法について概説する。
論文参考訳（メタデータ） (2023-04-04T12:16:38Z)
On Differential Privacy and Adaptive Data Analysis with Bounded Space [76.10334958368618]
差分プライバシーと適応データ分析の2つの関連分野の空間複雑性について検討する。差分プライバシーで効率的に解くために指数関数的に多くの空間を必要とする問題Pが存在することを示す。アダプティブデータ分析の研究の行は、アダプティブクエリのシーケンスに応答するのに必要なサンプルの数を理解することに焦点を当てている。
論文参考訳（メタデータ） (2023-02-11T14:45:31Z)
Uncertain Bayesian Networks: Learning from Incomplete Data [30.09565247029203]
歴史的データが限られている場合、ベイズネットワークのノードに関連する条件確率は不確実である。 2次推定法は、確率を推定し、不確実性を定量化するためのフレームワークを提供する。提案手法は,様々な問合せに対する信頼境界の強さを所望し,経験的に導出することで,パラメータの後部を学習するための様々な手法を評価する。
論文参考訳（メタデータ） (2022-08-08T15:46:44Z)
Learning Conditional Invariance through Cycle Consistency [60.85059977904014]
本稿では,データセットの変動の有意義な要因と独立な要因を識別する新しい手法を提案する。提案手法は,対象プロパティと残りの入力情報に対する2つの別個の潜在部分空間を含む。我々は,より意味のある因子を同定し,よりスペーサーや解釈可能なモデルに導く合成および分子データについて実証する。
論文参考訳（メタデータ） (2021-11-25T17:33:12Z)
On Connectivity of Solutions in Deep Learning: The Role of Over-parameterization and Feature Quality [21.13299067136635]
パラメータ空間における2つの任意の点の接続を保証するための新しい条件を提案する。この条件はドロップアウトの安定性よりも明らかに穏やかであり、低損失経路の発見問題とニューラルネットワークの記憶能力との関係を提供する。
論文参考訳（メタデータ） (2021-02-18T23:44:08Z)
Bottleneck Problems: Information and Estimation-Theoretic View [2.7793394375935088]
情報ボトルネック(IB)とプライバシファンネル(PF)は、密接に関連する2つの最適化問題である。特定の関数の下位エンベロープや上部エンベロープを等価に表現することで、閉形式のボトルネック問題を評価する方法を示す。
論文参考訳（メタデータ） (2020-11-12T05:16:44Z)
Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
論文参考訳（メタデータ） (2020-08-19T16:04:34Z)
The Curse of Performance Instability in Analysis Datasets: Consequences, Source, and Suggestions [93.62888099134028]
自然言語推論(NLI)および読み込み(RC)解析/ストレスセットにおける最先端モデルの性能は極めて不安定であることがわかった。このことは、(1)不安定さがこれらの分析セットに基づいて引き出された結論の信頼性にどのように影響するかという3つの疑問を提起する。不安定の原因に関する理論的説明と実証的証拠の両方を提示する。
論文参考訳（メタデータ） (2020-04-28T15:41:12Z)
Public Bayesian Persuasion: Being Almost Optimal and Almost Persuasive [57.47546090379434]
i) 任意の状態空間, (ii) 任意の行動空間, (iii) 任意の送信者のユーティリティ関数を用いて, 一般の状況下での公衆の説得問題を考察する。任意の公的な説得問題に対して準多項式時間ビクテリア近似アルゴリズムを提案し、特定の設定でQPTASを出力する。
論文参考訳（メタデータ） (2020-02-12T18:59:18Z)

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