論文の概要: Formalising Grassroots Social Contracts: From Legal Text to Grassroots Platforms

• arxiv url: http://arxiv.org/abs/2609.06231v1
• Date: Sat, 05 Sep 2026 19:09:44 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-12 06:23:52.155877
• Title: Formalising Grassroots Social Contracts: From Legal Text to Grassroots Platforms
• Title（参考訳）: Grassrootsの形式化: 法的テキストからGrassrootsプラットフォームへ
• Abstract要約: プロウドンは、(1)人との合意、(2)互恵的、(3)当事者に義務を課す、という社会的契約を構想した。 草の根の社会的契約は、働く草の根のプラットフォームに変換できることを示す。
• 参考スコア（独自算出の注目度）: 1.357291726431012
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Two centuries ago Pierre-Joseph Proudhon envisioned a social contract that is (1) an agreement of man with man; (2) reciprocal; (3) imposing no obligation upon the parties except that which results from their personal promise; (4) subject to no external authority; (5) freely accepted and signed by all the participants; (6) of the nature of a contract of exchange. He also envisioned a property of social contracts, analogous to a property of digital platforms we term grassroots: that one could "make a contract with all, as ... with some"; digitally, that a grassroots platform can have multiple instances, which may coalesce by mutual consent. We define grassroots social contracts as social contracts meeting these conditions and that (7) people are free to deal with each other; and (8) there is no external register of people. We show that a grassroots social contract can be transformed into a working grassroots platform through an abstraction cascade, from the contract text to formal act schemas, verified syntactically to be grassroots, and then to volition-guarded multiagent atomic transactions. Act schemas are a formal language for the acts the contract describes, each naming the parties' roles, which of them must will the act, and its precondition and effect at each role. Any contract written in this language meets the eight conditions, provided it is syntactically grassroots, satisfying three decidable conditions, Introduction, Provenance and Volition. We prove that the protocol realising a syntactically grassroots contract is grassroots, and volitionally so. Clauses of a grassroots social contract are of three legal types: a breach of an enforced clause is impossible with a correct implementation; a breach of an attested or undertaken clause can be taken to court, with signed evidence for an attested clause. We illustrate them with a grassroots social graph and grassroots currencies.
• Abstract（参考訳）: 2世紀前、ピエール=ジョゼフ・プルードンは、(1)人との合意、(2)互恵的、(3)当事者に義務を課すこと、(4)外部の権限を行使すること、(5)すべての参加者が自由に受け入れ、署名すること、(6)交換の契約の性質について、社会契約を構想した。 彼はまた、私たちが草の根と呼ぶデジタルプラットフォームの性質に類似した社会的契約の資産を構想した: 草の根プラットフォームが複数のインスタンスを持つことができ、相互の同意によって合体できる、というデジタル的な考えである。 我々は草の根の社会契約を、これらの条件を満たす社会的契約として定義し、(7)人々は互いに自由に対処できる、(8)外部登録は存在しない、と定義する。 本研究では,草の根の社会的契約を,契約書から形式的行動スキーマ,構文的に草の根であることが証明された上で,任意に保護されたマルチエージェント・アトミックトランザクションに至るまで,抽象的なカスケードを通じて動作中の草の根プラットフォームに変換可能であることを示す。 アクトスキーマ(英: Act schemas)は、契約が記述する行為の形式言語であり、当事者の役割をそれぞれ命名する。 この言語で書かれた契約は8つの条件を満たすが、それは構文的に草の根であり、3つの決定可能な条件を満たす。 構文的に草の根契約を実現するプロトコルは草の根であり、自発的にそうであることを示す。 強制条項の違反は、正しい実施で不可能であり、証明された条項の違反は、証明された条項の署名された証拠とともに、裁判所に伝えられる。 それらを、草の根のソーシャルグラフと草の根の通貨で説明します。

関連論文リスト

