論文の概要: A logical theory for strong and weak ontic necessities in branching time
- arxiv url: http://arxiv.org/abs/2208.11922v1
- Date: Thu, 25 Aug 2022 08:06:44 GMT
- ステータス: 処理完了
- システム内更新日: 2022-08-26 13:25:46.612221
- Title: A logical theory for strong and weak ontic necessities in branching time
- Title(参考訳): 分岐時間における強および弱オンティック必要性の論理理論
- Authors: Fengkui Ju
- Abstract要約: 分岐時間における強で弱いオンティックな必要条件に対する完全な論理理論を示す。
弱いオンティックの必要性は、エージェントのオンティック規則の体系によって決定される、受け入れられたタイムラインの領域上で定量化される。
強いオンティックの必要性は、決定不能なオンティック規則によって決定される、受け入れられたタイムラインの領域上で定量化される。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Ontic necessities are those modalities universally quantifying over domains
of ontic possibilities, whose ``existence'' is independent of our knowledge. An
ontic necessity, called the weak ontic necessity, causes interesting questions.
An example for it is ``I should be dead by now''. A feature of this necessity
is whether it holds at a state has nothing to do with whether its prejacent
holds at the state. Is there a weak epistemic necessity expressed by
``should''? Is there a strong ontic necessity expressed by ``must''? How do we
make sense of the strong and weak ontic necessities formally? In this paper, we
do the following work. Firstly, we recognize strong/weak ontic/epistemic
necessities and give our general ideas about them. Secondly, we present a
complete logical theory for the strong and weak ontic necessities in branching
time. This theory is based on the following approach. The weak ontic necessity
quantifies over a domain of expected timelines, determined by the agent's
system of ontic rules. The strong ontic necessity quantifies over a domain of
accepted timelines, determined by undefeatable ontic rules.
- Abstract(参考訳): オンティックな必要性は、オンティックな可能性の領域を普遍的に定量化するモダリティである。
弱いオンティック必需品と呼ばれるオンティック必需品は、興味深い疑問を引き起こす。
その一例が ``i should be dead by now''' である。
この必要性の特徴は、ある状態における保持が、その前発的な状態が保持しているかどうかに何の関係も持たないかどうかである。
should''で表される弱い認識的必要性はあるか?
`must'' で表される強いオンティックな必需品はあるか?
強くて弱いオンティックな必需品をどう理解すればいいのか?
本稿では,以下の研究を行う。
まず,強固かつ弱弱なオンティック/エピステミクスの必要性を認識し,それらの一般的な考え方を述べる。
第二に、分岐時間における強で弱いオンティックな必要条件に対する完全な論理理論を示す。
この理論は以下のアプローチに基づいている。
弱いオンティックの必要性は、エージェントのオンティックルールのシステムによって決定される期待されるタイムラインの領域上で定量化される。
強いオンティックの必要性は、決定不能なオンティック規則によって決定される、受け入れられたタイムラインの領域上で定量化される。
関連論文リスト
- Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。
コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
論文 参考訳(メタデータ) (2024-06-05T16:36:21Z) - Machine learning and information theory concepts towards an AI
Mathematician [77.63761356203105]
人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。
このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。
興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
論文 参考訳(メタデータ) (2024-03-07T15:12:06Z) - Normative Conditional Reasoning as a Fragment of HOL [0.0]
本稿では(参照に基づく)条件付き規範推論の機械化について論じる。
我々の焦点は条件付き義務のためのAqvistのシステムEとその拡張である。
フレームワークの2つの可能性について検討する。
論文 参考訳(メタデータ) (2023-08-21T12:47:30Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。
提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文 参考訳(メタデータ) (2023-05-19T13:15:48Z) - A "thoughtful" Local Friendliness no-go theorem: a prospective
experiment with new assumptions to suit [0.0]
我々は、システムが*考え*を持つことはオブザーバとなるのに十分な条件であるという考えを真剣に考える新しいLFのノーゴー定理を提案する。
これら4つのメタ物理的な仮定に加えて、この新しいno-go定理は、*技術的に*実現可能なものに関する2つの仮定を必要とする。
論文 参考訳(メタデータ) (2022-09-18T07:11:23Z) - A logical theory for conditional weak ontic necessity based on context
update [0.0]
弱オンティックな必需品は、英語で「すべき」または「すべき」で表されるオンティックな必需品である。
この必要性の1つの特徴は、その存在が先行するかどうかに何の関係も持たないかどうかである。
文脈更新に基づく条件的弱オンティック性の必要性に対する論理理論を提案する。
論文 参考訳(メタデータ) (2022-08-25T07:57:44Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳(メタデータ) (2021-10-10T18:08:42Z) - Reply to Comment on "Strong Quantum Darwinism and Strong Independence
are Equivalent to Spectrum Broadcast Structure" [77.34726150561087]
Feller et. al. arXiv:2101.09186] on our Letter [Phys. Lett. 122, 010403], Feller et. al identified a mistake in our mathematical expression of "strong independent" for states that satisfy Spectrum Broadcast Structure。
我々は、必要だが十分ではない数学的条件を記述したと信じている。しかし、我々は論文全体と証明において「強い独立性」のオリジナルかつ正しい定性的な定義を用いていたので、上記の数学的表現とは別に、証明とステートメントは正しいままである。
論文 参考訳(メタデータ) (2021-01-26T12:55:49Z) - Comment on "Strong Quantum Darwinism and Strong Independence are
Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。
我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文 参考訳(メタデータ) (2021-01-21T16:06:25Z) - How Real are Quantum States in $\psi$-ontic Models? [0.0]
比較的最近のpsi-ontologyの定理は、ある仮定を受け入れた場合、「量子状態は実である」ことを示すものである。
そのような定理で用いられる枠組みと仮定を受け入れたとしても、そのような結論は保証されないと論じられている。
論文 参考訳(メタデータ) (2021-01-06T11:16:59Z) - A Defeasible Calculus for Zetetic Agents [0.0]
本研究は, 解答規範を, 解答可能な質問への推論を通じてモデル化できることを実証する。
を特徴付けるシークエント計算を提供する。
論文 参考訳(メタデータ) (2020-10-11T17:39:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。