論文の概要: A Defeasible Calculus for Zetetic Agents
- arxiv url: http://arxiv.org/abs/2010.05293v1
- Date: Sun, 11 Oct 2020 17:39:03 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-08 12:58:11.411932
- Title: A Defeasible Calculus for Zetetic Agents
- Title（参考訳）: ゼテティック・エージェントのための定義可能な計算法
- Authors: Jared Millson
- Abstract要約: 本研究は, 解答規範を, 解答可能な質問への推論を通じてモデル化できることを実証する。
を特徴付けるシークエント計算を提供する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The study of defeasible reasoning unites epistemologists with those working
in AI, in part, because both are interested in epistemic rationality. While it
is traditionally thought to govern the formation and (with)holding of beliefs,
epistemic rationality may also apply to the interrogative attitudes associated
with our core epistemic practice of inquiry, such as wondering, investigating,
and curiosity. Since generally intelligent systems should be capable of
rational inquiry, AI researchers have a natural interest in the norms that
govern interrogative attitudes. Following its recent coinage, we use the term
"zetetic" to refer to the properties and norms associated with the capacity to
inquire. In this paper, we argue that zetetic norms can be modeled via
defeasible inferences to and from questions---a.k.a erotetic inferences---in a
manner similar to the way norms of epistemic rationality are represented by
defeasible inference rules. We offer a sequent calculus that accommodates the
unique features of "erotetic defeat" and that exhibits the computational
properties needed to inform the design of zetetic agents. The calculus
presented here is an improved version of the one presented in Millson (2019),
extended to cover a new class of defeasible erotetic inferences.
- Abstract（参考訳）: デファシブルな推論ユニットの研究は、疫学的な合理性に関心があるため、AIに携わる人々との認識論者についての研究である。
伝統的に、信仰の形成と保持を統括すると考えられてきたが、認識的合理性は、疑問、調査、好奇心といった我々の中核的な審問の実践に関連する疑問的態度にも適用できる。
一般的にインテリジェントなシステムは合理的な調査が可能であり、ai研究者は尋問的態度を支配する規範に自然に関心を持っている。
最近発行された硬貨に続いて、我々は照会する能力に関連付けられた特性と規範を指すのに「ゼテティック」という用語を用いる。
本稿では,直観的規範は,直観的合理性の規範が相反する推論規則によって表現される方法と類似した方法で,質問に対する可解な推論を通じてモデル化できると主張する。
我々は,「erotetic defeat」のユニークな特徴を包含するシークエント計算法を提供し,ゼーテティックエージェントの設計を知らせるために必要な計算特性を示す。
ここで示される計算は、millson (2019) で提示された改良版であり、新しい分類の可逆的退化推論をカバーするために拡張されている。
関連論文リスト
- Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。
コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
論文 参考訳（メタデータ） (2024-06-05T16:36:21Z) - Betting on what is neither verifiable nor falsifiable [18.688474183114085]
我々は,このようなイベントを選択肢を通じて賭けるアプローチを提案し,また,「検証・ファルシフィケーションゲーム」の結果に賭ける手法を提案する。
したがって、我々の研究は、論理的不確実性に対するガラブラント帰納法(英語版)の既存の枠組みの代替として機能し、数学の哲学における構成主義(英語版)として知られるスタンスに関連している。
論文 参考訳（メタデータ） (2024-01-29T17:30:34Z) - Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
言語モデル(LM)は、しばしば帰納的推論に不足する。
我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。
本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
論文 参考訳（メタデータ） (2023-10-12T17:51:10Z) - Crystal: Introspective Reasoners Reinforced with Self-Feedback [118.53428015478957]
本稿では,イントロスペクティブ・コモンセンス推論器であるCrystalを開発するための新しい手法を提案する。
コモンセンス問題に対処するため、まず与えられた質問に関連する知識ステートメントのイントロスペクションを行い、その後、それまでのイントロスペクションされた知識に根ざした情報予測を行う。
実験により、クリスタルは標準的な微調整法と連鎖蒸留法の両方で著しく優れており、コモンセンス推論プロセスの透明性を高めていることが示された。
論文 参考訳（メタデータ） (2023-10-07T21:23:58Z) - 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) - Observing Interventions: A logic for thinking about experiments [62.997667081978825]
本稿では,実験から学ぶ論理への第一歩について述べる。
我々のアプローチにとって重要なことは、介入の概念が(現実的または仮説的な)実験の形式的表現として使用できるという考えである。
提案された全ての論理系に対して、健全で完全な公理化を提供する。
論文 参考訳（メタデータ） (2021-11-25T09:26:45Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。
これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文 参考訳（メタデータ） (2021-05-10T19:06:07Z) - Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and
Execution [97.50813120600026]
時空間推論は人工知能(AI)の課題である
最近の研究は、この種の抽象的推論タスクに焦点を当てている -- Raven's Progressive Matrices (RPM)
ニューロシンボリックな確率的アブダクションと実行学習者(PrAE)を提案する。
論文 参考訳（メタデータ） (2021-03-26T02:42:18Z) - Logic, Probability and Action: A Situation Calculus Perspective [12.47276164048813]
論理と確率の統一は、AIにおける長年の関心事である。
現状計算における論理・確率・行動の統合に関する最近の結果について考察する。
結果は認知ロボティクスの文脈で動機づけられる。
論文 参考訳（メタデータ） (2020-06-17T13:49:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。