論文の概要: An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
- arxiv url: http://arxiv.org/abs/2102.09005v1
- Date: Wed, 17 Feb 2021 19:55:42 GMT
- ステータス: 処理完了
- システム内更新日: 2021-02-19 14:21:19.859701
- Title: An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
- Title(参考訳): 不整合制約集合の効率的な診断アルゴリズム
- Authors: Alexander Felfernig and Monika Schubert and Christoph Zehentner
- Abstract要約: 過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
- 参考スコア(独自算出の注目度): 68.8204255655161
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Constraint sets can become inconsistent in different contexts. For example,
during a configuration session the set of customer requirements can become
inconsistent with the configuration knowledge base. Another example is the
engineering phase of a configuration knowledge base where the underlying
constraints can become inconsistent with a set of test cases. In such
situations we are in the need of techniques that support the identification of
minimal sets of faulty constraints that have to be deleted in order to restore
consistency. In this paper we introduce a divide-and-conquer based diagnosis
algorithm (FastDiag) which identifies minimal sets of faulty constraints in an
over-constrained problem. This algorithm is specifically applicable in
scenarios where the efficient identification of leading (preferred) diagnoses
is crucial. We compare the performance of FastDiag with the conflict-directed
calculation of hitting sets and present an in-depth performance analysis that
shows the advantages of our approach.
- Abstract(参考訳): 制約集合は異なる文脈で矛盾することがある。
例えば、設定セッションでは、顧客の要求のセットが構成知識ベースと矛盾する可能性があります。
別の例は、基本的な制約が一連のテストケースと矛盾する可能性がある構成知識ベースのエンジニアリングフェーズです。
このような状況では、一貫性を回復するために削除しなければならない最小限の欠陥制約セットの識別をサポートする技術が求められています。
本論文では,過度制約問題における障害制約の最小セットを同定する分割・整列型診断アルゴリズム(FastDiag)を提案する。
このアルゴリズムは、リード(推奨)診断の効率的な識別が重要であるシナリオに特に適用されます。
FastDiagのパフォーマンスとヒットセットの競合方向の計算を比較し、私たちのアプローチの利点を示す詳細なパフォーマンス分析を提示します。
関連論文リスト
- FastDiagP: An Algorithm for Parallelized Direct Diagnosis [64.65251961564606]
FastDiagは、競合を事前に決定せずに診断計算をサポートする典型的な直接診断アルゴリズムである。
本稿では,投機的プログラミングのアイデアに基づく新しいアルゴリズムであるFastDiagPを提案する。
このメカニズムは、高速な回答で一貫性チェックを提供し、アルゴリズムのランタイムパフォーマンスを高めるのに役立つ。
論文 参考訳(メタデータ) (2023-05-11T16:26:23Z) - Conjunctive Query Based Constraint Solving For Feature Model
Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。
このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文 参考訳(メタデータ) (2023-04-26T10:08:07Z) - Consistent Multiclass Algorithms for Complex Metrics and Constraints [38.6998359999636]
この設定には、マルチクラスG平均やマイクロF1測定など、多くの一般的なパフォーマンス指標が含まれている。
このような複雑な設計目標のための一貫したアルゴリズムのための一般的なフレームワークを提供する。
様々なクラス分類タスクと公正制約のある問題の実験により、我々のアルゴリズムは最先端のベースラインと良好に比較できることを示した。
論文 参考訳(メタデータ) (2022-10-18T09:09:29Z) - Lifting Symmetry Breaking Constraints with Inductive Logic Programming [2.036811219647753]
我々は、Symmetry Breaking Constraintsを解釈可能な一階制約の集合に引き上げる、Answer Set Programmingのための新しいモデル指向のアプローチを導入する。
実験は、我々のフレームワークがインスタンス固有のSBCから一般的な制約を学習できることを実証する。
論文 参考訳(メタデータ) (2021-12-22T11:27:48Z) - Improved Algorithms for Agnostic Pool-based Active Classification [20.12178157010804]
プールに依存しない環境でのバイナリ分類のためのアクティブラーニングを検討する。
我々のアルゴリズムは、画像分類データセットにおけるアートアクティブな学習アルゴリズムの状況よりも優れている。
論文 参考訳(メタデータ) (2021-05-13T18:24:30Z) - CoreDiag: Eliminating Redundancy in Constraint Sets [68.8204255655161]
最小コア(最小非冗長制約集合)の決定に利用できる新しいアルゴリズムを提案する。
このアルゴリズムは、冗長性の度合いが高い分散知識工学シナリオにおいて特に有用である。
本手法の適用可能性を示すために, 商業的構成知識ベースを用いた実証的研究を実施した。
論文 参考訳(メタデータ) (2021-02-24T09:16:10Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳(メタデータ) (2020-06-18T20:09:53Z) - Beyond Worst-Case Analysis in Stochastic Approximation: Moment
Estimation Improves Instance Complexity [58.70807593332932]
近似問題に対する勾配に基づく手法のオラクル複雑性について検討する。
最悪のケースの複雑さではなく、インスタンス依存の複雑さに焦点を当てます。
提案アルゴリズムとその解析はモーメント推定の成功を理論的に正当化する。
論文 参考訳(メタデータ) (2020-06-08T09:25:47Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。