論文の概要: Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical
Perspective
- arxiv url: http://arxiv.org/abs/2205.04882v1
- Date: Tue, 10 May 2022 13:33:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2022-05-12 20:04:21.591587
- Title: Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical
Perspective
- Title（参考訳）: 順序交叉をもつ論理プログラムの強い等価性:論理的視点
- Authors: Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
- Abstract要約: 順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。
本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。
LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
- 参考スコア（独自算出の注目度）: 1.160208922584163
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Logic Programs with Ordered Disjunction (LPODs) extend classical logic
programs with the capability of expressing preferential disjunctions in the
heads of program rules. The initial semantics of LPODs, although simple and
quite intuitive, is not purely model-theoretic. A consequence of this is that
certain properties of programs appear non-trivial to formalize in purely
logical terms. An example of this state of affairs is the characterization of
the notion of strong equivalence for LPODs. Although the results of Faber et
al. (2008) are accurately developed, they fall short of characterizing strong
equivalence of LPODs as logical equivalence in some specific logic. This comes
in sharp contrast with the well-known characterization of strong equivalence
for classical logic programs, which, as proved by Lifschitz et al. (2001),
coincides with logical equivalence in the logic of here-and-there. In this
paper we obtain a purely logical characterization of strong equivalence of
LPODs as logical equivalence in a four-valued logic. Moreover, we provide a new
proof of the coNP-completeness of strong equivalence for LPODs, which has an
interest in its own right since it relies on the special structure of such
programs. Our results are based on the recent logical semantics of LPODs
introduced by Charalambidis et al. (2021), a fact which we believe indicates
that this new semantics may prove to be a useful tool in the further study of
LPODs.
- Abstract（参考訳）: lpods (ordered disjunction) を持つ論理プログラムは、プログラムルールの先頭で優先的なディスジャンクションを表現する能力を持つ古典論理プログラムを拡張する。
LPODの最初の意味論は単純で直感的であるが、純粋にモデル理論ではない。
この結果、プログラムの特定の性質は純粋に論理的な用語で形式化する非自明なように見える。
この状態の例として、LPODの強い等価性の概念があげられる。
Faber et al. (2008) の結果は正確に開発されているが、ある特定の論理学における論理的等価性としてLPODの強い等価性を特徴づけるには不足している。
これは古典論理プログラムの強同値性のよく知られた特徴づけとは対照的であり、lifschitzら (2001) が証明したように、こことそこの論理の論理同値と一致する。
本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。
さらに,LPOD の強同値性に対する coNP-完全性 が新たに証明された。
本研究は,Charalambidis et al. (2021) が最近導入したLPODの論理的意味論に基づくものである。
関連論文リスト
- On the Logical Content of Logic Programs [0.0]
本稿では,プログラムが知っていることを説明するサポートの関係を定義することで,論理プログラミング(LP)の新たな視点を紹介する。
結果は、証明理論のセマンティクスにおける基本拡張セマンティクスの考え方を用いて定式化される。
提案手法は,LPの論理的基礎に関する新たな知見を提供し,知識表現や自動推論,形式的検証などに応用できる可能性がある。
論文 参考訳（メタデータ） (2025-03-07T11:58:08Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Argumentative Characterizations of (Extended) Disjunctive Logic Programs [2.055949720959582]
仮定に基づく議論は、通常の論理プログラムだけでなく、解法論理プログラムとその拡張も表現できることを示す。
議論フレームワークの中核となるロジックが尊重すべき解離の推論ルールについて考察する。
論文 参考訳（メタデータ） (2023-06-12T14:01:38Z) - Non-Deterministic Approximation Fixpoint Theory and Its Application in
Disjunctive Logic Programming [11.215352918313577]
近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。
AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。
この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
論文 参考訳（メタデータ） (2022-11-30T18:58:32Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks [65.23508422635862]
我々は最近提案された論理ニューラルネットワーク(LNN)を用いた学習規則を提案する。
他のものと比較して、LNNは古典的なブール論理と強く結びついている。
標準ベンチマークタスクの実験では、LNNルールが極めて解釈可能であることを確認した。
論文 参考訳（メタデータ） (2021-12-06T19:38:30Z) - On syntactically similar logic programs and sequential decompositions [0.0]
ルールベースの推論は、論理プログラムを通じて人工知能研究において顕著に形式化された人間の知能の重要な部分である。
複雑な物体を素体の合成として記述することは、コンピュータ科学や科学全般において一般的な戦略である。
一段階の削減によって、異なるドメインにわたるクエリに、どのように類似性を使って答えることができるかを示す。
論文 参考訳（メタデータ） (2021-09-11T15:22:17Z) - A Logical Characterization of the Preferred Models of Logic Programs
with Ordered Disjunction [1.7403133838762446]
順序付き解法(LPOD)を用いた論理プログラムのための新しいモデル論的意味論を提供する。
提案手法は従来のLPODのセマンティクスの欠点を克服するものである。
新しいアプローチは、節の先頭に順序と古典的な分岐の両方を持つことができる論理プログラムの自然なクラスの意味を定義するために使われる。
論文 参考訳（メタデータ） (2021-08-07T05:36:12Z) - Refining Labelled Systems for Modal and Constructive Logics with
Applications [0.0]
この論文は、モーダル論理や構成論理のセマンティクスを「経済的な」証明システムに変換する手段として機能する。
精製法は、ラベル付きおよびネストされたシーケント計算の2つの証明理論パラダイムを結合する。
導入された洗練されたラベル付き電卓は、デオン性STIT論理に対する最初の証明探索アルゴリズムを提供するために使用される。
論文 参考訳（メタデータ） (2021-07-30T08:27:15Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳（メタデータ） (2021-05-08T10:09:36Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳（メタデータ） (2020-08-06T02:13:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。