Fugu-MT 論文翻訳(概要): A Qualitative Theory of Cognitive Attitudes and their Change

論文の概要: A Qualitative Theory of Cognitive Attitudes and their Change

arxiv url: http://arxiv.org/abs/2102.11025v1
Date: Tue, 16 Feb 2021 10:28:49 GMT
ステータス: 処理完了
システム内更新日: 2021-04-05 00:41:11.750916
Title: A Qualitative Theory of Cognitive Attitudes and their Change
Title（参考訳）: 認知的態度の質的理論とその変化
Authors: Emiliano Lorini
Abstract要約: 定性的決定理論の様々な関連概念を表現できることを示した。また、選択の概念による論理の拡張と、信念変化と欲望変化のための動的作用素による拡張の2つを提示する。
参考スコア（独自算出の注目度）: 8.417971913040066
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative decision theory including the concepts of knowledge, belief, strong belief, conditional belief, desire, conditional desire, strong desire and preference. We also present two extensions of the logic, one by the notion of choice and the other by dynamic operators for belief change and desire change, and we apply the former to the analysis of single-stage games under incomplete information. We provide sound and complete axiomatizations for the basic logic and for its two extensions. The paper is under consideration in Theory and Practice of Logic Programming (TPLP).
Abstract（参考訳）: 本稿では, エージェントの認知的態度と動機づけの双方を推論するための一般的な論理的枠組みを提案する。我々は、知識、信念、強い信念、条件付き信念、欲望、条件付き欲望、強い欲望、選好という概念を含む、質的決定論に関連する様々な概念を表現できることを示す。我々はまた、論理の2つの拡張を提示する。一方は選択の概念によるものであり、他方は信念変化と欲求変化のための動的演算子によるものであり、前者は不完全情報の下での単段ゲームの解析に適用する。基本論理とその2つの拡張に対して、音響および完全公理化を提供する。この論文は論理プログラミングの理論と実践(TPLP)において検討されている。

関連論文リスト

Conceptual and Unbiased Reasoning in Language Models [98.90677711523645]
本稿では,抽象的質問に対する概念的推論をモデルに強制する,新しい概念化フレームワークを提案する。既存の大規模言語モデルは概念的推論では不足しており、様々なベンチマークでは9%から28%に低下している。ハイレベルな抽象的推論が不偏で一般化可能な意思決定の鍵となるので、モデルがどのように改善できるかについて議論する。
論文参考訳（メタデータ） (2024-03-30T00:53:53Z)
From Heuristic to Analytic: Cognitively Motivated Strategies for Coherent Physical Commonsense Reasoning [66.98861219674039]
ヒューリスティック分析推論(HAR)戦略は、モデル決定のための合理化のコヒーレンスを大幅に改善する。以上の結果から, PLM推論の一貫性と信頼性を効果的に向上できる可能性が示唆された。
論文参考訳（メタデータ） (2023-10-24T19:46:04Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Strengthening Consistency Results in Modal Logic [0.0]
モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
論文参考訳（メタデータ） (2023-07-11T07:05:37Z)
Disentangling Reasoning Capabilities from Language Models with Compositional Reasoning Transformers [72.04044221898059]
ReasonFormerは、人間のモジュール的および構成的推論プロセスを反映するための統一的な推論フレームワークである。表現モジュール(自動思考)と推論モジュール(制御思考)は、異なるレベルの認知を捉えるために切り離される。統一された推論フレームワークは、単一のモデルで複数のタスクを解決し、エンドツーエンドでトレーニングされ、推論される。
論文参考訳（メタデータ） (2022-10-20T13:39:55Z)
Towards Unifying Perceptual Reasoning and Logical Reasoning [0.6853165736531939]
論理学の最近の研究は、論理的推論をベイズ的推論として提示している。モデルが知覚システムと論理システムに共通する2つの本質的なプロセスを統合することを示す。
論文参考訳（メタデータ） (2022-06-27T10:32:47Z)
A Quantitative Symbolic Approach to Individual Human Reasoning [0.0]
文献から得られた知見を,論理的枠組みの中で認知的原理として定式化され,理論的推論の定量的概念を確立できることを示す。非単調推論と計算機科学の技法、すなわち、解集合プログラミング(ASP)と呼ばれる解法パラダイムを用いる。最後に、ASP.NETの可視性推論を使って、既存の実験の効果をテストし、異なる多数派反応を説明できます。
論文参考訳（メタデータ） (2022-05-10T16:43:47Z)
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization [6.329584233209157]
AGMの信念改訂は、信念変更操作の研究における主要なパラダイムの1つです。信念と情報の変化に関するいくつかの論理が文献に提案されている。本研究では,動的前提論理を用いて動的信念変化演算子の特性について検討する。
論文参考訳（メタデータ） (2021-01-05T17:47:18Z)
Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文参考訳（メタデータ） (2020-10-30T12:16:45Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
Cognitive Argumentation and the Suppression Task [1.027974860479791]
本稿では,認知論(Cognitive Argumentation)と呼ばれる新たなフレームワークにおいて,人間の推論をモデル化する上での課題について述べる。このフレームワークは認知科学における経験的および理論的研究に基づく認知原理に依存しており、AIから計算議論の一般的かつ抽象的な枠組みを適応させる。我々は、認知論は、人間の条件推論に一貫性があり、認知的に適切なモデルを提供すると論じている。
論文参考訳（メタデータ） (2020-02-24T10:30:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。