• Generative Gap Filling [0.0]
  ほとんどの契約訴訟は、パーティーの取引を不完全に記録する契約に変わります。 文書を解釈することで当事者の論争が解決できない場合、裁判所はギャップを埋める。 代々の作業にもかかわらず、裁判所はそのような非現実的な方法に真の代替手段を持っていない。
  論文  参考訳（メタデータ） (2026-08-07T05:19:02Z)
• Contract Usage and Evolution in Android Mobile Applications [45.44831696628473]
  JavaやKotlinで記述されたAndroidアプリケーションにおけるコントラクトの存在と使用に関する,最初の大規模な実証的研究を紹介する。 F-Droidリポジトリから2,390のAndroidアプリケーションを解析し,51,749 KLOC以上を処理した。 私たちの発見は、JavaとKotlinでコントラクト仕様を標準化するライブラリを持つことが望ましいことを示しています。
  論文  参考訳（メタデータ） (2024-01-25T15:36:49Z)
• Language of Bargaining [60.218128617765046]
  我々は、言語の使用が二国間交渉をどのように形成するかを研究するための新しいデータセットを構築した。 我々の研究は、交渉の結果を予測する言語信号も明らかにしている。
  論文  参考訳（メタデータ） (2023-06-12T13:52:01Z)
• ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction [84.0634340572349]
  法律契約における暗黙の関係をモデル化し,契約条項の自動抽出(CCE)について検討する。 本研究ではまず,契約の複雑性問題を包括的に分析し,契約に共通する3つの暗黙の関係を抽出する。 本稿では,上記の3つの関係を利用して,より優れたコントラクト理解とCCEの改善を実現するための新しいフレームワークであるConReaderを提案する。
  論文  参考訳（メタデータ） (2022-10-17T02:15:18Z)
• Computable Contracts in the Financial Services Industry [1.713291434132985]
  計算可能な契約は、コンピュータが読み、理解し、実行できる契約である。 金融サービス業界における計算可能な契約の使用は、顧客エクスペリエンスの大幅な改善につながると我々は主張する。
  論文  参考訳（メタデータ） (2022-07-03T00:06:39Z)
• Detecting Logical Relation In Contract Clauses [94.85352502638081]
  契約における節間の論理的関係の抽出を自動化する手法を開発する。 結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
  論文  参考訳（メタデータ） (2021-11-02T19:26:32Z)
• ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts [39.75232199445175]
  契約書に対する文書レベルの自然言語推論(NLI)を提案する。 システムには一連の仮説と契約が与えられ、それぞれの仮説が「関連づけられている」か、「矛盾している」か、「言及されていない」か(中立である)を分類するよう求められる。 これまでで最大のコーパスを607のアノテート契約でリリースしています。
  論文  参考訳（メタデータ） (2021-10-05T03:22:31Z)
• Towards Socially Intelligent Agents with Mental State Transition and Human Utility [97.01430011496576]
  対話エージェントに精神状態と実用性モデルを取り入れることを提案する。 ハイブリッド精神状態は、対話とイベント観察の両方から情報を抽出する。 ユーティリティモデルは、クラウドソースのソーシャルコモンセンスデータセットから人間の好みを学習するランキングモデルである。
  論文  参考訳（メタデータ） (2021-03-12T00:06:51Z)
• Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society [21.09021899088913]
  デジタル・ソーシャル・コントラクト(英: Digital Social Contract)とは、デジタル領域で特定され、実行され、達成される人々の間の自発的な合意である。 コード・イズ・ロー(code-is-law)という概念を最も純粋な形で具現化したものである。 本稿では,暗号音声による非同期通信を行うエージェントとして,デジタル社会契約の形式的定義を提案する。
  論文  参考訳（メタデータ） (2020-05-13T11:45:49Z)
• A Formal Treatment of Contract Signature [0.0]
  本稿では,法的契約の署名プロセスの論理的理解を発展させる。 ブロックチェーンプラットフォーム上のスマートコントラクトを法的に認識するためのアプリケーションによって動機付けられている。
  論文  参考訳（メタデータ） (2020-02-23T04:39:56Z)

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

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