論文の概要: Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

• arxiv url: http://arxiv.org/abs/2002.06072v1
• Date: Fri, 14 Feb 2020 15:28:15 GMT
• ステータス: 処理完了
• システム内更新日: 2023-01-01 05:09:13.137414
• Title: Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
• Title（参考訳）: 大域的・局所的な心的制約を伴う記述論理の満足度と問合せ
• Authors: Franz Baader, Bartosz Bednarczyk and Sebastian Rudolph
• Abstract要約: 本稿では,表現的記述論理(DL) ALCSCC++を導入,検討する。 一方,これは満足度チェックや他の標準推論問題の複雑さを増大させるものではない。 一方、言語に逆の役割を加えると、満足度問題は決定不能となる。
• 参考スコア（独自算出の注目度）: 6.961253535504978
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce and investigate the expressive description logic (DL) ALCSCC++, in which the global and local cardinality constraints introduced in previous papers can be mixed. On the one hand, we prove that this does not increase the complexity of satisfiability checking and other standard inference problems. On the other hand, the satisfiability problem becomes undecidable if inverse roles are added to the languages. In addition, even without inverse roles, conjunctive query entailment in this DL turns out to be undecidable. We prove that decidability of querying can be regained if global and local constraints are not mixed and the global constraints are appropriately restricted. The latter result is based on a locally-acyclic model construction, and it reduces query entailment to ABox consistency in the restricted setting, i.e., to ABox consistency w.r.t. restricted cardinality constraints in ALCSCC, for which we can show an ExpTime upper bound.
• Abstract（参考訳）: 本稿では,前報で導入された大域的および局所的濃度制約を混合できる表現型記述論理 (dl) alcscc++について紹介・検討する。 一方で, 満足度検査や他の標準推論問題の複雑さを増大させるものではないことを証明した。 一方、言語に逆の役割を追加すると、充足可能性問題は決定不能になる。 さらに、逆役割がなくても、このdlに付随するクエリの補足は決定不能であることが判明した。 我々は,グローバル制約とローカル制約が混在せず,グローバル制約が適切に制限されていなければ,クエリの決定可能性を取り戻すことができることを示す。 後者の結果は局所非巡回モデルの構築に基づいており、制限された設定におけるクエリの含意をABox整合性、すなわちALCSCCにおけるABox整合性w.r.t.制限された濃度制約に還元する。

関連論文リスト

• Probabilistic and Causal Satisfiability: the Impact of Marginalization [3.44747819522562]
  確率的・因果的言語で表される満足度問題に焦点をあてる。 線形言語はNPPP-, PSPACE-, NEXP完全満足度問題をもたらすことを示す。 また、与えられたベイズネットワーク、有向非巡回グラフ構造、あるいは小さなサイズに制限された制約付きモデルについても検討する。
  論文  参考訳（メタデータ） (2024-05-12T20:25:36Z)
• Compositional Diffusion-Based Continuous Constraint Solvers [98.1702285470628]
  本稿では,ロボット推論と計画における連続的制約満足度問題(CCSP)の解法について紹介する。 対照的に、構成拡散連続制約解法(Diffusion-CCSP)は、CCSPに対する大域的な解を導出する。
  論文  参考訳（メタデータ） (2023-09-02T15:20:36Z)
• Generalizing Level Ranking Constraints for Monotone and Convex Aggregates [0.0]
  解集合プログラミング(ASP)では、解集合は興味のある探索問題の解をキャプチャする。 1つの実行可能な実装戦略は、翻訳ベースのASP.NETアプリケーションである。 我々は、ASP.NETの集約ベースの拡張をカバーするための一般化を目指して、レベルランキングの制約を再考する。
  論文  参考訳（メタデータ） (2023-08-30T09:04:39Z)
• Coupling Global Context and Local Contents for Weakly-Supervised Semantic Segmentation [54.419401869108846]
  Weakly Supervised Semantic (WSSS)モデルを提案する。 グローバルなオブジェクトコンテキストを異なる粒度空間でキャプチャするために,フレキシブルなコンテキストアグリゲーションモジュールを提案する。 局所的な細粒度を集約するために、ボトムアップパラメータ学習可能な方法で意味的に一貫した特徴融合モジュールを提案する。
  論文  参考訳（メタデータ） (2023-04-18T15:29:23Z)
• Feasible and Desirable Counterfactual Generation by Preserving Human Defined Constraints [6.123324869194193]
  本稿では,グローバルかつ局所的な実現可能性の制約を保った対実的(CF)説明を生成するための,ループ内の人間的アプローチを提案する。 提案手法は,これらの制約に違反する勾配ステップを拒否することでCF説明を生成するために,この知識を効果的に活用する。 CF生成中に因果制約を組み込むことで,参加者への実現可能性や望ましさの観点から,より優れた説明ができることを示す。
  論文  参考訳（メタデータ） (2022-10-12T08:04:37Z)
• An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
  過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。 ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
  論文  参考訳（メタデータ） (2021-02-17T19:55:42Z)
• On Lower Bounds for Standard and Robust Gaussian Process Bandit Optimization [55.937424268654645]
  有界ノルムを持つ関数のブラックボックス最適化問題に対するアルゴリズム非依存な下界を考える。 本稿では, 単純さ, 汎用性, エラー確率への依存性の向上など, 後悔の下位境界を導出するための新しい証明手法を提案する。
  論文  参考訳（メタデータ） (2020-08-20T03:48:14Z)
• Hierarchical Verification for Adversarial Robustness [89.30150585592648]
  正解点$ell_p$ロバスト性検証問題に対する新しいフレームワークを提案する。 LayerCertは、修正線形アクティベーション(ReLU)を用いたディープフィードフォワードネットワークの階層的幾何構造を利用する 提案手法は,GeoCertに比べて,解決すべき凸プログラムの数とサイズを確実に削減できることを示す。
  論文  参考訳（メタデータ） (2020-07-23T07:03:05Z)
• An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
  ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。 制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。 線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
  論文  参考訳（メタデータ） (2020-02-17T12:25:01Z)
• Best Arm Identification for Cascading Bandits in the Fixed Confidence Setting [81.70513857417106]
  CascadeBAIを設計し、分析する。これは、$K$アイテムのベストセットを見つけるアルゴリズムである。 CascadeBAIの時間的複雑さの上限は、決定的な分析課題を克服することによって導かれる。 その結果,カスケードBAIの性能は,時間的複雑性の低い境界の導出により,いくつかの実践的状況において最適であることが示唆された。
  論文  参考訳（メタデータ） (2020-01-23T16:47:52Z)
• The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs [10.042878093985458]
  制約が存在する場合のオントロジーによるクエリとクエリは2つの重要なデータベース問題である。 保護されたTGDとUCQのコンテキストにおける効率的なクエリ評価の限界を実際のクエリとして検討する。
  論文  参考訳（メタデータ） (2019-12-28T11:08:33Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。