論文の概要: DisCoveR: Accurate & Efficient Discovery of Declarative Process Models
- arxiv url: http://arxiv.org/abs/2005.10085v1
- Date: Wed, 20 May 2020 14:48:33 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-01 05:14:07.876702
- Title: DisCoveR: Accurate & Efficient Discovery of Declarative Process Models
- Title(参考訳): DisCoveR: 宣言型プロセスモデルの正確かつ効率的な発見
- Authors: Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt,
Morten Marquard
- Abstract要約: DisCoveRは、イベントログから動的条件応答(DCR)グラフを学習するための、極めて効率的で正確な宣言的マイナである。
提案アルゴリズムは,高効率なビットベクトル実装を記述し,他の2つの宣言的マイニングに対する性能を厳格に評価する。
DisCoveRはこれらの各w.r.t.のバイナリ分類タスクを上回り、Process Discovery Contest 2019で平均96.2%の精度を達成した。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Declarative process modeling formalisms - which capture high-level process
constraints - have seen growing interest, especially for modeling flexible
processes. This paper presents DisCoveR, an extremely efficient and accurate
declarative miner for learning Dynamic Condition Response (DCR) Graphs from
event logs. We precisely formalize the algorithm, describe a highly efficient
bit vector implementation and rigorously evaluate performance against two other
declarative miners, representing the state-of-the-art in Declare and DCR Graphs
mining. DisCoveR outperforms each of these w.r.t. a binary classification task,
achieving an average accuracy of 96.2% in the Process Discovery Contest 2019.
Due to its linear time complexity, DisCoveR also achieves run-times 1-2 orders
of magnitude below its declarative counterparts. Finally, we show how the miner
has been integrated in a state-of-the-art declarative process modeling
framework as a model recommendation tool, discuss how discovery can play an
integral part of the modeling task and report on how the integration has
improved the modeling experience of end-users.
- Abstract(参考訳): 宣言的なプロセスモデリング形式 — 高レベルのプロセス制約をキャプチャする — は、特に柔軟なプロセスのモデリングに対する関心が高まっている。
本稿では,イベントログから動的条件応答(DCR)グラフを学習するための,極めて効率的かつ正確な定式化マイナであるDisCoveRを提案する。
我々はアルゴリズムを正確に定式化し、高効率なビットベクトル実装を記述し、DeclareおよびDCRグラフマイニングにおける最先端技術を表す他の2つの宣言的マイニングに対する性能を厳格に評価する。
DisCoveRはこれら2進分類タスクをそれぞれ上回り、Process Discovery Contest 2019で平均96.2%の精度を達成した。
線形時間の複雑さのため、DisCoveRは宣言的よりも1-2桁の実行時間を達成する。
最後に、モデルレコメンデーションツールとしての最先端の宣言的プロセスモデリングフレームワークにマイナーがどのように統合されているかを示し、モデルタスクの不可欠な部分を発見がどのように果たすかを説明し、統合がエンドユーザのモデリング体験をどのように改善したかを報告する。
関連論文リスト
- COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement [80.18490952057125]
反復改良は、複雑なタスクにおける大規模言語モデル(LLM)の能力を高める効果的なパラダイムとして登場した。
我々はこれらの課題を克服するために、コンテキストワイズ順序非依存言語モデリング(COrAL)を提案する。
当社のアプローチでは、管理可能なコンテキストウィンドウ内で複数のトークン依存関係をモデル化しています。
論文 参考訳(メタデータ) (2024-10-12T23:56:19Z) - Mining a Minimal Set of Behavioral Patterns using Incremental Evaluation [3.16536213610547]
行動パターンマイニングへの既存のアプローチには2つの制限がある。
まず、インクリメンタルな計算がパターン候補の生成にのみ組み込まれるため、スケーラビリティが制限される。
第二に、マイニングされたパターンに基づくプロセス分析は、実用的なアプリケーションシナリオで得られるパターンが圧倒的に多いため、限られた効果しか示さない。
論文 参考訳(メタデータ) (2024-02-05T11:41:37Z) - Sample Complexity Characterization for Linear Contextual MDPs [67.79455646673762]
文脈決定プロセス(CMDP)は、遷移カーネルと報酬関数がコンテキスト変数によってインデックス付けされた異なるMDPで時間とともに変化できる強化学習のクラスを記述する。
CMDPは、時間とともに変化する環境で多くの現実世界のアプリケーションをモデル化するための重要なフレームワークとして機能する。
CMDPを2つの線形関数近似モデルで検討する: 文脈変化表現とすべての文脈に対する共通線形重み付きモデルIと、すべての文脈に対する共通表現と文脈変化線形重み付きモデルIIである。
論文 参考訳(メタデータ) (2024-02-05T03:25:04Z) - Sparse Variational Student-t Processes [8.46450148172407]
学生Tプロセスは、重い尾の分布とデータセットをアウトリーチでモデル化するために使用される。
本研究では,学生プロセスが現実のデータセットに対してより柔軟になるためのスパース表現フレームワークを提案する。
UCIとKaggleの様々な合成および実世界のデータセットに対する2つの提案手法の評価を行った。
論文 参考訳(メタデータ) (2023-12-09T12:55:20Z) - Exact and general decoupled solutions of the LMC Multitask Gaussian Process model [28.32223907511862]
コリージョン化線形モデル(英: Linear Model of Co- Regionalization、LMC)は、回帰や分類のためのマルチタスクガウス過程の非常に一般的なモデルである。
最近の研究によると、ある条件下では、モデルの潜在過程は切り離され、そのプロセスの数でのみ線形となる複雑さが生じる。
ここでは、これらの結果を拡張し、LCCの効率的な正確な計算に必要な条件はノイズモデルに関する軽度の仮説である、という最も一般的な仮定から示している。
論文 参考訳(メタデータ) (2023-10-18T15:16:24Z) - Precision-Recall Divergence Optimization for Generative Modeling with
GANs and Normalizing Flows [54.050498411883495]
本研究では,ジェネレーティブ・アドバイサル・ネットワークや正規化フローなどの生成モデルのための新しいトレーニング手法を開発した。
指定された精度-リコールトレードオフを達成することは、textitPR-divergencesと呼ぶ家族からのユニークな$f$-divergenceを最小化することを意味する。
当社のアプローチは,ImageNetなどのデータセットでテストした場合の精度とリコールの両面で,BigGANのような既存の最先端モデルの性能を向上させる。
論文 参考訳(メタデータ) (2023-05-30T10:07:17Z) - Value-Consistent Representation Learning for Data-Efficient
Reinforcement Learning [105.70602423944148]
本稿では,意思決定に直接関連のある表現を学習するための,VCR(Value-Consistent Expression Learning)という新しい手法を提案する。
この想像された状態と環境によって返される実状態とを一致させる代わりに、VCRは両方の状態に$Q$-valueヘッドを適用し、2つのアクション値の分布を得る。
検索不要なRLアルゴリズムに対して,提案手法が新たな最先端性能を実現することが実証された。
論文 参考訳(メタデータ) (2022-06-25T03:02:25Z) - Conformance Checking of Mixed-paradigm Process Models [1.8122712065585906]
混合パラダイムプロセスモデルは、ペトリネットやDeclareのような手続き的および宣言的表現の強みを統合する。
プロセスマイニングのための混合パラダイムモデルの拡散に関する重要な研究課題は、対応する適合性検査技術の欠如である。
混合パラダイムモデルの中間状態空間で動作する最初のアプローチを考案する。
論文 参考訳(メタデータ) (2020-11-23T17:04:33Z) - Process Discovery for Structured Program Synthesis [70.29027202357385]
プロセスマイニングにおける中核的なタスクは、イベントログデータから正確なプロセスモデルを学ぶことを目的としたプロセス発見である。
本稿では,ターゲットプロセスモデルとして(ブロック-)構造化プログラムを直接使用することを提案する。
我々は,このような構造化プログラムプロセスモデルの発見に対して,新たなボトムアップ・アグリメティブ・アプローチを開発する。
論文 参考訳(メタデータ) (2020-08-13T10:33:10Z) - Real-Time Regression with Dividing Local Gaussian Processes [62.01822866877782]
局所ガウス過程は、ガウス過程の回帰に基づく新しい、計算効率の良いモデリング手法である。
入力空間の反復的データ駆動分割により、実際にはトレーニングポイントの総数において、サブ線形計算複雑性が達成される。
実世界のデータセットに対する数値的な評価は、予測と更新の速度だけでなく、精度の点で他の最先端手法よりも有利であることを示している。
論文 参考訳(メタデータ) (2020-06-16T18:43:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。