論文の概要: Non-Deterministic Approximation Fixpoint Theory and Its Application in
Disjunctive Logic Programming
- arxiv url: http://arxiv.org/abs/2211.17262v2
- Date: Thu, 1 Dec 2022 08:58:45 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-02 14:18:11.889670
- Title: Non-Deterministic Approximation Fixpoint Theory and Its Application in
Disjunctive Logic Programming
- Title（参考訳）: 非決定論的近似固定点理論とその分離論理プログラミングへの応用
- Authors: Jesse Heyninck and Ofer Arieli and Bart Bogaerts
- Abstract要約: 近似不動点理論(英: Approximation Fixpoint theory)は、非単調論理の意味論を研究するための枠組みである。
AFTは、不確定な情報を扱うことができる非決定論的構造を扱うよう拡張する。
この一般化の適用性と有用性は、解法論理プログラミングの文脈で説明される。
- 参考スコア（独自算出の注目度）: 11.215352918313577
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Approximation fixpoint theory (AFT) is an abstract and general algebraic
framework for studying the semantics of nonmonotonic logics. It provides a
unifying study of the semantics of different formalisms for nonmonotonic
reasoning, such as logic programming, default logic and autoepistemic logic. In
this paper, we extend AFT to dealing with non-deterministic constructs that
allow to handle indefinite information, represented e.g. by disjunctive
formulas. This is done by generalizing the main constructions and corresponding
results of AFT to non-deterministic operators, whose ranges are sets of
elements rather than single elements. The applicability and usefulness of this
generalization is illustrated in the context of disjunctive logic programming.
- Abstract（参考訳）: 近似不動点理論(英: Approximation Fixpoint theory、AFT)は、非単調論理のセマンティクスを研究するための抽象的で一般的な代数的フレームワークである。
これは論理プログラミング、デフォルト論理、自己認識論理のような非単調推論のための異なる形式主義の意味論を統一的に研究する。
本稿では,不確定な情報を扱うことを可能にする非決定論的構成物を扱うためにftを拡張した。
これは AFT の主構成とそれに対応する結果を、単元ではなく要素の集合である非決定論的作用素に一般化することで達成される。
この一般化の適用性と有用性は、分離論理プログラミングの文脈で示される。
関連論文リスト
- A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。
チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文 参考訳（メタデータ） (2024-05-11T09:53:15Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - Language Models can be Logical Solvers [99.40649402395725]
論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。
LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
論文 参考訳（メタデータ） (2023-11-10T16:23:50Z) - 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 operators: ultimate operators,
semi-equilibrium semantics and aggregates (full version) [13.249453757295083]
非決定論的AFTにはさらに3つの貢献をしている。
非決定論的作用素の究極の近似を定義し,研究する。
本稿では,解法論理プログラムの特性を集約した解法論理プログラムに一般化する。
論文 参考訳（メタデータ） (2023-05-18T09:59:12Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical
Perspective [1.160208922584163]
順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。
本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。
LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
論文 参考訳（メタデータ） (2022-05-10T13:33:32Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。
この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文 参考訳（メタデータ） (2020-10-02T06:46:02Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。