Fugu-MT 論文翻訳(概要): Shhh! The Logic of Clandestine Operations

論文の概要: Shhh! The Logic of Clandestine Operations

arxiv url: http://arxiv.org/abs/2305.07035v1
Date: Wed, 10 May 2023 22:15:58 GMT
ステータス: 処理完了
システム内更新日: 2023-05-15 15:05:30.962123
Title: Shhh! The Logic of Clandestine Operations
Title（参考訳）: シーッ! クランドステイン手術の論理
Authors: Pavel Naumov, Oliver Orejola
Abstract要約: 本論文は,内科手術の形式的意味論を提案する。分散知識のモダリティと連立政権を掌握するモダリティの相互作用を述べる。
参考スコア（独自算出の注目度）: 28.09797951978096
License: http://creativecommons.org/licenses/by/4.0/
Abstract: An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed. The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations.
Abstract（参考訳）: 操作が実行されているという事実が隠蔽されている場合、その操作はアクターのアイデンティティを隠蔽する場合はcovertと呼ばれ、clangdestineと呼ばれる。本論文は, 秘密操作の形式的意味論を提案し, 分散知識のモダリティと, 秘密操作を行う連立力を捕獲するモダリティとの相互作用を記述した, 健全で完全な論理体系を提案する。

関連論文リスト

FinePseudo: Improving Pseudo-Labelling through Temporal-Alignablity for Semi-Supervised Fine-Grained Action Recognition [57.17966905865054]
実生活における行動認識の応用は、しばしば微妙な動きのきめ細かい理解を必要とする。既存の半教師ありアクション認識は主に粗いアクション認識に焦点を当てている。そこで我々は,微粒なアクションペアの識別を効果的に行うための,アライナビリティ検証に基づくメトリック学習手法を提案する。
論文参考訳（メタデータ） (2024-09-02T20:08:06Z)
Compromising Embodied Agents with Contextual Backdoor Attacks [69.71630408822767]
大型言語モデル(LLM)は、エンボディドインテリジェンスの発展に変化をもたらした。本稿では,このプロセスにおけるバックドアセキュリティの重大な脅威を明らかにする。ほんの少しの文脈的デモンストレーションを毒殺しただけで、攻撃者はブラックボックスLDMの文脈的環境を隠蔽することができる。
論文参考訳（メタデータ） (2024-08-06T01:20:12Z)
pOps: Photo-Inspired Diffusion Operators [55.93078592427929]
pOpsは、CLIPイメージの埋め込みに直接セマンティック演算子をトレーニングするフレームワークである。 pOpsは、異なる意味を持つ様々なフォトインスパイアされた演算子を学ぶのに利用できることを示す。
論文参考訳（メタデータ） (2024-06-03T13:09:32Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
The quantum switch is uniquely defined by its action on unitary operations [0.8192907805418581]
非ユニタリ演算に対する量子スイッチの作用は、そのユニタリ演算に対する作用の自然な'拡張として選択される。しかし、自然拡大が2スロットの場合の量子スイッチの唯一の可能性であることを示す。
論文参考訳（メタデータ） (2021-05-31T18:02:30Z)
Utilizing Skipped Frames in Action Repeats via Pseudo-Actions [13.985534521589253]
多くの深層強化学習では、エージェントがアクションを取ると、次のアクション決定点まで状態を観察しずに、事前定義された回数で同じアクションを繰り返します。訓練データの量は、反復する行動の間隔に逆比例するので、トレーニングのサンプル効率に悪影響を及ぼす可能性がある。疑似アクションの概念を導入してこの問題を緩和する,シンプルだが効果的なアプローチを提案する。
論文参考訳（メタデータ） (2021-05-07T02:43:44Z)
Increasing the dimension of the maximal pure coherent subspace of a state via incoherent operations [0.0]
混合コヒーレント状態から純コヒーレント状態への変換を非コヒーレント操作と非コヒーレント操作の両方を用いて検討する。我々は、非コヒーレント演算と非コヒーレント演算の両方が、状態の最大純コヒーレント部分空間の次元を増大させることができることを示した。
論文参考訳（メタデータ） (2020-12-29T04:54:25Z)
Online Action Recognition [69.32402131983699]
行動統一(AU)とオンライン行動認識(OARU)を提案する。 AUは論理統一に基づいて構築され、重み付き部分MaxSATを使用して2つの入力アクションを一般化する。 OARUは専門家の知識を正確に認識し、リアルタイムのパフォーマンスを示す。
論文参考訳（メタデータ） (2020-12-14T12:37:20Z)
Epistemic Logic of Know-Who [15.076964620370266]
本論文は,grove-halpernセマンティクスを用いたモダリティとしての"know who"の定義を提案する。また、"knows who"、"knows"、"for all agents"のモダリティ間の相互作用を記述する論理システムも導入している。
論文参考訳（メタデータ） (2020-12-11T21:45:04Z)
Causal Inference of Script Knowledge [40.57602617170568]
本稿では,イベント間の因果効果に基づくスクリプト誘導手法を提案する。提案手法の出力は,スクリプトが表現するものの直感とよく一致していることを示す。
論文参考訳（メタデータ） (2020-04-02T17:54:24Z)

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