Fugu-MT 論文翻訳(概要): Epistemic Logic of Know-Who

論文の概要: Epistemic Logic of Know-Who

arxiv url: http://arxiv.org/abs/2012.06651v2
Date: Wed, 3 Mar 2021 02:09:32 GMT
ステータス: 処理完了
システム内更新日: 2021-05-11 02:54:43.634481
Title: Epistemic Logic of Know-Who
Title（参考訳）: ノウハウの疫学論理
Authors: Sophia Epstein, Pavel Naumov
Abstract要約: 本論文は,grove-halpernセマンティクスを用いたモダリティとしての"know who"の定義を提案する。また、"knows who"、"knows"、"for all agents"のモダリティ間の相互作用を記述する論理システムも導入している。
参考スコア（独自算出の注目度）: 15.076964620370266
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical result is a completeness theorem for the proposed system.
Abstract（参考訳）: 本論文は,grove-halpernセマンティクスを用いたモダリティとしての"know who"の定義を提案する。また、モダリティ間の相互作用を「知る者」、「知る者」、「すべてのエージェント」と記述する論理体系も導入している。主な技術的結果は、提案されたシステムの完全性定理である。

関連論文リスト

A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文参考訳（メタデータ） (2024-05-10T14:13:21Z)
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)
Belief, knowledge and evidence [0.0]
我々は、よく知られた信念と知識の古典的概念とエビデンスの概念を組み合わせた論理体系を提案する。ここでは,観念と知識がアクセシビリティ・リレーションを通じてモデル化されるのではなく,命題の集合として直接モデル化されるような,関係性のあるフレームベースのセマンティクスを提案する。
論文参考訳（メタデータ） (2023-04-03T18:20:02Z)
Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge [2.803567242358594]
説明可能なAI(XAI)の文脈でデータ差分を説明するために,概念帰納法が利用できることを示す。提案手法は,ウィキペディアのカテゴリ階層を背景知識としてキュレートした,大規模なクラス階層を利用する。
論文参考訳（メタデータ） (2022-09-27T21:51:27Z)
Fundamentals of Semantic Numeration Systems. Can the Context be Calculated? [91.3755431537592]
この研究は、コンテキストベースの数値化手法の特定のクラスとして、意味的数値化システム(SNS)の概念を初めて提案した。 SNSの概念の発展は、根本的に新しい概念の導入を必要とした。
論文参考訳（メタデータ） (2021-01-30T21:54:59Z)
Comprehension and Knowledge [15.076964620370266]
文章を理解するエージェントの能力は、エージェントの以前の経験と背景知識と密接に関連しています。本稿では,理解と知識モダリティの相互作用を記述する,完全二様論理システムを提案する。
論文参考訳（メタデータ） (2020-12-11T18:42:08Z)
KompaRe: A Knowledge Graph Comparative Reasoning System [85.72488258453926]
本稿では,複数の手がかりに対する共通点と矛盾点の推測を目的とした知識グラフの比較推論を提案する。我々は,大規模な知識グラフに対して比較推論機能を提供する,最初のプロトタイプシステムであるKompaReを開発した。
論文参考訳（メタデータ） (2020-11-06T04:57:37Z)
On a plausible concept-wise multipreference semantics and its relations with self-organising maps [0.0]
我々は,この提案がKLMなどの望ましい性質を満足し,溺れの問題を回避することを主張する。我々は、自己組織化マップの論理的意味論を開発することにより、概念的多言語意味論の妥当性を動機づける。
論文参考訳（メタデータ） (2020-08-30T21:06:06Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
Consciousness and Automated Reasoning [0.0]
本稿では,一階述語論理推論システムと大きな知識ベースの組み合わせを人工意識システムとして理解する方法について述べる。このようなシステムは意識的なマインドキャッシングをうまく行うことができることを実証する。
論文参考訳（メタデータ） (2020-01-26T11:43:48Z)

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