Fugu-MT 論文翻訳(概要): Why blockchain and smart contracts need semantic descriptions

論文の概要: Why blockchain and smart contracts need semantic descriptions

arxiv url: http://arxiv.org/abs/2107.14101v1
Date: Fri, 9 Jul 2021 17:48:06 GMT
ステータス: 処理完了
システム内更新日: 2023-03-22 23:44:16.885104
Title: Why blockchain and smart contracts need semantic descriptions
Title（参考訳）: ブロックチェーンとスマートコントラクトにセマンティック記述が必要な理由
Authors: Zoran \v{S}koda
Abstract要約: 私たちは、ブロックチェーンやスマートコントラクトの内容や振る舞いの背後にある、その特定のレベルの関連する現実の特徴を記述するレベルの階層が存在する、と論じています。これらの記述の基礎の研究がこれらの記述の形式主義、ツール、標準を発達させ、設定すれば、これらの体系の選択、設計、監査、法的な統制はより情報化され、より容易で、より高いレベルに引き上げられる可能性がある。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-sa/4.0/
Abstract: We argue that there is a hierarchy of levels describing to that particular level relevant features of reality behind the content and behavior of blockchain and smart contracts in their realistic deployment. Choice, design, audit and legal control of these systems could be more informed, easier and raised to a higher level, if research on foundations of these descriptions develops and sets the formalisms, tools and standards for such descriptions.
Abstract（参考訳）: 私たちは、ブロックチェーンやスマートコントラクトの内容や振る舞いの背後にある、その特定のレベルの関連する現実の特徴を記述するレベルの階層が存在する、と論じています。これらの記述の基礎の研究がこれらの記述の形式主義、ツール、標準を発達させ、設定すれば、これらの体系の選択、設計、監査、法的な統制はより情報化され、より容易で、より高いレベルに引き上げられる。

関連論文リスト

A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems [2.001711587270359]
本稿では,システムとその環境のプライバシ特性に関する推論フレームワークを提案する。異なる論理レベルの知識リークをキャプチャして、質問に答えることができます。
論文参考訳（メタデータ） (2024-05-14T06:52:56Z)
Reinforcement Learning with Options and State Representation [105.82346211739433]
この論文は、強化学習分野を探求し、改良された手法を構築することを目的としている。階層的強化学習(Hierarchical Reinforcement Learning)として知られる階層的な方法で学習タスクを分解することで、そのような目標に対処する。
論文参考訳（メタデータ） (2024-03-16T08:30:55Z)
SmartML: Towards a Modeling Language for Smart Contracts [0.3277163122167434]
本稿では,プラットフォームに依存しない,理解しやすいスマートコントラクトのモデリング言語であるSmartMLを提案する。セキュリティ脆弱性に対処する上での役割に焦点をあてて、その形式的意味論と型システムについて詳述する。
論文参考訳（メタデータ） (2024-03-11T11:27:53Z)
Towards Verifiable Generation: A Benchmark for Knowledge-aware Language Model Attribution [48.86322922826514]
本稿では,知識認識型言語モデル属性(KaLMA)の新たな課題について述べる。まず、属性のソースを構造化されていないテキストから知識グラフ(KG)に拡張し、そのリッチな構造は属性のパフォーマンスと作業シナリオの両方に役立ちます。第2に,不完全な知識リポジトリを考慮した「意識的非能力」の設定を提案する。第3に,テキスト品質,引用品質,引用アライメントを含む総合的な自動評価指標を提案する。
論文参考訳（メタデータ） (2023-10-09T11:45:59Z)
ChatRule: Mining Logical Rules with Large Language Models for Knowledge Graph Reasoning [107.61997887260056]
そこで我々は,知識グラフ上の論理ルールをマイニングするための大規模言語モデルの力を解き放つ新しいフレームワークChatRuleを提案する。具体的には、このフレームワークは、KGのセマンティック情報と構造情報の両方を活用するLLMベースのルールジェネレータで開始される。生成されたルールを洗練させるために、ルールランキングモジュールは、既存のKGから事実を取り入れてルール品質を推定する。
論文参考訳（メタデータ） (2023-09-04T11:38:02Z)
Semantic Communications for Artificial Intelligence Generated Content (AIGC) Toward Effective Content Creation [75.73229320559996]
本稿では,AIGCとSemComの統合の概念モデルを開発する。 AIGC技術を利用した新しいフレームワークが,意味情報のためのエンコーダおよびデコーダとして提案されている。このフレームワークは、生成されたさまざまなタイプのコンテンツ、要求される品質、活用される意味情報に適応することができる。
論文参考訳（メタデータ） (2023-08-09T13:17:21Z)
Watch the Gap: Making code more intelligible to users without sacrificing decentralization? [0.0]
ユーザと法務機関とソースコードの間に存在する情報ギャップを強調します。我々は、このギャップを埋めることを目的として、ローコードからノーコードへの取り組みのスペクトルを提示します。これは、情報ギャップに対する解決策がシステムをより集中的にする傾向があるため、いわゆる"信頼できない夢の落とし穴"を強調します。
論文参考訳（メタデータ） (2023-03-10T10:50:18Z)
Modelling Business Agreements in the Multimodal Transportation Domain through Ontological Smart Contracts [0.5735035463793007]
Ride2Railプロジェクトは、ブロックチェーンを使用して、異なる利害関係者間の合意をスマートコントラクトとして記録することを調査した。本稿では,オントロジ的スマートコントラクトの概念を特定のドメインに適用できることを示すために,Ride2Rail Ontology for Agreementsの開発について述べる。
論文参考訳（メタデータ） (2022-09-05T09:58:42Z)
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery [77.34726150561087]
離散環境のための新しい強化学習モデルを提案する。モデルでは、エージェントは確率的ルールの形で環境に関する情報を学習する。学習には報酬関数は不要であり、エージェントは達成するための第一の目標のみを与える必要がある。
論文参考訳（メタデータ） (2022-02-15T14:04:44Z)
CausalCity: Complex Simulations with Agency for Causal Discovery and Reasoning [68.74447489372037]
本稿では,因果探索と反事実推論のためのアルゴリズムの開発を目的とした,高忠実度シミュレーション環境を提案する。私たちの作業の中核となるコンポーネントは、複雑なシナリオを定義して作成することが簡単になるような、テキストの緊急性を導入することです。我々は3つの最先端の手法による実験を行い、ベースラインを作成し、この環境の可利用性を強調する。
論文参考訳（メタデータ） (2021-06-25T00:21:41Z)
Directions for Explainable Knowledge-Enabled Systems [3.7250420821969827]
我々は、人工知能と密接に関連する分野における説明文献の調査を活用して、一連の説明型を生成する。それぞれの型を定義し、このスタイルの説明の必要性を動機付けるサンプル質問を提供します。この一連の説明型は、将来のシステム設計者が要求の生成と優先順位付けに役立ちます。
論文参考訳（メタデータ） (2020-03-17T04:34:29Z)

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