論文の概要: 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(参考訳): 私たちは、ブロックチェーンやスマートコントラクトの内容や振る舞いの背後にある、その特定のレベルの関連する現実の特徴を記述するレベルの階層が存在する、と論じています。
これらの記述の基礎の研究がこれらの記述の形式主義、ツール、標準を発達させ、設定すれば、これらの体系の選択、設計、監査、法的な統制はより情報化され、より容易で、より高いレベルに引き上げられる。
関連論文リスト
- SmartML: Towards a Modeling Language for Smart Contracts [0.0]
本稿では,プラットフォームに依存しない,理解しやすいスマートコントラクトのモデリング言語であるSmartMLを提案する。
フォーマルなセマンティクスと型システムについて詳述し、セキュリティの脆弱性や攻撃に対処する上での役割に焦点を当てる。
論文 参考訳(メタデータ) (2024-03-11T11:27:53Z) - Hierarchical Invariance for Robust and Interpretable Vision Tasks at
Larger Scales [58.046982315688275]
本稿では、畳み込みニューラルネットワーク(CNN)のような階層型アーキテクチャを用いて、オーバーコンプリート不変量を構築する方法を示す。
オーバーコンプリート性により、そのタスクはニューラルアーキテクチャサーチ(NAS)のような方法で適応的に形成される。
大規模で頑健で解釈可能な視覚タスクの場合、階層的不変表現は伝統的なCNNや不変量に対する効果的な代替物とみなすことができる。
論文 参考訳(メタデータ) (2024-02-23T16:50:07Z) - SmartEx: A Framework for Generating User-Centric Explanations in Smart
Environments [2.2217676348694213]
本稿では,ユーザ中心の説明をスマート環境に組み込むアプローチを提案する。
私たちの仕事は、スマートな環境でコンテキスト認識と詳細な説明を生成するための、最初の技術的ソリューションです。
論文 参考訳(メタデータ) (2024-02-20T14:07:18Z) - 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) - From LSAT: The Progress and Challenges of Complex Reasoning [56.07448735248901]
本稿では,LSAT(Law School Admission Test)の3つの課題について,解析的推論,論理的推論,読解の3つの課題について検討する。
本稿では,これら3つのタスクを統合するハイブリッド推論システムを提案する。
論文 参考訳(メタデータ) (2021-08-02T05:43:03Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。