論文の概要: A calculus for epistemic interactions
- arxiv url: http://arxiv.org/abs/2206.14506v1
- Date: Wed, 29 Jun 2022 09:54:58 GMT
- ステータス: 処理完了
- システム内更新日: 2022-06-30 20:31:29.917873
- Title: A calculus for epistemic interactions
- Title(参考訳): てんかん相互作用の計算法
- Authors: Huili Xing, Zhaohui Zhu, Jinjin Zhang
- Abstract要約: E-calculusはエージェントの環境との相互作用をモデル化するための概念フレームワークである。
本稿では,エージェントの環境との相互作用をモデル化するための概念フレームワークであるe-calculusを提案する。
e-計算の挙動論は2つの異なる視点で展開される。
- 参考スコア(独自算出の注目度): 0.5156484100374059
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: It plays a central role in intelligent agent systems to model agent's
epistemic state and its change. To this end, some formal systems have been
presented. Among them, epistemic logics focus on logic laws of different
epistemic attributes (e.g., knowledge, belief, common knowledge, etc) and
epistemic actions (e.g., public announcement, private announcement,
asynchronous announcement, etc). All these systems do not involve the
interactive behaviours between an agent and its environment. Through enriching
the well-known $\pi$-calculus, this paper presents the e-calculus, which
provides a concept framework to model epistemic interactions between agents
with epistemic states. Unlike usual process calculus, all systems in the
e-calculus are always arranged to run at an epistemic state. To formalize
epistemic states abstractly, a group of postulates on them are presented.
Moreover, based on these postulates, the behaviour theory of the e-calculus is
developed in two different viewpoints.
- Abstract(参考訳): インテリジェントエージェントシステムにおいて、エージェントの認識状態とその変化をモデル化する中心的な役割を果たす。
この目的のために、いくつかの形式体系が提示されている。
その中でも、認識論理は、異なる認識的属性(知識、信念、共通の知識など)と認識的行動(公開発表、プライベート発表、非同期発表など)の論理則に焦点を当てている。
これらのシステムはすべて、エージェントとその環境間の対話的な動作を含まない。
本稿では、よく知られた$\pi$-calculusを豊かにすることで、てんかん状態を持つエージェント間のエピステミック相互作用をモデル化するための概念的枠組みを提供するe-calculusを提案する。
通常のプロセス計算とは異なり、電子計算の全ての系は常にてんかん状態で走るように配置される。
認識状態を抽象的に形式化するために、それらの上の仮定群が提示される。
さらに、これらの仮定に基づいて、e-計算の挙動理論を2つの異なる視点で展開する。
関連論文リスト
- A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - Logic meets Wigner's Friend (and their Friends) [77.34726150561087]
我々は、Wigner's Friend thought-experimentと、Frauchiger-Renner Paradoxのような、より最近の変種と拡張を新たに見ていく。
我々はこれらの質問に対する新しい回答を提案し、この回答の特定の形式的な実装をスケッチし、Wigner Friend-type paradoxesの原理的な解を得るためにそれを適用する。
論文 参考訳(メタデータ) (2023-07-04T13:31:56Z) - Model Transformations for Ranking Functions and Total Preorders [3.42658286826597]
一つの視点から別の視点へ認識状態を変換するモデル変換の概念を導入する。
本稿では,モデル変換による信念修正のために,もともと信念集合のために開発された構文分割のよく知られた利点をいかに活用できるかを示す。
論文 参考訳(メタデータ) (2022-03-26T07:58:33Z) - Observing Interventions: A logic for thinking about experiments [62.997667081978825]
本稿では,実験から学ぶ論理への第一歩について述べる。
我々のアプローチにとって重要なことは、介入の概念が(現実的または仮説的な)実験の形式的表現として使用できるという考えである。
提案された全ての論理系に対して、健全で完全な公理化を提供する。
論文 参考訳(メタデータ) (2021-11-25T09:26:45Z) - An active inference model of collective intelligence [0.0]
本稿では,局所的な個人レベルの相互作用と集団的知性の関係をシミュレートする最小エージェントモデルを提案する。
その結果, エージェントの局所的最適とグローバル的最適の整合性の相補的なメカニズムを提供することにより, 段階的認知遷移がシステム性能を向上させることが示された。
論文 参考訳(メタデータ) (2021-04-02T14:32:01Z) - Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。
対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。
我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文 参考訳(メタデータ) (2020-10-30T12:16:45Z) - A Defeasible Calculus for Zetetic Agents [0.0]
本研究は, 解答規範を, 解答可能な質問への推論を通じてモデル化できることを実証する。
を特徴付けるシークエント計算を提供する。
論文 参考訳(メタデータ) (2020-10-11T17:39:03Z) - Causal blankets: Theory and algorithmic framework [59.43413767524033]
本稿では,知覚行動ループ(PALO)を計算力学の原理に基づいてデータから直接識別する新しい枠組みを提案する。
我々のアプローチは因果毛布の概念に基づいており、官能・能動変数を動的に十分な統計量として捉えている。
論文 参考訳(メタデータ) (2020-08-28T10:26:17Z) - Machine Common Sense [77.34726150561087]
機械の常識は、人工知能(AI)において広範で潜在的に無拘束な問題のままである
本稿では、対人インタラクションのようなドメインに焦点を当てたコモンセンス推論のモデル化の側面について論じる。
論文 参考訳(メタデータ) (2020-06-15T13:59:47Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。