論文の概要: Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective

• arxiv url: http://arxiv.org/abs/2510.00817v2
• Date: Thu, 02 Oct 2025 09:38:17 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-03 16:59:20.55088
• Title: Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
• Title（参考訳）: 1次c-表現とコストベースセマンティックのセマンティックブリッジ--最初の展望
• Authors: Nicholas Leisegang, Giovanni Casini, Thomas Meyer,
• Abstract要約: 重み付けされた知識ベースとデファジブル条件セットが解釈に基づいて同じ順序を生成可能であることを示す。 我々の結果は、コストベースのセマンティクスとc-表現の両方において、さらなる作業の恩恵を受ける可能性がある。
• 参考スコア（独自算出の注目度）: 0.45880283710344055
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge base is inconsistent. This is done by adding a weight to each statement in the knowledge base (KB), and then giving each DL interpretation a cost based on how often it breaks rules in the KB. In this paper we compare this approach with c-representations, a form of non-monotonic reasoning originally introduced by Kern-Isberner. c-Representations describe a means to interpret defeasible concept inclusions in the first-order case. This is done by assigning a numerical ranking to each interpretations via penalties for each violated conditional. We compare these two approaches on a semantic level. In particular, we show that under certain conditions a weighted knowledge base and a set of defeasible conditionals can generate the same ordering on interpretations, and therefore an equivalence of semantic structures up to relative cost. Moreover, we compare entailment described in both cases, where certain notions are equivalently expressible in both formalisms. Our results have the potential to benefit further work on both cost-based semantics and c-representations
• Abstract（参考訳）: 重み付き知識ベースとコストベースのセマンティクスは、与えられた知識ベースが矛盾している場合に、オントロジー仲介データクエリーのためにBienvenuらによって導入された最近の形式主義を表している。 これは知識ベース(KB)の各ステートメントに重みを追加し、KBのルールをいかに頻繁に破るかに基づいて各DL解釈にコストを与える。 本稿では,Kern-Isberner が最初に導入した非単調推論の形式である c-representations と比較する。 c-表現(c-Representations)は、デファシブルな概念包含を1次の場合で解釈する手段を記述する。 これは、違反した各条件に対する罰則によって、各解釈に数値ランキングを割り当てることによって行われる。 これら2つのアプローチを意味レベルで比較する。 特に, ある条件下では, 重み付けされた知識ベースと解約可能な条件セットが, 解釈に基づいて同じ順序を生成でき, 従って, 相対的なコストによる意味構造の等価性を示す。 さらに、どちらの場合においても、ある概念が両形式主義で等価に表現できるようなエンテーメントを比較する。 我々の結果は、コストベースのセマンティクスとc-表現の両方において、さらなる研究の恩恵を受ける可能性がある。

関連論文リスト

• Rational Inference in Formal Concept Analysis [0.4499833362998487]
  定義可能な条件は非単調推論の形式である。 KLMフレームワークは、defeasible conditionalsという命題のセマンティクスを定義する。
  論文  参考訳（メタデータ） (2025-04-07T20:15:20Z)
• Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases [5.222978725954348]
  我々は、公理とアサーションの両方が(おそらく無限の)重みを持つ重み付き知識基底を考える。 確実かつ可能な答えの2つの概念は、コストが与えられた境界を超えない解釈を考えることによって定義される。 我々の主な貢献は、有界コスト満足度と確実かつ可能な回答認識の組合せとデータ複雑さの包括的分析である。
  論文  参考訳（メタデータ） (2024-07-30T11:56:02Z)
• DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment [55.91429725404988]
  判例検索のための識別モデルであるDELTAを紹介する。 我々は浅層デコーダを利用して情報ボトルネックを作り、表現能力の向上を目指しています。 本手法は, 判例検索において, 既存の最先端手法よりも優れている。
  論文  参考訳（メタデータ） (2024-03-27T10:40:14Z)
• AMR4NLI: Interpretable and robust NLI measures from semantic graphs [28.017617759762278]
  自然言語推論は、ある前提が与えられた仮説を含むかどうかを問う。 セマンティック構造を比較し、セマンティックな埋め込みやセマンティックグラフの集合を含む前提と仮説を表現する。 本評価では,文脈的埋め込みと意味グラフの両方に価値を見出す。
  論文  参考訳（メタデータ） (2023-06-01T17:39:40Z)
• RankCSE: Unsupervised Sentence Representations Learning via Learning to Rank [54.854714257687334]
  本稿では,教師なし文表現学習のための新しい手法であるRangCSEを提案する。 コントラスト学習を伴うランキング一貫性とランキング蒸留を統一された枠組みに組み込む。 セマンティックテキスト類似性(STS)と転送タスク(TR)の両方について、広範な実験が実施されている。
  論文  参考訳（メタデータ） (2023-05-26T08:27:07Z)
• Enriching Disentanglement: From Logical Definitions to Quantitative Metrics [59.12308034729482]
  複雑なデータにおける説明的要素を遠ざけることは、データ効率の表現学習にとって有望なアプローチである。 論理的定義と量的指標の関連性を確立し, 理論的に根ざした絡み合いの指標を導出する。 本研究では,非交叉表現の異なる側面を分離することにより,提案手法の有効性を実証的に実証する。
  論文  参考訳（メタデータ） (2023-05-19T08:22:23Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。 これは、説明に表される論理述語に基づいて、反実仮説を生成する。 そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
  論文  参考訳（メタデータ） (2022-05-25T03:40:59Z)
• Supporting Vision-Language Model Inference with Confounder-pruning Knowledge Prompt [71.77504700496004]
  視覚言語モデルは、オープンセットの視覚概念を扱うために、画像とテキストのペアを共通の空間に整列させることで事前訓練される。 事前訓練されたモデルの転送可能性を高めるため、最近の研究では、固定または学習可能なプロンプトが採用されている。 しかし、どのようにして、どのプロンプトが推論性能を改善するのかは、まだ不明である。
  論文  参考訳（メタデータ） (2022-05-23T07:51:15Z)

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

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