論文の概要: Towards Propositional KLM-Style Defeasible Standpoint Logics
- arxiv url: http://arxiv.org/abs/2410.04245v1
- Date: Sat, 5 Oct 2024 18:07:03 GMT
- ステータス: 処理完了
- システム内更新日: 2024-11-02 08:59:37.496565
- Title: Towards Propositional KLM-Style Defeasible Standpoint Logics
- Title（参考訳）: 命題型 KLM-Style Defeasible Standpoint Logics に向けて
- Authors: Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph,
- Abstract要約: 本稿では,Defeasible Restricted Standpoint Logic (DRSL) の論理体系を導入し,その構文と意味を定義した。
具体的には、ランク付けされた解釈と視点構造を統合し、それぞれ命題的KLMと命題的視点論理のセマンティクスを提供する。
提案するKLM症例からDRSL症例まで, 有理的閉鎖の非単調な包含関係を拡張した。
- 参考スコア（独自算出の注目度）: 3.8097021295196414
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical system, and for old conclusions to be withdrawn upon learning new contradictory information. Standpoint logics are a group of logics, introduced to the field of Knowledge Representation in the last 5 years, which allow for multiple viewpoints to be integrated into the same ontology, even when certain viewpoints may hold contradicting beliefs. In this paper, we aim to integrate standpoints into KLM propositional logic in a restricted setting. We introduce the logical system of Defeasible Restricted Standpoint Logic (DRSL) and define its syntax and semantics. Specifically, we integrate ranked interpretations and standpoint structures, which provide the semantics for propositional KLM and propositional standpoint logic respectively, in order to introduce ranked standpoint structures for DRSL. Moreover, we extend the non-monotonic entailment relation of rational closure from the propositional KLM case to the DRSL case. The main contribution of this paper is to characterize rational closure for DRSL both algorithmically and semantically, showing that rational closure can be characterized through a single representative ranked standpoint structure. Finally, we conclude that the semantic and algorithmic characterizations of rational closure are equivalent, and that entailment-checking for DRSL under rational closure is in the same complexity class as entailment-checking for propositional KLM.
- Abstract（参考訳）: KLMアプローチによるデファシブル推論のアプローチは、古典論理学への影響の弱体化をもたらす。
これにより、例外を一般的な規則に論理体系に組み込むことができ、新しい矛盾した情報を学ぶと古い結論が取り下げられる。
スタンドポイント論理(スタンドポイントりょう、英語: Standpoint logics)は、知識表現の分野に過去5年間に導入された論理群であり、複数の視点を同じオントロジーに統合することができる。
本稿では,制約条件下でのKLM命題論理に視点を統合することを目的とする。
本稿では,Defeasible Restricted Standpoint Logic (DRSL) の論理体系を導入し,その構文と意味を定義した。
具体的には、DRSLのランク付けされたスタンドポイント構造を導入するために、それぞれ命題KLMと命題視点論理のセマンティクスを提供する、ランク付けされた解釈とスタンドポイント構造を統合する。
さらに, 命題KLM症例からDRSL症例まで, 非単調な有理閉包関係を拡張した。
本論文の主な貢献は,DRSLの論理的閉包をアルゴリズム的にも意味的にも特徴付けることである。
最後に、有理閉包の意味的特徴とアルゴリズム的特徴は等価であり、有理閉包の下でのDRSLのentailment-checkingは命題KLMのentailment-checkingと同じ複雑性クラスにあると結論づける。
関連論文リスト
- Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic [1.160208922584163]
本稿では,実用性の問題に対処するため,Dedeasible Deontic Logicの拡張を提案する。
Pragmatic Oddity問題は、CTD推論の一般的な論理的処理の中で解決されなければならない; 2)非単調法はCTD推論を扱うために適用されなければならない; 3)CTD推論の論理モデルは計算可能で、可能であれば効率的でなければならない。
論文 参考訳（メタデータ） (2022-09-09T23:14:09Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。
資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。
境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
論文 参考訳（メタデータ） (2021-12-22T19:00:03Z) - Modeling and Automating Public Announcement Logic with Relativized
Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。
これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文 参考訳（メタデータ） (2021-11-02T15:14:52Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳（メタデータ） (2021-09-25T00:00:47Z) - Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。
この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文 参考訳（メタデータ） (2020-10-02T06:46:02Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳（メタデータ） (2020-08-06T02:13:11Z) - Higher-order Logic as Lingua Franca -- Integrating Argumentative
Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。
我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文 参考訳（メタデータ） (2020-07-02T11:07:53Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。