論文の概要: Reasoning on Multi-Relational Contextual Hierarchies via Answer Set
Programming with Algebraic Measures
- arxiv url: http://arxiv.org/abs/2108.03100v1
- Date: Fri, 6 Aug 2021 13:06:45 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-09 14:27:32.437711
- Title: Reasoning on Multi-Relational Contextual Hierarchies via Answer Set
Programming with Algebraic Measures
- Title（参考訳）: 代数測度を用いた解集合プログラミングによるマルチリレーショナル文脈階層の推論
- Authors: Loris Bozzato, Thomas Eiter, Rafael Kiesel
- Abstract要約: コンテキスト化知識リポジトリ(CKR)は記述論理に根ざしているが、論理プログラムに強く関連している。
本稿では、複数の文脈関係に対するCKR階層の一般化と、デフェイザブルな公理と選好の解釈について述べる。
複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現可能であることを示す。
- 参考スコア（独自算出の注目度）: 13.245718532835864
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Dealing with context dependent knowledge has led to different formalizations
of the notion of context. Among them is the Contextualized Knowledge Repository
(CKR) framework, which is rooted in description logics but links on the
reasoning side strongly to logic programs and Answer Set Programming (ASP) in
particular. The CKR framework caters for reasoning with defeasible axioms and
exceptions in contexts, which was extended to knowledge inheritance across
contexts in a coverage (specificity) hierarchy. However, the approach supports
only this single type of contextual relation and the reasoning procedures work
only for restricted hierarchies, due to non-trivial issues with model
preference under exceptions. In this paper, we overcome these limitations and
present a generalization of CKR hierarchies to multiple contextual relations,
along with their interpretation of defeasible axioms and preference. To support
reasoning, we use ASP with algebraic measures, which is a recent extension of
ASP with weighted formulas over semirings that allows one to associate
quantities with interpretations depending on the truth values of propositional
atoms. Notably, we show that for a relevant fragment of CKR hierarchies with
multiple contextual relations, query answering can be realized with the popular
asprin framework. The algebraic measures approach is more powerful and enables
e.g. reasoning with epistemic queries over CKRs, which opens interesting
perspectives for the use of quantitative ASP extensions in other applications.
Under consideration for acceptance in Theory and Practice of Logic Programming
(TPLP).
- Abstract（参考訳）: 文脈依存的な知識を扱うことは、文脈の概念の形式化に繋がる。
このフレームワークは記述ロジックに根ざしているが、論理プログラムと特に解集合プログラミング(asp)に強く関連している。
CKRフレームワークは、コンテキスト内の非実現可能な公理と例外を推論するために機能し、カバレッジ(特異性)階層内のコンテキスト間での知識継承にまで拡張された。
しかしながら、このアプローチは、この単一のタイプのコンテキスト関係のみをサポートし、推論手順は制限された階層に対してのみ機能する。
本稿では,これらの制約を克服し,複数の文脈的関係に対するCKR階層の一般化と,デファジブルな公理と選好の解釈を提案する。
論理的測度を持つASPは、半環上の重み付き公式を持つ最近のASPの拡張であり、命題原子の真理値に依存する解釈と量とを関連付けることができる。
特に、複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現できることを示す。
代数測度アプローチはより強力で、例えば、有効である。
CKR上でのエピステマティッククエリによる推論は、他のアプリケーションで定量的ASP拡張を使用するための興味深い視点を開放する。
論理プログラミング(tplp)の理論と実践における受容について考察する。
関連論文リスト
- GRS-QA -- Graph Reasoning-Structured Question Answering Dataset [50.223851616680754]
グラフ推論-構造化質問応答データセット(GRS-QA)を導入する。
既存のM-QAデータセットとは異なり、GRS-QAは推論グラフを構築することで複雑な推論経路を明示的にキャプチャする。
実験により, LLMは, 様々な推論構造を用いて, 問合せ処理を行う際に, 異なる性能を示すことが明らかとなった。
論文 参考訳（メタデータ） (2024-11-01T05:14:03Z) - Aggregation of Reasoning: A Hierarchical Framework for Enhancing Answer Selection in Large Language Models [84.15513004135576]
最近の研究は、複数の推論チェーンをサンプリングし、応答周波数に基づいてアンサンブルすることで、Large Language Models(LLMs)の推論性能を向上させる。
このアプローチは、正しい答えが少数派である場合に失敗する。
階層的推論集約フレームワークAoRを導入し、推論連鎖の評価に基づいて回答を選択する。
論文 参考訳（メタデータ） (2024-05-21T17:12:19Z) - LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning [61.7853049843921]
Chain-of-Thoughting(CoT)プロンプトは、大規模言語モデル(LLM)のための一般的なコンテキスト内学習手法である。
本稿では、教師なし学習を用いて有理数の潜在空間表現を生成するLaRS(Lalatnt Reasoning Skills)という新しいアプローチを提案する。
論文 参考訳（メタデータ） (2023-12-07T20:36:10Z) - A Principled Framework for Knowledge-enhanced Large Language Model [58.1536118111993]
大規模言語モデル(LLM)は汎用性があるが、深い信頼性のある推論を必要とするタスクに悩まされることが多い。
本稿では、知識を効果的に固定し、閉ループ推論プロセスを用いるLLMを作成するための厳密な設計のフレームワークを提案する。
論文 参考訳（メタデータ） (2023-11-18T18:10:02Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Query Structure Modeling for Inductive Logical Reasoning Over Knowledge
Graphs [67.043747188954]
KGに対する帰納的論理的推論のための構造モデル付きテキスト符号化フレームワークを提案する。
線形化されたクエリ構造とエンティティを、事前訓練された言語モデルを使ってエンコードして、回答を見つける。
2つの帰納的論理推論データセットと3つの帰納的推論データセットについて実験を行った。
論文 参考訳（メタデータ） (2023-05-23T01:25:29Z) - Analyzing Semantics of Aggregate Answer Set Programming Using
Approximation Fixpoint Theory [1.295566630218982]
三項満足関係の概念を導入し、その観点から安定した意味論を定義する。
3次満足度関係は,標準ゲルフォンド・リフシッツレダクトと,AFTの枠組みで定義された安定意味論のギャップを橋渡しすることを示す。
論文 参考訳（メタデータ） (2021-04-30T07:06:27Z) - ASP(AC): Answer Set Programming with Algebraic Constraints [20.559497209595822]
本稿では、半順序値と重み付け式評価を比較する制約を含むような、代数制約付き解集合プログラミング(ASP(AC))を紹介する。
この研究は論理プログラミングの理論と実践の受け入れを検討中である。
論文 参考訳（メタデータ） (2020-08-10T10:20:49Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。