論文の概要: Querying Inconsistent Prioritized Data with ORBITS: Algorithms,
Implementation, and Experiments
- arxiv url: http://arxiv.org/abs/2202.07980v1
- Date: Wed, 16 Feb 2022 10:44:39 GMT
- ステータス: 処理完了
- システム内更新日: 2022-02-17 23:03:09.652471
- Title: Querying Inconsistent Prioritized Data with ORBITS: Algorithms,
Implementation, and Experiments
- Title（参考訳）: ORBITSによる一貫性のない優先順位付けデータのクエリ:アルゴリズム,実装,実験
- Authors: Meghyn Bienvenu, Camille Bourgaux
- Abstract要約: 優先順位付けされた知識ベース上で不整合耐性問合せ応答を行うための実用的なアルゴリズムについて検討する。
最適補修の2つの概念に基づく3つのよく知られた意味論(AR, IAR, 勇敢)を考える(パレート, 完成)。
- 参考スコア（独自算出の注目度）: 12.952483242045366
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We investigate practical algorithms for inconsistency-tolerant query
answering over prioritized knowledge bases, which consist of a logical theory,
a set of facts, and a priority relation between conflicting facts. We consider
three well-known semantics (AR, IAR and brave) based upon two notions of
optimal repairs (Pareto and completion). Deciding whether a query answer holds
under these semantics is (co)NP-complete in data complexity for a large class
of logical theories, and SAT-based procedures have been devised for
repair-based semantics when there is no priority relation, or the relation has
a special structure. The present paper introduces the first SAT encodings for
Pareto- and completion-optimal repairs w.r.t. general priority relations and
proposes several ways of employing existing and new encodings to compute
answers under (optimal) repair-based semantics, by exploiting different
reasoning modes of SAT solvers. The comprehensive experimental evaluation of
our implementation compares both (i) the impact of adopting semantics based on
different kinds of repairs, and (ii) the relative performances of alternative
procedures for the same semantics.
- Abstract（参考訳）: 本稿では, 論理理論, 事実の集合, 矛盾する事実の優先順位関係からなる, 優先知識ベースに対する不整合性問合せ応答の実践的アルゴリズムについて検討する。
最適な修復(パレートと完了)という2つの概念に基づいて、よく知られた3つの意味論(AR、IAR、勇敢)を考える。
これらのセマンティクスの下でクエリ応答が保持するかどうかを判断することは、論理理論の大規模クラスのデータ複雑性において(co)np完全であり、優先関係がない場合の修正に基づくセマンティクスのためにsatベースの手順が考案されている。
本稿では,パレートと完了-最適補修のための最初のSATエンコーディングについて紹介し,SATソルバの様々な推論モードを利用して,(最適)補修に基づくセマンティクスに基づく解の計算に既存のおよび新しいエンコーディングを用いる方法を提案する。
実装の包括的実験評価は両者を比較した
(i)異なる種類の修理に基づく意味論の採用の影響、
(ii)同一意味論に対する代替手順の相対的性能
関連論文リスト
- Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models [4.007697401483925]
階層モデルに基づく選好文の一貫性問題の解法として,アルゴリズム的手法を構築し,比較する。
インスタンスが一貫すると、評価関数に階層的モデルが存在し、代替関数の順序関係を誘導する。
この問題を解決するための3つのアプローチを開発する。
論文 参考訳（メタデータ） (2024-10-31T13:48:46Z) - Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension [9.67774998354062]
これまでの研究は主に、Chain-of-Thought(CoT)やデータ拡張による論理的推論能力の向上に重点を置いてきた。
本稿では,CoTの論理式を生成するためのPODA(Premise-Oriented Data Augmentation)フレームワークを提案する。
また,本論文では,原案と反実例の推論経路を比較検討する新たな思考経路コントラスト学習手法についても紹介する。
論文 参考訳（メタデータ） (2024-09-22T15:44:43Z) - H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables [56.73919743039263]
本稿では,2段階のプロセスにシンボル的アプローチと意味的アプローチ(テキスト的アプローチ)を統合し,制約に対処する新しいアルゴリズムを提案する。
実験の結果,H-STARは3つの質問応答(QA)と事実検証データセットにおいて,最先端の手法を大幅に上回っていることがわかった。
論文 参考訳（メタデータ） (2024-06-29T21:24:19Z) - Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors [58.340159346749964]
本稿では,証明可能な推論能力を備えた複雑なクエリを用いたエンドツーエンド学習を支援するニューラルシンボリック手法を提案する。
これまでに検討されていない10種類の新しいクエリを含む新しいデータセットを開発する。
提案手法は,新しいデータセットにおいて先行手法を著しく上回り,既存データセットにおける先行手法を同時に上回っている。
論文 参考訳（メタデータ） (2023-04-14T11:35:35Z) - Language Model Decoding as Likelihood-Utility Alignment [54.70547032876017]
モデルの有効性がタスク固有の実用性の概念とどのように一致しているかについて、暗黙の仮定に基づいて、デコード戦略をグループ化する分類法を導入する。
具体的には、様々なタスクの集合における予測の可能性と有用性の相関を解析することにより、提案された分類を裏付ける最初の実証的証拠を提供する。
論文 参考訳（メタデータ） (2022-10-13T17:55:51Z) - SUN: Exploring Intrinsic Uncertainties in Text-to-SQL Parsers [61.48159785138462]
本稿では,ニューラルネットワークに基づくアプローチ(SUN)における本質的な不確かさを探索することにより,テキストから依存への変換性能を向上させることを目的とする。
5つのベンチマークデータセットの大規模な実験により、我々の手法は競合より大幅に優れ、新しい最先端の結果が得られた。
論文 参考訳（メタデータ） (2022-09-14T06:27:51Z) - Learning to Hash Robustly, with Guarantees [79.68057056103014]
本稿では,理論的アルゴリズムと本質的に一致する最悪ケース保証を持つハミング空間のためのNSアルゴリズムを設計する。
理論的にも実用的にも、与えられたデータセットに対してアルゴリズムが最適化できる能力を評価する。
我々のアルゴリズムは、MNISTおよびImageNetデータセットに対する最悪のパフォーマンスのクエリを、1.8倍と2.1倍の精度でリコールする。
論文 参考訳（メタデータ） (2021-08-11T20:21:30Z) - String Theories involving Regular Membership Predicates: From Practice
to Theory and Back [12.98284167710378]
文字列制約系に対する満足度問題に対するアルゴリズムは、対象ケースに存在する制約の構造を徹底的に理解する必要がある。
本稿では,正規表現構成述語を含む文献で提示されるベンチマークを調査し,異なる一階述語論理理論を抽出し,決定不能性を証明する。
特に、現実世界のベンチマークで最も一般的な理論はPSPACE完全であり、文字列制約を解決するためのより効率的なアルゴリズムの実装に直結する。
論文 参考訳（メタデータ） (2021-05-15T13:13:50Z) - On Guaranteed Optimal Robust Explanations for NLP Models [16.358394218953833]
我々は,マシーン学習のための推論に基づく説明を構築し,ニューラルネットワークモデルのための局所的説明を計算する方法を開発した。
我々は,それぞれ暗黙の打撃集合と最大普遍部分集合に基づく2つの解アルゴリズムを提案する。
SST、Twitter、IMDBデータセットから、広く使用されている3つの感情分析タスクと最大100ワードのテキストに基づいてフレームワークを評価します。
論文 参考訳（メタデータ） (2021-05-08T08:44:48Z) - A Constraint-Based Algorithm for the Structural Learning of
Continuous-Time Bayesian Networks [70.88503833248159]
連続時間ベイズネットワークの構造を学習するための制約に基づく最初のアルゴリズムを提案する。
我々は,条件付き独立性を確立するために提案した,異なる統計的テストと基礎となる仮説について論じる。
論文 参考訳（メタデータ） (2020-07-07T07:34:09Z) - Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation [5.87010466783654]
優先知識ベース(KB)に対する不整合の問題について検討する。
本稿では, 接地拡張に着想を得た優先順位付きKBのセマンティクスを提案し, 良好な特性を享受する。
本研究は、嗜好に基づく議論フレームワークに関する独立した関心の結果ももたらした。
論文 参考訳（メタデータ） (2020-03-12T12:38:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。