論文の概要: Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)

• arxiv url: http://arxiv.org/abs/2408.01115v1
• Date: Fri, 2 Aug 2024 08:52:05 GMT
• ステータス: 処理完了
• システム内更新日: 2024-08-05 13:57:23.545916
• Title: Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
• Title（参考訳）: セマンティック・シンボリック環境におけるエピステミック・アンサンブル(証明付き拡張版)
• Authors: Rolf Hennicker, Alexander Knapp, Martin Wirsing,
• Abstract要約: 知識に基づくアンサンブルは、知識に基づくエージェントによって構成され、自分自身とその仲間に関する知識を検索し共有することができる。 本研究では,一般的な統語的操作的アンサンブルのセマンティクスに基づいて,二つの数学的意味論について検討する。
• 参考スコア（独自算出の注目度）: 45.085830389820956
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global knowledge state and use actions to communicate and cooperate, altering the collective knowledge state. We study two types of mathematical semantics for epistemic ensembles based on a common syntactic operational ensemble semantics: a semantic environment defined by a class of global epistemic states, and a symbolic environment consisting of a set of epistemic formul{\ae}. For relating these environments, we use the concept of {\Phi}-equivalence, where a class of epistemic states and a knowledge base are {\Phi}-equivalent, if any formula of {\Phi} holds in the class of epistemic states if, and only if, it is an element of the knowledge base. Our main theorem shows that {\Phi}-equivalent configurations simulate each other and satisfy the same dynamic epistemic ensemble formulae.
• Abstract（参考訳）: エピステミック・アンサンブル(英: epistemic ensemble)は、知識に基づくエージェントによって構成され、自分自身とその仲間についての知識や信念を検索し、共有することができる。 これらのエージェントは、グローバルな知識状態にアクセスし、行動を使用してコミュニケーションと協力を行い、集合的な知識状態を変更する。 本研究では, 共通の統語的操作的アンサンブルのセマンティクスに基づく, 表皮的アンサンブルのための2種類の数学的セマンティクスについて検討する。 これらの環境を関連づけるために、我々は「phi}-equivalence」という概念を使い、もし「phi}-equivalence」の任意の式が、それが知識基底の要素であるならば、それは「phi}-equivalent」である。 我々の主定理は、 {\Phi} と同値な構成が互いにシミュレートし、同じ動的エピステミックアンサンブル式を満たすことを示している。

関連論文リスト

• A Complexity-Based Theory of Compositionality [53.025566128892066]
  AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。 ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。 この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
  論文  参考訳（メタデータ） (2024-10-18T18:37:27Z)
• Abstract Dialectical Frameworks are Boolean Networks (full version) [7.324459578044214]
  我々は,これらの2つの形式主義の関係と,その相違を明らかにすること,および,個々の形式主義の新たな結果を確立するための対応について検討する。
  論文  参考訳（メタデータ） (2024-07-02T08:37:05Z)
• Domain Embeddings for Generating Complex Descriptions of Concepts in Italian Language [65.268245109828]
  電子辞書から抽出した言語情報と語彙情報に富んだ分布意味資源を提案する。 リソースは21のドメイン固有の行列と1つの包括的なマトリックスとグラフィカルユーザインタフェースから構成される。 本モデルは,具体的概念知識に直接関連した行列を選択することにより,概念の意味的記述の推論を容易にする。
  論文  参考訳（メタデータ） (2024-02-26T15:04:35Z)
• Epistemic Logic Programs: a study of some properties [4.459996749171579]
  Epistemic Logic Programs (ELPs) は、Answer Set Programming (ASP) をエピステミック演算子に拡張する。 最近の研究は、ELPのセマンティックスで満たすべきセマンティックな特性を導入している。 ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
  論文  参考訳（メタデータ） (2023-09-28T11:08:37Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• Epistemic Syllogistic: First Steps [0.0]
  アリストテレスのモジュラー・シロメティクスに関する議論は、しばしば誤りが原因と見なされ、文学において大きな注目を集めた。 疫学的文脈における様相シロメティクスのいくつかの変種を提案し,検討した。 私たちの主な貢献には、これらの論理のいくつかの公理化が含まれており、完全性証明は独立した関心を持つかもしれない。
  論文  参考訳（メタデータ） (2023-07-11T06:50:49Z)
• Intrinsic Physical Concepts Discovery with Object-Centric Predictive Models [86.25460882547581]
  PHYsical Concepts Inference NEtwork (PHYCINE) は、異なる抽象レベルの物理概念を監督なしで推論するシステムである。 物理概念変数を含むオブジェクト表現は因果推論タスクの性能向上に有効であることを示す。
  論文  参考訳（メタデータ） (2023-03-03T11:52:21Z)
• Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
  我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。 我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
  論文  参考訳（メタデータ） (2022-11-16T21:33:31Z)
• BioLORD: Learning Ontological Representations from Definitions (for Biomedical Concepts and their Textual Descriptions) [17.981285086380147]
  BioLORDは、臨床文章や生物医学的概念に意味のある表現を創造するための新しい事前学習戦略である。 生物医学的名称は必ずしも自己説明的ではないため、しばしば非意味的な表現をもたらす。 BioLORDは、その概念表現を定義を用いて基礎づけ、マルチリレーショナルな知識グラフから派生した短い記述によってこの問題を克服している。
  論文  参考訳（メタデータ） (2022-10-21T11:43:59Z)
• A calculus for epistemic interactions [0.5156484100374059]
  E-calculusはエージェントの環境との相互作用をモデル化するための概念フレームワークである。 本稿では,エージェントの環境との相互作用をモデル化するための概念フレームワークであるe-calculusを提案する。 e-計算の挙動論は2つの異なる視点で展開される。
  論文  参考訳（メタデータ） (2022-06-29T09:54:58Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。