論文の概要: 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つの異なる視点で展開する。
関連論文リスト
- Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs) [45.085830389820956]
知識に基づくアンサンブルは、知識に基づくエージェントによって構成され、自分自身とその仲間に関する知識を検索し共有することができる。
本研究では,一般的な統語的操作的アンサンブルのセマンティクスに基づいて,二つの数学的意味論について検討する。
論文 参考訳(メタデータ) (2024-08-02T08:52:05Z) - A process algebraic framework for multi-agent dynamic epistemic systems [55.2480439325792]
本稿では,マルチエージェント,知識ベース,動的システムのモデリングと解析のための統合フレームワークを提案する。
モデリング側では,このようなフレームワークを実用的な目的に使いやすくするプロセス代数的,エージェント指向の仕様言語を提案する。
論文 参考訳(メタデータ) (2024-07-24T08:35:50Z) - Abstract Dialectical Frameworks are Boolean Networks (full version) [7.324459578044214]
我々は,これらの2つの形式主義の関係と,その相違を明らかにすること,および,個々の形式主義の新たな結果を確立するための対応について検討する。
論文 参考訳(メタデータ) (2024-07-02T08:37:05Z) - 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) [49.1574468325115]
我々は、Wignerのフレンドの思考体験と、そのより最近の変種と拡張について、新しい見返りをする。
本稿では,いくつかの疑問に焦点をあてて,文献で提案される様々な解決策について論じる。
論文 参考訳(メタデータ) (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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。