論文の概要: Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases

• arxiv url: http://arxiv.org/abs/2102.13162v1
• Date: Thu, 25 Feb 2021 20:44:42 GMT
• ステータス: 処理完了
• システム内更新日: 2021-03-01 13:54:07.124421
• Title: Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases
• Title（参考訳）: 連結ハイブリッドmknf知識ベースのための既定集合
• Authors: Spencer Killen, Jia-Haui You
• Abstract要約: 分散ハイブリッドMKNF知識ベースとASPは、推論タスクの複雑さを増大させることなく拡張する場合もある。 解離的ハイブリッドMKNF知識ベースを解く唯一の方法は、推測と検証に基づいている。 これらの知識ベースに対する根拠のない集合の概念を形式化し、下限を特定し、これらを解法にどのように統合するかを実証する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Combining the closed-world reasoning of answer set programming (ASP) with the open-world reasoning of ontologies broadens the space of applications of reasoners. Disjunctive hybrid MKNF knowledge bases succinctly extend ASP and in some cases without increasing the complexity of reasoning tasks. However, in many cases, solver development is lagging behind. As the result, the only known method of solving disjunctive hybrid MKNF knowledge bases is based on guess-and-verify, as formulated by Motik and Rosati in their original work. A main obstacle is understanding how constraint propagation may be performed by a solver, which, in the context of ASP, centers around the computation of \textit{unfounded atoms}, the atoms that are false given a partial interpretation. In this work, we build towards improving solvers for hybrid MKNF knowledge bases with disjunctive rules: We formalize a notion of unfounded sets for these knowledge bases, identify lower complexity bounds, and demonstrate how we might integrate these developments into a solver. We discuss challenges introduced by ontologies that are not present in the development of solvers for disjunctive logic programs, which warrant some deviations from traditional definitions of unfounded sets. We compare our work with prior definitions of unfounded sets.
• Abstract（参考訳）: 応答集合プログラミング(ASP)のクローズドワールド推論とオントロジーのオープンワールド推論を組み合わせることで、推論者の応用の空間を広げる。 分岐型ハイブリッドMKNF知識ベースはASPを簡潔に拡張し、場合によっては推論タスクの複雑さを増すことなく拡張する。 しかし多くの場合、解法の開発は遅れている。 その結果,motik と rosati が原著で定式化した推測と検証に基づく,結合型ハイブリッド mknf の知識ベースを解く唯一の方法が知られている。 主な障害は、解法でどのように制約伝達を行うかを理解することである。これは、aspの文脈では、部分的な解釈によって誤った原子である \textit{unground atoms} の計算を中心にしている。 本研究では,これらの知識ベースに対する既定集合の概念を形式化し,より低い複雑性境界を特定し,これらの発展を解法にどのように統合するかを実証する。 本稿では,非基底集合の従来の定義から逸脱することを保証する解法の開発に存在しないオントロジーによってもたらされる課題について論じる。 我々は、未確立集合の事前定義と比較する。

関連論文リスト

• GIVE: Structured Reasoning with Knowledge Graph Inspired Veracity Extrapolation [108.2008975785364]
  Graph Inspired Veracity Extrapolation (GIVE)は、パラメトリックメモリと非パラメトリックメモリを統合する新しい推論フレームワークである。 本手法は,ゴールド回答検索ではなく,専門家の問題解決に類似した論理的・段階的推論手法を提案する。
  論文  参考訳（メタデータ） (2024-10-11T03:05:06Z)
• On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases [1.6424391774944478]
  本稿では,HMKNF-KBの競合駆動型解法に必要な理論的基盤について検討する。 これは、MKNFモデルの満足度を特徴付ける、完了式とループ公式のセットを定義する。 これは一組のノーグッドの基底を形成し、結果としてコンフリクト駆動のソルバのバックボーンとして使用できる。
  論文  参考訳（メタデータ） (2024-08-19T01:13:02Z)
