論文の概要: CoreDiag: Eliminating Redundancy in Constraint Sets
- arxiv url: http://arxiv.org/abs/2102.12151v1
- Date: Wed, 24 Feb 2021 09:16:10 GMT
- ステータス: 処理完了
- システム内更新日: 2021-02-25 13:27:06.038318
- Title: CoreDiag: Eliminating Redundancy in Constraint Sets
- Title(参考訳): CoreDiag: 制約セットの冗長性を排除する
- Authors: Alexander Felfernig and Christoph Zehentner and Paul Blazek
- Abstract要約: 最小コア(最小非冗長制約集合)の決定に利用できる新しいアルゴリズムを提案する。
このアルゴリズムは、冗長性の度合いが高い分散知識工学シナリオにおいて特に有用である。
本手法の適用可能性を示すために, 商業的構成知識ベースを用いた実証的研究を実施した。
- 参考スコア(独自算出の注目度): 68.8204255655161
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Constraint-based environments such as configuration systems, recommender
systems, and scheduling systems support users in different decision making
scenarios. These environments exploit a knowledge base for determining
solutions of interest for the user. The development and maintenance of such
knowledge bases is an extremely time-consuming and error-prone task. Users
often specify constraints which do not reflect the real-world. For example,
redundant constraints are specified which often increase both, the effort for
calculating a solution and efforts related to knowledge base development and
maintenance. In this paper we present a new algorithm (CoreDiag) which can be
exploited for the determination of minimal cores (minimal non-redundant
constraint sets). The algorithm is especially useful for distributed knowledge
engineering scenarios where the degree of redundancy can become high. In order
to show the applicability of our approach, we present an empirical study
conducted with commercial configuration knowledge bases.
- Abstract(参考訳): コンフィグレーションシステム、レコメンデータシステム、スケジューリングシステムといった制約ベースの環境は、異なる意思決定シナリオでユーザをサポートする。
これらの環境は、ユーザの興味のあるソリューションを決定するための知識ベースを利用する。
このような知識ベースの開発とメンテナンスは非常に時間がかかり、エラーが発生しやすいタスクです。
ユーザはしばしば現実世界を反映しない制約を指定する。
例えば、冗長な制約が指定され、ソリューションを計算する努力と、知識ベースの開発とメンテナンスに関連する努力の両方が増加する。
本稿では,最小限のコア(最小限の非冗長制約集合)の決定に利用できる新しいアルゴリズムCoreDiagを提案する。
このアルゴリズムは、冗長性の度合いが高い分散知識工学シナリオにおいて特に有用である。
本手法の適用可能性を示すために, 商業的構成知識ベースを用いた実証的研究を実施した。
関連論文リスト
- Deep Neural Network for Constraint Acquisition through Tailored Loss
Function [0.0]
データから制約を学習することの重要性は、実世界の問題解決における潜在的な応用によって裏付けられている。
この研究は、シンボリック回帰に基づくディープニューラルネットワーク(DNN)に基づく新しいアプローチを導入する。
論文 参考訳(メタデータ) (2024-03-04T13:47:33Z) - Neural Fields with Hard Constraints of Arbitrary Differential Order [61.49418682745144]
我々は、ニューラルネットワークに厳しい制約を課すための一連のアプローチを開発する。
制約は、ニューラルネットワークとそのデリバティブに適用される線形作用素として指定することができる。
私たちのアプローチは、広範囲の現実世界のアプリケーションで実証されています。
論文 参考訳(メタデータ) (2023-06-15T08:33:52Z) - Conjunctive Query Based Constraint Solving For Feature Model
Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。
このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文 参考訳(メタデータ) (2023-04-26T10:08:07Z) - Provable Reinforcement Learning with a Short-Term Memory [68.00677878812908]
我々はPMDPsの新しいサブクラスについて研究し、その潜在状態は、最近の短い長さ$m$の履歴によって復号化することができる。
特に、リッチ・オブザーブレーション・セッティングにおいて、指数関数的にスケールするサンプル複雑性を持つ新しい「モーメントマッチング」アプローチを用いて、新しいアルゴリズムを開発する。
以上の結果から,これらの環境下での強化学習には短期記憶が十分であることが示唆された。
論文 参考訳(メタデータ) (2022-02-08T16:39:57Z) - MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural
Networks [21.150810790468608]
深層ニューラルネットワークのトレーニングに専門家の知識を取り入れる新しい手法を提案する。
多くのアプローチはドメインの制約を直接ネットワークアーキテクチャにエンコードし、非自明またはドメイン固有のエンジニアリングを必要とします。
我々のアプローチはMultiformxNetと呼ばれ、ドメイン知識を解離正規形(DNF)の論理式として表現する。
論文 参考訳(メタデータ) (2021-11-02T12:39:21Z) - Adaptive Discretization in Online Reinforcement Learning [9.560980936110234]
離散化に基づくアルゴリズムを設計する際の2つの大きな疑問は、離散化をどのように生成し、いつそれを洗練するかである。
オンライン強化学習のための木に基づく階層分割手法の統一的理論的解析を行う。
我々のアルゴリズムは操作制約に容易に適応し、我々の理論は3つの面のそれぞれに明示的な境界を与える。
論文 参考訳(メタデータ) (2021-10-29T15:06:15Z) - An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文 参考訳(メタデータ) (2021-02-17T19:55:42Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳(メタデータ) (2020-06-18T20:09:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。