Fugu-MT 論文翻訳(概要): A New Well-Supported Semantics for Description Logic Programs

論文の概要: A New Well-Supported Semantics for Description Logic Programs

arxiv url: http://arxiv.org/abs/2607.21203v1
Date: Thu, 23 Jul 2026 11:20:31 GMT
ステータス: 翻訳完了
システム内更新日: 2026-07-24 18:26:25.388781
Title: A New Well-Supported Semantics for Description Logic Programs
Title（参考訳）: 記述論理プログラムのための厳密なセマンティックス
Abstract要約: 本稿では,既存の意味論よりも厳密な存在論的原子を評価できる新しい意味論を提案する。我々の新しいセマンティクスは、現在よく支持されているセマンティクスの厳密なサブセットである。
参考スコア（独自算出の注目度）: 2.990760778216954
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rely on cyclic dependencies. Most popular semantics for logic programming have this property of well-supportedness. We recognize two limitations of the current well-supported semantics for DL programs: its increased computational complexity for the consistency problem and its lack of a reduct transformation characterization. In this work, we present a new semantics which evaluates ontological atoms more strictly than the current semantics. This keeps the complexity of its consistency problem NP-complete, rather than increasing it to the second level of the polynomial hierarchy. Additionally, we identify a syntactic class of description logic programs for which our new semantics is equivalent to the current semantics. We characterize our semantics using a fixpoint operator and a reduct-based transformation. Our new semantics is a strict subset of the current well-supported semantics, so it maintains the prior notion of well-supportedness while inducing its own stricter notion. We prefer our new notion of well-supportedness due to its similarities with logic programming.
Abstract（参考訳）: 記述論理プログラムは、規則とオントロジを組み合わせるための強力な形式主義である。記述ロジックプログラムのためのよくサポートされているセマンティクスは、回答セットが循環依存に依存しないことを保証する。最も一般的な論理プログラミングのセマンティクスは、よく支持された性質を持っている。本研究は, 整合性問題に対する計算複雑性の増大とレダクト変換のキャラクタリゼーションの欠如という, DLプログラムの現在よくサポートされているセマンティクスの2つの限界を認識した。本研究では,既存のセマンティクスよりも厳密な存在論的原子を評価する新しいセマンティクスを提案する。これは、多項式階層の第二レベルに増やすのではなく、NP完全問題の複雑性を保っている。さらに,新しいセマンティクスが現在のセマンティクスと等価である記述論理プログラムの構文クラスを同定する。我々は,固定点演算子とレダクトに基づく変換を用いてセマンティクスを特徴付ける。我々の新しいセマンティクスは、現在よく支持されているセマンティクスの厳密なサブセットである。我々は、論理プログラミングと類似性から、支持度の高い新しい概念を好む。

関連論文リスト

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation [9.546922368727428]
知識ベース間の強い等価性は、推論結果に影響を与えることなく、一方を他方に置き換える可能性を保証する。これは非単調な形式論において重要な性質である。論理プログラムに強い等価性という新しい概念を導入する。
論文参考訳（メタデータ） (2026-05-14T11:45:37Z)
On the Trap Space Semantics of Normal Logic Programs [2.274915755738124]
任意の正規論理プログラムにトラップ空間意味論を導入する。これらの新しい意味論は、モデル理論と動的特徴付けの両方を受け入れている。この結果から,トラップ空間のセマンティクスは,サポート対象クラスの存在を証明する統一的かつ正確なフレームワークを提供することが示された。
論文参考訳（メタデータ） (2026-01-07T12:06:26Z)
SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic [3.9335611819745355]
条件付きリテラルは、ロジックルールの本体内でネストされた含意として振る舞う。 SM演算子に基づく条件付きリテラルと算術演算を用いた論理プログラムのセマンティクスを提案する。
論文参考訳（メタデータ） (2025-11-03T17:03:29Z)
On the Logical Content of Logic Programs [0.0]
本稿では,プログラムが知っていることを説明するサポートの関係を定義することで,論理プログラミング(LP)の新たな視点を紹介する。結果は、証明理論のセマンティクスにおける基本拡張セマンティクスの考え方を用いて定式化される。提案手法は,LPの論理的基礎に関する新たな知見を提供し,知識表現や自動推論,形式的検証などに応用できる可能性がある。
論文参考訳（メタデータ） (2025-03-07T11:58:08Z)
Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation [85.12429517510311]
LogicDiagは、セマンティックセグメンテーションのためのニューラルネットワークによる半教師付き学習フレームワークである。私たちの重要な洞察は、記号的知識によって識別される擬似ラベル内の衝突は、強いが一般的に無視される学習信号として機能する、ということです。本稿では,論理規則の集合として意味論的概念の構造的抽象化を定式化するデータ・ハングリーセグメンテーションシナリオにおけるLogicDiagの実践的応用について紹介する。
論文参考訳（メタデータ） (2023-08-24T06:50:07Z)
Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts [0.0]
私たちは記述ロジックの拡張に$mathcalEL$をフォーカスします。拡張の有用な断片について、異なる意味論による結論が一致することを示す。わずかに小さいが、それでも有用である断片のために、私たちは拡張の決定可能性を示すことができました。
論文参考訳（メタデータ） (2023-08-16T09:37:38Z)
The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文参考訳（メタデータ） (2023-04-19T13:24:04Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
How could Neural Networks understand Programs? [67.4217527949013]
ソースコードにnlpプリトレーニング技術を直接適用するか、あるいはtheshelfによってモデルに機能を追加するかで、プログラムをより理解するためのモデルを構築するのは難しい。本研究では,(1)操作セマンティクスの基本操作とよく一致する表現と(2)環境遷移の情報からなる情報から,モデルが学ぶべき新しいプログラムセマンティクス学習パラダイムを提案する。
論文参考訳（メタデータ） (2021-05-10T12:21:42Z)
Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文参考訳（メタデータ） (2021-05-08T10:09:36Z)
Syn-QG: Syntactic and Shallow Semantic Rules for Question Generation [49.671882751569534]
我々は、宣言文を質問応答対に変換する透明な統語規則であるSynQGを開発した。 PropBankの引数記述とVerbNet状態述語を利用して、浅いセマンティックコンテンツを組み込む。文法的不正確な質問を排除し,構文の流布性を改善するために,これらの構文規則のアウトプットを逆翻訳する。
論文参考訳（メタデータ） (2020-04-18T19:57:39Z)

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

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