• A Knowledge-Injected Curriculum Pretraining Framework for Question Answering [70.13026036388794]
  本稿では,知識に基づく質問応答タスクの総合的なKG学習と活用を実現するための一般知識注入型カリキュラム事前学習フレームワーク(KICP)を提案する。 KIモジュールはまずKG中心の事前学習コーパスを生成してLMに知識を注入し、プロセスを3つの重要なステップに一般化する。 KAモジュールは、アダプタを備えたLMで生成されたコーパスから知識を学習し、元の自然言語理解能力を維持できる。 CRモジュールは人間の推論パターンに従って3つのコーパスを構築する。
  論文  参考訳（メタデータ） (2024-03-11T03:42:03Z)
• Soft Reasoning on Uncertain Knowledge Graphs [85.1968214421899]
  本研究では,ソフト制約プログラミングの確立を動機とした,不確実な知識に対するソフトクエリの設定について検討する。 本稿では,大規模,不完全,不確実な知識グラフ上でのソフトクエリに応答する,前方推論と後方校正を併用したMLベースのアプローチを提案する。
  論文  参考訳（メタデータ） (2024-03-03T13:13:53Z)
• Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language Models [49.23348672822087]
  構造化された事実制約に縛られた不完全な知識ネットワークからなるベンチマークである知識クロスワードを提案する。 幾何学的知識推論の新しい設定は、既存の原子/線形マルチホップQAを超える新しいLM能力を必要とする。 我々は,既存のLLMと知識クロスワードのアプローチを評価するために,広範囲な実験を行っている。
  論文  参考訳（メタデータ） (2023-10-02T15:43:53Z)
• Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality [4.447467536572624]
  典型性を持つ記述論理の重み付き知識ベースは、多層パーセプトロンの論理的解釈を提供する。 ASPは有限個の値を持つ場合において、デファシブルな推論に対処するのに適していることが示されている。 本稿ではPNP[log]$-completeness結果と,大規模検索空間を持つ重み付き知識ベースを扱うASPエンコーディングを提案する。
  論文  参考訳（メタデータ） (2023-03-08T12:08:53Z)
• DecAF: Joint Decoding of Answers and Logical Forms for Question Answering over Knowledge Bases [81.19499764899359]
  本稿では,論理形式と直解の両方を共同で生成する新しいフレームワークDecAFを提案する。 DecAFはWebQSP、FreebaseQA、GrailQAベンチマークで新しい最先端の精度を実現している。
  論文  参考訳（メタデータ） (2022-09-30T19:51:52Z)
• A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases [0.0]
  本稿では,3値のハイブリッドMKNF知識ベースを分割規則で反復的にキャプチャする演算子を用いて,頭部切断を利用する固定点構成を提案する。 この研究は、あるプログラムを、空の答えを持つ共役ハイブリッドMKNF知識ベースとして表現できるため、解離論理プログラムの部分安定モデルも取得する。
  論文  参考訳（メタデータ） (2022-08-05T10:47:07Z)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。 資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。 境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
  論文  参考訳（メタデータ） (2021-12-22T19:00:03Z)
• Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures [13.245718532835864]
  コンテキスト化知識リポジトリ(CKR)は記述論理に根ざしているが、論理プログラムに強く関連している。 本稿では、複数の文脈関係に対するCKR階層の一般化と、デフェイザブルな公理と選好の解釈について述べる。 複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現可能であることを示す。
  論文  参考訳（メタデータ） (2021-08-06T13:06:45Z)
• Revisiting the Prepositional-Phrase Attachment Problem Using Explicit Commonsense Knowledge [1.0312968200748118]
  我々は、明示的なコモンセンス知識ベースが、適切なアタッチメント決定に不可欠な要素となることを論じる。 本結果から,コモンセンス・ナレッジ・ベース・アプローチは,ルール・ベースと統計的手法を融合することにより,両者の長所を享受できることが示唆された。
  論文  参考訳（メタデータ） (2021-02-01T15:48:36Z)

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

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