Fugu-MT 論文翻訳(概要): Hybrid MKNF with Classical Negation in the Rule Component

論文の概要: Hybrid MKNF with Classical Negation in the Rule Component

arxiv url: http://arxiv.org/abs/2607.21202v1
Date: Thu, 23 Jul 2026 11:20:15 GMT
ステータス: 翻訳完了
システム内更新日: 2026-07-24 18:26:25.388344
Title: Hybrid MKNF with Classical Negation in the Rule Component
Title（参考訳）: 規則成分における古典的否定を伴うハイブリッドMKNF
Abstract要約: ハイブリッドMKNF知識ベースはルールコンポーネントの古典的否定をサポートしない。この制限は特に安全クリティカルな応用において重要である。ルールコンポーネントにおける古典的否定をサポートするHybrid MKNFの拡張を提案する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Hybrid MKNF knowledge bases under the well-founded semantics integrate Description Logics with Logic Programming. However, they do not support classical negation in the rule component, limiting their ability to represent explicit negative knowledge. This limitation is particularly significant in safety-critical applications, where reasoning often requires explicit negative information rather than interpreting the absence of information as evidence of absence. To address this issue, we introduce an extension of Hybrid MKNF that supports classical negation in the rule component. We formally define the syntax and semantics of the extended language and present a general procedure for computing its well-founded model.
Abstract（参考訳）: 十分に確立されたセマンティクスの下でのハイブリッドMKNF知識ベースは、Description LogicsとLogic Programmingを統合している。しかし、それらはルールコンポーネントにおける古典的な否定をサポートしておらず、明示的な否定的な知識を表現する能力を制限する。この制限は、情報の欠如を不在の証拠として解釈するよりも、しばしば明確な否定的な情報を必要とする安全クリティカルな応用において特に重要である。この問題に対処するために、ルールコンポーネントの古典的否定をサポートするHybrid MKNFの拡張を導入する。我々は、拡張言語の構文と意味を正式に定義し、その十分に確立されたモデルを計算するための一般的な手順を示す。

関連論文リスト

Are Language Models Efficient Reasoners? A Perspective from Logic Programming [109.47572890883248]
現代言語モデル(LM)は、強い推論能力を示すが、標準的な評価は、人間のような推論の重要な側面である効率性を見越しながら、正確性を強調する。本稿では、論理プログラミングのレンズを用いて、LM推論効率を評価するためのフレームワークを提案する。
論文参考訳（メタデータ） (2025-10-29T15:30:31Z)
A Reduction of Input/Output Logics to SAT [51.82266520875928]
デオン論理(Deontic logic)は、規範、義務、許可、禁止について推論するための形式主義である。本稿では,I/O論理の自動化手法を提案する。
論文参考訳（メタデータ） (2025-08-22T09:22:26Z)
On the Logical Content of Logic Programs [0.0]
本稿では,プログラムが知っていることを説明するサポートの関係を定義することで,論理プログラミング(LP)の新たな視点を紹介する。結果は、証明理論のセマンティクスにおける基本拡張セマンティクスの考え方を用いて定式化される。提案手法は,LPの論理的基礎に関する新たな知見を提供し,知識表現や自動推論,形式的検証などに応用できる可能性がある。
論文参考訳（メタデータ） (2025-03-07T11:58:08Z)
A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文参考訳（メタデータ） (2024-05-10T14:13:21Z)
ChatRule: Mining Logical Rules with Large Language Models for Knowledge Graph Reasoning [107.61997887260056]
そこで我々は,知識グラフ上の論理ルールをマイニングするための大規模言語モデルの力を解き放つ新しいフレームワークChatRuleを提案する。具体的には、このフレームワークは、KGのセマンティック情報と構造情報の両方を活用するLLMベースのルールジェネレータで開始される。生成されたルールを洗練させるために、ルールランキングモジュールは、既存のKGから事実を取り入れてルール品質を推定する。
論文参考訳（メタデータ） (2023-09-04T11:38:02Z)
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems [5.208405959764274]
本稿では,AFTに類似した手法を導入し,事前計算した上界を利用して意味をより正確に把握する手法を提案する。我々は、最先端の近似器を拡張することで、MKNF(最小限の知識と失敗を否定する)の知識ベースへのフレームワークの適用性を実証する。
論文参考訳（メタデータ） (2023-07-21T01:08:15Z)
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming [11.215352918313577]
近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。 AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
論文参考訳（メタデータ） (2022-11-30T18:58:32Z)
Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation [59.307534363825816]
否定は現在の言語モデルでは不十分だが、この問題の範囲は広く理解されていない。自然言語推論(NLI)テストスイートを導入し,NLP手法の能力を検証した。
論文参考訳（メタデータ） (2022-10-06T23:39:01Z)
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases [0.0]
本稿では,3値のハイブリッドMKNF知識ベースを分割規則で反復的にキャプチャする演算子を用いて,頭部切断を利用する固定点構成を提案する。この研究は、あるプログラムを、空の答えを持つ共役ハイブリッドMKNF知識ベースとして表現できるため、解離論理プログラムの部分安定モデルも取得する。
論文参考訳（メタデータ） (2022-08-05T10:47:07Z)
LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linking [62.634516517844496]
本稿では,解釈可能なルールとニューラルネットワークの性能を併用したニューラルシンボリックアプローチであるLNN-ELを提案する。ルールの使用に制約があるにもかかわらず、LNN-ELはSotAのブラックボックスニューラルアプローチと競合する。
論文参考訳（メタデータ） (2021-06-17T20:22:45Z)
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases [0.0]
分散ハイブリッドMKNF知識ベースとASPは、推論タスクの複雑さを増大させることなく拡張する場合もある。解離的ハイブリッドMKNF知識ベースを解く唯一の方法は、推測と検証に基づいている。これらの知識ベースに対する根拠のない集合の概念を形式化し、下限を特定し、これらを解法にどのように統合するかを実証する。
論文参考訳（メタデータ） (2021-02-25T20:44:42Z)

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