論文の概要: ASP-Based Declarative Process Mining
- arxiv url: http://arxiv.org/abs/2205.01979v1
- Date: Wed, 4 May 2022 10:11:54 GMT
- ステータス: 処理完了
- システム内更新日: 2022-05-05 21:00:50.595291
- Title: ASP-Based Declarative Process Mining
- Title（参考訳）: ASPベースの宣言的プロセスマイニング
- Authors: Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
- Abstract要約: 私たちは、宣言的プロセスマイニングにおける3つの古典的な問題の解決策として、Answer Set Programming(ASP)を提案しました。
私たちは、ペイロード(属性と値のペアのセット)を運ぶイベントを考えることで、データ認識の亜種、すなわち、それらに取り組む。
この作業のコントリビューションには、3つの問題に対するASPエンコーディングスキーマ、そのソリューション、アプローチの実現可能性を示す実験が含まれている。
- 参考スコア（独自算出の注目度）: 4.060731229044571
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We put forward Answer Set Programming (ASP) as a solution approach for three
classical problems in Declarative Process Mining: Log Generation, Query
Checking, and Conformance Checking. These problems correspond to different ways
of analyzing business processes under execution, starting from sequences of
recorded events, a.k.a. event logs. We tackle them in their data-aware variant,
i.e., by considering events that carry a payload (set of attribute-value
pairs), in addition to the performed activity, specifying processes
declaratively with an extension of linear-time temporal logic over finite
traces (LTLf). The data-aware setting is significantly more challenging than
the control-flow one: Query Checking is still open, while the existing
approaches for the other two problems do not scale well. The contributions of
the work include an ASP encoding schema for the three problems, their solution,
and experiments showing the feasibility of the approach.
- Abstract（参考訳）: 宣言的プロセスマイニングにおける3つの古典的な問題 — ログ生成,クエリチェック,コンフォーマンスチェック – に対するソリューションアプローチとして,result set programming(asp)を実施しました。
これらの問題は、記録されたイベント、すなわちイベントログのシーケンスから始まる、実行中のビジネスプロセスを分析するさまざまな方法に対応する。
データアウェア型、すなわちペイロード(属性と値のペアのセット)を運ぶイベントを考慮し、実行されたアクティビティに加えて、有限トレース(ltlf)上の線形時間時相論理の拡張によって宣言的にプロセスを指定することで、それらに取り組む。
データアウェアの設定はコントロールフローよりもかなり難しい:クエリチェックはまだオープンだが、他の2つの問題に対する既存のアプローチはうまくスケールしない。
この作業のコントリビューションには、3つの問題に対するASPエンコーディングスキーマ、そのソリューション、アプローチの実現可能性を示す実験が含まれている。
関連論文リスト
- Improving Steering and Verification in AI-Assisted Data Analysis with Interactive Task Decomposition [24.845241768474363]
LLMを利用するChatGPT Data Analysisのようなツールは、ユーザがデータ分析プログラミングの難しいタスクに取り組むのに役立つ可能性がある。
しかし、私たちのフォーマティブな研究は、AI生成結果の検証とAIの運営において深刻な課題を明らかにしました。
これらの課題に対処する2つの対照的なアプローチを開発した。
論文 参考訳（メタデータ） (2024-07-02T20:33:50Z) - H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables [56.73919743039263]
本稿では,2段階のプロセスにシンボル的アプローチと意味的アプローチ(テキスト的アプローチ)を統合し,制約に対処する新しいアルゴリズムを提案する。
実験の結果,H-STARは3つの質問応答(QA)と事実検証データセットにおいて,最先端の手法を大幅に上回っていることがわかった。
論文 参考訳（メタデータ） (2024-06-29T21:24:19Z) - LaSagnA: Language-based Segmentation Assistant for Complex Queries [39.620806493454616]
視覚のための大規模言語モデル(vLLM)は、バウンディングボックスやマスクを含む知覚結果を生成する。
本研究では,これらの問題の主な原因が,学習クエリの複雑さの不足であることを認めた。
本稿では,提案フォーマットの直接統合による課題を効果的に解決するための3つの新しい戦略を提案する。
論文 参考訳（メタデータ） (2024-04-12T14:40:45Z) - Extracting Process-Aware Decision Models from Object-Centric Process
Data [54.04724730771216]
本稿では,ODDA(Integrated Object-centric Decision Discovery Algorithm)と呼ばれる,オブジェクト中心決定マイニングアルゴリズムを提案する。
IODDAは意思決定の仕組みや意思決定の仕方を知ることができる。
論文 参考訳（メタデータ） (2024-01-26T13:27:35Z) - Successive Prompting for Decomposing Complex Questions [50.00659445976735]
最近の研究は、大規模言語モデル(LM)の機能を活用して、数ショットで複雑な質問応答を行う。
そこでは、複雑なタスクを単純なタスクに繰り返し分解し、それを解決し、最終解を得るまでプロセスを繰り返します。
我々の最良のモデル(逐次プロンプト付き)は、DROPデータセットの数ショットバージョンにおいて、5%の絶対F1の改善を実現します。
論文 参考訳（メタデータ） (2022-12-08T06:03:38Z) - Monitoring Constraints in Business Processes Using Object-Centric
Constraint Graphs [0.5330240017302619]
制約監視は、ビジネスプロセスにおける制約違反を監視することを目的としている。
ビジネスプロセスはオブジェクト中心であり、複数のケース概念(オブジェクト)が存在する。
本稿では,オブジェクト中心のビジネスプロセスにおける制約をモニタリングするアプローチを提案する。
論文 参考訳（メタデータ） (2022-10-21T16:11:29Z) - Accessing and Interpreting OPC UA Event Traces based on Semantic Process
Descriptions [69.9674326582747]
本稿では、イベントデータのコンテキストに基づいて、プロダクションシステムのイベントデータにアクセスするアプローチを提案する。
本手法は,1)生産システムの階層構造の意味モデル,2)形式化されたプロセス記述,3)OPC UA情報モデルを組み合わせることによって,データベースシステムからフィルタリングイベントログを抽出する。
論文 参考訳（メタデータ） (2022-07-25T15:13:44Z) - CINS: Comprehensive Instruction for Few-shot Learning in Task-oriented
Dialog Systems [56.302581679816775]
本稿では,タスク固有の命令でPLMを利用する包括的インストラクション(CINS)を提案する。
命令のスキーマ(定義、制約、プロンプト)と、ToDの3つの重要な下流タスクに対するカスタマイズされた実現を設計する。
これらのToDタスクに対して,小さな検証データを用いた現実的な数ショット学習シナリオで実験を行った。
論文 参考訳（メタデータ） (2021-09-10T03:23:06Z) - Recognizing and Splitting Conditional Sentences for Automation of
Business Processes Management [2.289790204910258]
1)技術文書から条件文を認識すること、2)条件文と結果文を抽出するための境界を見つけること、3)結果節をアクションまたはシーケンスとして分類することからなる、エンドツーエンドの問題を解決するシステムを提案する。
最適モデルでは条件,行動,結果の抽出に83.82,87.84,85.75の有望な結果を得た。
論文 参考訳（メタデータ） (2021-04-01T17:53:16Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z) - Partial Order Resolution of Event Logs for Process Conformance Checking [10.58705988536919]
既存の適合性チェック技術の重要な前提は、すべてのイベントがプロセスインスタンス毎のイベントの順序を推測できるタイムスタンプに関連付けられているということです。
本稿では,動作抽象化の異なる概念を取り入れた,この課題に対するいくつかの推定手法を提案する。
実世界のデータと合成データの実験により、我々の手法は最先端の精度を大幅に向上させることが明らかとなった。
論文 参考訳（メタデータ） (2020-07-05T18:43:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。