論文の概要: Interpreting systems as solving POMDPs: a step towards a formal
understanding of agency
- arxiv url: http://arxiv.org/abs/2209.01619v1
- Date: Sun, 4 Sep 2022 13:40:33 GMT
- ステータス: 処理完了
- システム内更新日: 2022-09-07 13:43:02.382500
- Title: Interpreting systems as solving POMDPs: a step towards a formal
understanding of agency
- Title（参考訳）: POMDPの解決としてのシステム解釈 : 機関の正式な理解に向けて
- Authors: Martin Biehl and Nathaniel Virgo
- Abstract要約: 我々は、信念だけでなく、目標や行動の観点からも解釈の概念を提案する。
エージェントはシステムであり、このシステムをPOMDPソリューションとして解釈する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Under what circumstances can a system be said to have beliefs and goals, and
how do such agency-related features relate to its physical state? Recent work
has proposed a notion of interpretation map, a function that maps the state of
a system to a probability distribution representing its beliefs about an
external world. Such a map is not completely arbitrary, as the beliefs it
attributes to the system must evolve over time in a manner that is consistent
with Bayes' theorem, and consequently the dynamics of a system constrain its
possible interpretations. Here we build on this approach, proposing a notion of
interpretation not just in terms of beliefs but in terms of goals and actions.
To do this we make use of the existing theory of partially observable Markov
processes (POMDPs): we say that a system can be interpreted as a solution to a
POMDP if it not only admits an interpretation map describing its beliefs about
the hidden state of a POMDP but also takes actions that are optimal according
to its belief state. An agent is then a system together with an interpretation
of this system as a POMDP solution. Although POMDPs are not the only possible
formulation of what it means to have a goal, this nevertheless represents a
step towards a more general formal definition of what it means for a system to
be an agent.
- Abstract（参考訳）: どのような状況下において,システムには信念と目標があり,そのようなエージェント関連の機能は物理的状態とどのように関係するのか?
近年の研究では、システムの状態が外部世界に対する信念を表す確率分布にマップされる機能である解釈マップの概念が提案されている。
そのような写像は完全に任意ではない、なぜなら、その信念はベイズの定理と一致する方法で時間とともに進化しなければならず、従ってシステムのダイナミクスはその可能な解釈を制約しなければならないからである。
ここでは、このアプローチに基づいて、信念だけでなく、目標や行動の観点からも解釈の概念を提案します。
このために我々は、部分的に観測可能なマルコフ過程(英語版)(POMDP)の既存の理論を利用する: システムは、POMDPの隠蔽状態に関する信念を記述した解釈写像を許容するだけでなく、その信念状態に応じて最適な行動を取る場合、POMDPの解として解釈できる。
エージェントはシステムであり、このシステムをPOMDPソリューションとして解釈する。
POMDPは、それが目的を持つことを意味することの唯一の可能な定式化ではないが、それでも、システムがエージェントであることを意味するより一般的な公式な定義への一歩である。
関連論文リスト
- A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - Isopignistic Canonical Decomposition via Belief Evolution Network [12.459136964317942]
本稿では,信念進化ネットワークに基づく同義変換を提案する。
この分解は、可能性分布とその同型質量関数の間の逆経路を与える。
本稿では,確率論,デンプスター・シェーファー理論,可能性理論に基づく人工知能の一般モデル構築のための理論的基盤を確立する。
論文 参考訳（メタデータ） (2024-05-04T12:39:15Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - On Nested Justification Systems (full version) [13.76408511310322]
Deneckerらによって最初に導入されたネスト正当化システムは、正当化システムの構成を可能にする。
本稿では,ネストした正当化システムの本来の意味が,説明に関連のある情報の喪失につながることを示す。
さらに,ネストした正当性システムにより,固定点定義の表現が可能となることを示す。
論文 参考訳（メタデータ） (2022-05-09T20:23:22Z) - Interpreting Dynamical Systems as Bayesian Reasoners [0.0]
活発な推論における中心的な概念は、物理系の内部状態が外部世界の状態に対してパラメトリズ確率を測定することである。
ここでは、国家をこの方法での信念を表すものとして解釈することが適切であるかどうかを示す一般的な理論の開発を始める。
論文 参考訳（メタデータ） (2021-12-27T05:44:47Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳（メタデータ） (2021-10-10T18:08:42Z) - Provable Limitations of Acquiring Meaning from Ungrounded Form: What
will Future Language Models Understand? [87.20342701232869]
未知のシステムが意味を習得する能力について検討する。
アサーションによってシステムが等価性のような意味関係を保存する表現をエミュレートできるかどうか検討する。
言語内のすべての表現が参照的に透明であれば,アサーションによってセマンティックエミュレーションが可能になる。
しかし、言語が変数バインディングのような非透過的なパターンを使用する場合、エミュレーションは計算不能な問題になる可能性がある。
論文 参考訳（メタデータ） (2021-04-22T01:00:17Z) - Distributional Formal Semantics [0.18352113484137625]
形式モデルレベルでの形式的意味論システムへの分布性を統合する分布形式的セマンティクスを提案する。
このアプローチは、本質的に構成的である確率的で分散的な意味表現を提供する。
これらの表現が確率的推論を可能にする方法と、「情報」の情報理論的概念がそれから自然に従う方法を示す。
論文 参考訳（メタデータ） (2021-03-02T13:38:00Z) - How to marry a star: probabilistic constraints for meaning in context [11.670687428360688]
我々は「文脈における言葉の意味」という概念を導出し、その意味を強迫観念と概念の両方として特徴づける。
本稿では,文脈における単語の意味に関する局所的制約とグローバルな制約を,その相互作用とともに定義するフレームワークを提案する。
文の意味は, 発話理解を, 観察された発話を考慮に入れた1つ以上の状況に記述する精神的なプロセスとみなす確率論的モデルである'situation description system'として表現する。
論文 参考訳（メタデータ） (2020-09-16T21:11:23Z) - Towards Faithfully Interpretable NLP Systems: How should we define and
evaluate faithfulness? [58.13152510843004]
ディープラーニングベースのNLPモデルの普及に伴い、解釈可能なシステムの必要性が高まっている。
解釈可能性とは何か、そして高品質な解釈を構成するものは何か?
我々は、解釈が満たすべき異なる望ましい基準をより明確に区別し、忠実度基準に焦点を合わせることを求めている。
論文 参考訳（メタデータ） (2020-04-07T20:15:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。