論文の概要: Strengthening Consistency Results in Modal Logic
- arxiv url: http://arxiv.org/abs/2307.05053v1
- Date: Tue, 11 Jul 2023 07:05:37 GMT
- ステータス: 処理完了
- システム内更新日: 2023-07-12 16:01:59.327214
- Title: Strengthening Consistency Results in Modal Logic
- Title（参考訳）: モーダル論理における整合性強化
- Authors: Samuel Allen Alexander (US Securities and Exchange Commission), Arthur
Paul Pedersen (City University of New York)
- Abstract要約: モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。
この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。
本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A fundamental question asked in modal logic is whether a given theory is
consistent. But consistent with what? A typical way to address this question
identifies a choice of background knowledge axioms (say, S4, D, etc.) and then
shows the assumptions codified by the theory in question to be consistent with
those background axioms. But determining the specific choice and division of
background axioms is, at least sometimes, little more than tradition. This
paper introduces **generic theories** for propositional modal logic to address
consistency results in a more robust way. As building blocks for background
knowledge, generic theories provide a standard for categorical determinations
of consistency. We argue that the results and methods of this paper help to
elucidate problems in epistemology and enjoy sufficient scope and power to have
purchase on problems bearing on modalities in judgement, inference, and
decision making.
- Abstract（参考訳）: モーダル論理の基本的な疑問は、与えられた理論が一貫したものであるかどうかである。
何と一致してるの?
この問題に対処する典型的な方法は、背景知識公理(例えば、s4、dなど)の選択を特定し、その背景公理と一致するように問題理論によって体系化された仮定を示すことである。
しかし、背景公理の特定の選択と分割を決定することは、少なくとも時には伝統にすぎません。
本稿では、より堅牢な方法で整合性に対処する命題のモーダル論理について**生成理論*を紹介する。
背景知識の構成要素として、総称理論は一貫性のカテゴリー決定の標準を提供する。
本論文の結果と手法は,認識論における問題を解明し,判断・推論・意思決定のモダリティにかかわる問題に対して十分な範囲とパワーを享受する上で有効である。
関連論文リスト
- Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Models [76.6028674686018]
エージェントの精神状態を追跡するための推論時間推論アルゴリズムである思考トレースを導入する。
提案アルゴリズムは,ベイズ理論をモデルとした。
本研究は,様々なベンチマークにおける思考トレーシングを評価し,大幅な性能向上を実証した。
論文 参考訳（メタデータ） (2025-02-17T15:08:50Z) - LogiDynamics: Unraveling the Dynamics of Logical Inference in Large Language Model Reasoning [49.58786377307728]
本稿では、類似推論のための制御された評価環境を導入することにより、探索的アプローチを採用する。
帰納的,帰納的,帰納的,帰納的な推論パイプラインの比較力学を解析する。
仮説選択や検証,洗練といった高度なパラダイムを考察し,論理的推論のスケールアップの可能性を明らかにする。
論文 参考訳（メタデータ） (2025-02-16T15:54:53Z) - Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation [24.584926992534346]
本稿では,GFaiR(Generalizable and Faithful Reasoner)という新しいフレームワークを提案する。
解法の難解化は、推論規則を拡張し、矛盾による証明の原理を採用することによって、全ての一階論理推論問題を解く能力を持つ。
我々のシステムは、単純なシナリオでパフォーマンスを維持しながら、複雑なシナリオで最先端のパフォーマンスを達成することで、これまでの作業より優れています。
論文 参考訳（メタデータ） (2024-04-02T06:28:44Z) - Soft Reasoning on Uncertain Knowledge Graphs [85.1968214421899]
本研究では,ソフト制約プログラミングの確立を動機とした,不確実な知識に対するソフトクエリの設定について検討する。
本稿では,大規模,不完全,不確実な知識グラフ上でのソフトクエリに応答する,前方推論と後方校正を併用したMLベースのアプローチを提案する。
論文 参考訳（メタデータ） (2024-03-03T13:13:53Z) - An epistemic logic for modeling decisions in the context of incomplete
knowledge [9.104555003332344]
本稿では,不完全な知識で意思決定をモデル化するための新しい言語を提案する。
成層化、自己認識論理、定義の3つの原則が組み合わさっている。
論文 参考訳（メタデータ） (2023-12-18T13:27:04Z) - Towards CausalGPT: A Multi-Agent Approach for Faithful Knowledge Reasoning via Promoting Causal Consistency in LLMs [55.66353783572259]
Causal-Consistency Chain-of-Thoughtは、基礎モデルの忠実さと因果性を強化するために、マルチエージェントコラボレーションを活用する。
我々のフレームワークは、広範囲かつ包括的な評価を通じて、最先端の手法よりも大きな優位性を示す。
論文 参考訳（メタデータ） (2023-08-23T04:59:21Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Learnability with PAC Semantics for Multi-agent Beliefs [38.88111785113001]
推論と帰納の緊張は、おそらく哲学、認知、人工知能といった分野において最も根本的な問題である。
Valiant氏は、学習の課題は推論と統合されるべきである、と認識した。
古典的な包含よりも弱いが、クエリに応答する強力なモデル理論のフレームワークを可能にする。
論文 参考訳（メタデータ） (2023-06-08T18:22:46Z) - An Embedding-based Approach to Inconsistency-tolerant Reasoning with
Inconsistent Ontologies [12.760301272393898]
本稿では,公理の埋め込みに基づく一貫性のない意味論による推論手法を提案する。
組込みに基づく手法は、最大一貫した部分集合に基づく既存の矛盾耐性推論手法よりも優れていることを示す。
論文 参考訳（メタデータ） (2023-04-04T09:38:02Z) - Exploiting Game Theory for Analysing Justifications [13.72913891724593]
3つの主要な貢献によって正当化理論の研究を継続する。
1つ目は、正当化理論とゲーム理論の関係を研究することである。
第2の貢献は、正当化理論の2つの異なる方言が一致する条件下での研究である。
第3の貢献は、正当化理論によって誘導される意味論が一貫性のある結果をもたらすときの正確な基準を確立することである。
論文 参考訳（メタデータ） (2020-08-04T14:45:08Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。