論文の概要: An Embedding-based Approach to Inconsistency-tolerant Reasoning with
Inconsistent Ontologies
- arxiv url: http://arxiv.org/abs/2304.01664v2
- Date: Sun, 26 Nov 2023 08:11:57 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-30 16:27:53.401043
- Title: An Embedding-based Approach to Inconsistency-tolerant Reasoning with
Inconsistent Ontologies
- Title（参考訳）: 非一貫性オントロジーを用いた不整合耐性推論への埋め込みに基づくアプローチ
- Authors: Keyu Wang, Site Li, Jiaye Li, Guilin Qi and Qiu Ji
- Abstract要約: 本稿では,公理の埋め込みに基づく一貫性のない意味論による推論手法を提案する。
組込みに基づく手法は、最大一貫した部分集合に基づく既存の矛盾耐性推論手法よりも優れていることを示す。
- 参考スコア（独自算出の注目度）: 12.760301272393898
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Inconsistency handling is an important issue in knowledge management.
Especially in ontology engineering, logical inconsistencies may occur during
ontology construction. A natural way to reason with an inconsistent ontology is
to utilize the maximal consistent subsets of the ontology. However, previous
studies on selecting maximum consistent subsets have rarely considered the
semantics of the axioms, which may result in irrational inference. In this
paper, we propose a novel approach to reasoning with inconsistent ontologies in
description logics based on the embeddings of axioms. We first give a method
for turning axioms into distributed semantic vectors to compute the semantic
connections between the axioms. We then define an embedding-based method for
selecting the maximum consistent subsets and use it to define an
inconsistency-tolerant inference relation. We show the rationality of our
inference relation by considering some logical properties. Finally, we conduct
experiments on several ontologies to evaluate the reasoning power of our
inference relation. The experimental results show that our embedding-based
method can outperform existing inconsistency-tolerant reasoning methods based
on maximal consistent subsets.
- Abstract（参考訳）: 不整合処理は知識管理において重要な問題である。
特にオントロジー工学では、論理的な矛盾はオントロジー構築中に起こりうる。
矛盾するオントロジーで推論する自然な方法は、オントロジーの最大一貫した部分集合を利用することである。
しかしながら、最大整合性部分集合の選択に関する以前の研究は公理の意味論をほとんど考慮していないため、不合理な推論につながる可能性がある。
本稿では,公理の埋め込みに基づく記述論理における矛盾したオントロジーを推論する新しい手法を提案する。
まず, 公理を分散意味ベクトルに変換し, 公理間の意味接続を計算する手法を提案する。
次に,最大一貫性部分集合を選択する組込みベース手法を定義し,非一貫性許容推論関係を定義する。
いくつかの論理的性質を考慮した推論関係の有理性を示す。
最後に,いくつかのオントロジーについて実験を行い,推論関係の推論力を評価する。
実験結果から, 組込み法は, 最大一貫した部分集合に基づく既存不整合耐性推論法より優れることが示された。
関連論文リスト
- Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
言語モデル(LM)は、しばしば帰納的推論に不足する。
我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。
本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
論文 参考訳（メタデータ） (2023-10-12T17:51:10Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Strengthening Consistency Results in Modal Logic [0.0]
モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。
この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。
本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
論文 参考訳（メタデータ） (2023-07-11T07:05:37Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Learnability with PAC Semantics for Multi-agent Beliefs [38.88111785113001]
推論と帰納の緊張は、おそらく哲学、認知、人工知能といった分野において最も根本的な問題である。
Valiant氏は、学習の課題は推論と統合されるべきである、と認識した。
古典的な包含よりも弱いが、クエリに応答する強力なモデル理論のフレームワークを可能にする。
論文 参考訳（メタデータ） (2023-06-08T18:22:46Z) - Abductive Commonsense Reasoning Exploiting Mutually Exclusive
Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。
自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。
この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文 参考訳（メタデータ） (2023-05-24T01:35:10Z) - Dual Box Embeddings for the Description Logic EL++ [16.70961576041243]
知識グラフ(KG)と同様に、知識グラフはしばしば不完全であり、それらの維持と構築は困難であることが証明された。
KGsと同様に、有望なアプローチは、潜在ベクトル空間への埋め込みを学習し、基礎となるDLのセマンティクスに固執することである。
そこで本研究では,概念と役割をボックスとして表現した,DL EL++用のBox$2$ELという新しいオントロジー埋め込み手法を提案する。
論文 参考訳（メタデータ） (2023-01-26T14:13:37Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。
これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文 参考訳（メタデータ） (2021-05-10T19:06:07Z) - Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [2.627046865670577]
シーケント型証明システムにおいて、最小の矛盾に基づく非単調パラ一貫性論理の族に対する一様公理を導入する。
パラドックスの3値最小矛盾論理と、アリエリとアヴロンによる4値パラドックス推論関係について、シークエント型計算を提供する。
論文 参考訳（メタデータ） (2020-09-22T00:49:52Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z) - Invariant Rationalization [84.1861516092232]
典型的な合理化基準、すなわち最大相互情報(MMI)は、合理性のみに基づいて予測性能を最大化する合理性を見つける。
ゲーム理論の不変な有理化基準を導入し、各環境において同じ予測器を最適にするために、有理を制約する。
理論的にも実証的にも、提案された理性は、素早い相関を除外し、異なるテストシナリオをより一般化し、人間の判断とよく一致させることができることを示す。
論文 参考訳（メタデータ） (2020-03-22T00:50:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。