論文の概要: A Simplified Variant of G\"odel's Ontological Argument
- arxiv url: http://arxiv.org/abs/2202.06264v3
- Date: Fri, 25 Aug 2023 08:50:34 GMT
- ステータス: 処理完了
- システム内更新日: 2023-08-28 18:20:56.081336
- Title: A Simplified Variant of G\"odel's Ontological Argument
- Title（参考訳）: G\"odel's Ontological Argument の簡易変数
- Authors: Christoph Benzm\"uller
- Abstract要約: 本研究は,計算メタ物理における実りある人間とコンピュータの相互作用を実証するものである。
提示された結果が、存在論的議論の魅力と説得力を増すか減らすかは、私が哲学と神学に伝えたい問題である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A simplified variant of G\"odel's ontological argument is presented. The
simplified argument is valid already in basic modal logics K or KT, it does not
suffer from modal collapse, and it avoids the rather complex predicates of
essence (Ess.) and necessary existence (NE) as used by G\"odel. The variant
presented has been obtained as a side result of a series of theory
simplification experiments conducted in interaction with a modern proof
assistant system. The starting point for these experiments was the computer
encoding of G\"odel's argument, and then automated reasoning techniques were
systematically applied to arrive at the simplified variant presented. The
presented work thus exemplifies a fruitful human-computer interaction in
computational metaphysics. Whether the presented result increases or decreases
the attractiveness and persuasiveness of the ontological argument is a question
I would like to pass on to philosophy and theology.
- Abstract（参考訳）: g\"odel's ontological argument の単純化された変種が提示されている。
単純化された議論は、基本モジュラー論理 K や KT において既に有効であり、モダル崩壊に苦しむことなく、G\ "odel" が用いているような本質(Ess.)と必要存在(NE)のより複雑な述語を避ける。
提示された変種は、現代の証明補助システムと相互作用して行われた一連の理論単純化実験の副作用として得られた。
これらの実験の出発点は、G\ "odel" の引数をコンピュータエンコーディングし、自動推論手法を体系的に適用して、提示された単純化された変種に到達させることであった。
提案した研究は、計算メタ物理における実りある人間とコンピュータの相互作用を実証するものである。
提示された結果が、存在論的議論の魅力と説得力を増すか減らすかは、私が哲学と神学に伝えたい問題である。
関連論文リスト
- Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation [19.799266797193344]
議論ベースのシステムは、意思決定プロセスをサポートしながら説明責任を欠くことが多い。
対実的・半実的な説明は解釈可能性のテクニックである。
本稿では,制約の弱いArgumentation Frameworkにおいて,逆ファクトおよび半ファクトのクエリを符号化可能であることを示す。
論文 参考訳（メタデータ） (2024-05-07T07:27:27Z) - A Hybrid System for Systematic Generalization in Simple Arithmetic
Problems [70.91780996370326]
本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。
提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
論文 参考訳（メタデータ） (2023-06-29T18:35:41Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳（メタデータ） (2022-10-22T16:01:13Z) - NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning [59.16962123636579]
本稿では,Prologベースの推論エンジンを新たに提案する。
我々は手作りのルールを、ニューラルネットワークモデリング、ガイド付き生成、半密検索の組み合わせで置き換える。
我々の実装であるNELLIEは、完全に解釈可能なエンドツーエンドの基底QAを示す最初のシステムである。
論文 参考訳（メタデータ） (2022-09-16T00:54:44Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳（メタデータ） (2022-05-25T03:40:59Z) - Abstract Reasoning via Logic-guided Generation [65.92805601327649]
抽象的推論、すなわち、与えられた観測から複雑なパターンを推測することは、人工知能の中心的な構成要素である。
本稿では,後者のアプローチの枠組みを設計し,人工知能と人間の知能のギャップを埋めることを目的とする。
本稿では,提案する論理の最適化問題として,抽象的推論を削減した新しい生成型DNNフレームワークであるLoGeを提案する。
論文 参考訳（メタデータ） (2021-07-22T07:28:24Z) - Systematic Evaluation of Causal Discovery in Visual Model Based
Reinforcement Learning [76.00395335702572]
AIと因果関係の中心的な目標は、抽象表現と因果構造を共同で発見することである。
因果誘導を研究するための既存の環境は、複雑なタスク固有の因果グラフを持つため、この目的には適していない。
本研究の目的は,高次変数の学習表現と因果構造の研究を促進することである。
論文 参考訳（メタデータ） (2021-07-02T05:44:56Z) - Why Adversarial Interaction Creates Non-Homogeneous Patterns: A
Pseudo-Reaction-Diffusion Model for Turing Instability [10.933825676518195]
交叉相互作用を持つニューロン系のチューリング様パターンを観察する。
本稿では,これらの現象を過小評価するメカニズムを説明するための擬似反応拡散モデルを提案する。
論文 参考訳（メタデータ） (2020-10-01T16:09:22Z) - A Quantum G\"odelian Hunch [0.0]
このエッセイは、2つのケーススタディを通して、そのようなG"deodelian hunch"を論じることを目的としている。
量子的文脈性の理論的動機付けの起源は、この結果がリアー的不決定性とどのように関連しているかを示すために導入された。
関連するウィグナーの友人の思考実験と、Frauchiger と Renner による最近のパラドックスを個人分析した。
論文 参考訳（メタデータ） (2020-05-07T11:22:20Z) - A (Simplified) Supreme Being Necessarily Exists, says the Computer:
Computationally Explored Variants of G\"odel's Ontological Argument [0.0]
いくつかの議論前提は修正され、他のものは取り下げられ、モダル崩壊は回避され、既に弱いモダル論理 K と T で妥当性が示される。
本稿は, 量子化された非古典論理に対する現代的な知識表現と推論技術が, 新たな知識を他の分野にもたらす方法を説明する。
論文 参考訳（メタデータ） (2020-01-14T10:26:51Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。