論文の概要: DPCL: a Language Template for Normative Specifications

• arxiv url: http://arxiv.org/abs/2201.04477v1
• Date: Wed, 12 Jan 2022 13:51:11 GMT
• ステータス: 処理完了
• システム内更新日: 2022-01-13 15:20:21.980579
• Title: DPCL: a Language Template for Normative Specifications
• Title（参考訳）: DPCL: 規範仕様のための言語テンプレート
• Authors: Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers
• Abstract要約: 法的な中核概念は、推論と関係を体系化するために提案されている。 それらの間の解は一般に受け入れられず、共通基盤(表現的、計算的)は特定されていない。 このプレゼンテーションでは、より高いレベルのポリシーを指定するためのドメイン固有言語(ノルム)であるDPCLを紹介します。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies have been proposed to systematize concepts and relationships relevant to normative reasoning. However, no solution amongst those has achieved general acceptance, and no common ground (representational, computational) has been identified enabling us to easily compare them. Yet, all these efforts share the same motivation of representing normative directives, therefore it is plausible that there may be a representational model encompassing all of them. This presentation will introduce DPCL, a domain-specific language (DSL) for specifying higher-level policies (including norms, contracts, etc.), centred on Hohfeld's framework of fundamental legal concepts. DPCL has to be seen primarily as a "template", i.e. as an informational model for architectural reference, rather than a fully-fledged formal language; it aims to make explicit the general requirements that should be expected in a language for norm specification. In this respect, it goes rather in the direction of legal core ontologies, but differently from those, our proposal aims to keep the character of a DSL, rather than a set of axioms in a logical framework: it is meant to be cross-compiled to underlying languages/tools adequate to the type of target application. We provide here an overview of some of the language features.
• Abstract（参考訳）: 規範的アーティファクト(ノルム、契約、ポリシー)を計算処理可能な方法で特定するためのいくつかのソリューションが文献に提示されている。 規範的推論に関連する概念と関係を体系化するために法的核となるオントロジーが提案されている。 しかし、それらの間の解は一般に受け入れられず、共通基盤(表現的、計算的)は特定されておらず、簡単に比較できる。 しかし、これらの取り組みはすべて、規範的指示を表わす同じ動機を共有しているため、それら全てを包含する表現モデルが存在する可能性は高い。 このプレゼンテーションでは、Hahfeld氏の基本的な法的概念のフレームワークを中心にした、高レベルなポリシー(規範、契約などを含む)を指定するためのドメイン固有言語(DSL)であるDPCLを紹介します。 DPCLは主に、アーキテクチャ参照のための情報モデルとして、完全な形式言語ではなく、アーキテクチャ参照のための情報モデルとして見なされなければならない。 この点に関しては、法的な中核オントロジーの方向に進んでいますが、それとは違って、私たちの提案は、論理的なフレームワークにおける一連の公理ではなく、DSLのキャラクタを維持することを目的としています。 ここでは、いくつかの言語機能の概要を紹介する。

関連論文リスト

• Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations [61.141986747544024]
  アプリケーション開発者が、特定の価値、社会的規範、法律、その他の規則にモデルをチューニングできるようにするアプローチを提案する。 私たちは、アライメントスタジオアーキテクチャの主要な3つのコンポーネント、フレーム、インストラクタ、そしてオーディタをレイアウトしました。
  論文  参考訳（メタデータ） (2024-03-08T21:26:49Z)
• Automated legal reasoning with discretion to act using s(LAW) [0.294944680995069]
  倫理的および法的懸念は、自動化された推論者が人間の理解可能な言葉で正当化する必要がある。 パターンのセットに従って曖昧な概念をモデル化するために、ASPを述語するためのトップダウン実行モデルであるs(CASP)を使うことを提案する。 我々は、s(LAW)と呼ばれるフレームワークを実装して、適用可能な法律をモデル化、理由付け、正当化し、代表的なユースケースを翻訳(およびベンチマーク)することでそれを検証しました。
  論文  参考訳（メタデータ） (2024-01-25T21:11:08Z)
• Towards Grammatical Tagging for the Legal Language of Cybersecurity [0.0]
  法律言語は、典型的には法的職業に従事する人々によって使用される言語として理解することができる。 最近のサイバーセキュリティに関する法律では、明らかに法的言語が使われている。 本稿では,サイバーセキュリティの法的言語の本質的解釈の課題に直面する。
  論文  参考訳（メタデータ） (2023-06-29T15:39:20Z)
• Multilingual Conceptual Coverage in Text-to-Image Models [98.80343331645626]
  コンセプチュアル・カバー・アクロス言語(Conceptual Coverage Across Languages, CoCo-CroLa)とは、任意の生成的テキスト・画像システムにおいて、有形名詞の観点から学習言語に多言語対応を提供する程度をベンチマークする手法である。 各モデルについて、ソースコード中の一連の有形名詞に生成される画像の集団と、対象言語に翻訳された各名詞に生成された画像の集団とを比較することにより、ソース言語に対して与えられた対象言語の「概念的カバレッジ」を評価することができる。
  論文  参考訳（メタデータ） (2023-06-02T17:59:09Z)
• Prompting Language-Informed Distribution for Compositional Zero-Shot Learning [73.49852821602057]
  合成ゼロショット学習(CZSL)タスクは、目に見えない合成視覚概念を認識することを目的としている。 本稿では,タスクに対して言語インフォームド分布(PLID)を指示するモデルを提案する。 MIT-States、UT-Zappos、C-GQAデータセットの実験結果は、PLIDの先行技術よりも優れた性能を示している。
  論文  参考訳（メタデータ） (2023-05-23T18:00:22Z)
• DADA: Dialect Adaptation via Dynamic Aggregation of Linguistic Rules [64.93179829965072]
  DADAは、多言語対応のSAE訓練モデルに対するモジュラーアプローチである。 DADAは単一タスクと命令言語モデルの両方に有効であることを示す。
  論文  参考訳（メタデータ） (2023-05-22T18:43:31Z)
• Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) [77.34726150561087]
  LegalRuleMLは、標準ルールのモデリングと交換のためのXMLベースの表現フレームワークである。 TPTP入力および出力フォーマットは、自動推論システムとのインタラクションのための汎用標準である。 本稿では,TPTP形式に基づく論理的論理的規範的推論言語を定義することにより,この2つのコミュニティ間の橋渡しを行う。
  論文  参考訳（メタデータ） (2022-09-12T08:42:34Z)
• Norm Participation Grounds Language [16.726800816202033]
  私は、どのような基礎言語が規範的な性質であるのかという考え方を、異なる、より広範に提案します。 物事を正しく行うための基準があり、これらの標準は公然と権威があり、同時に権威の受容が議論され、交渉される。 言語がどのような基盤となるかは、言語ユーザーがそれを利用する決定的な方法であり、それが根底にあるのは、言語利用者のコミュニティである。
  論文  参考訳（メタデータ） (2022-06-06T20:21:59Z)
• Pre-Trained Language Models for Interactive Decision-Making [72.77825666035203]
  目的と観測を埋め込みのシーケンスとして表現する模倣学習の枠組みを述べる。 このフレームワークは様々な環境にまたがって効果的な一般化を可能にすることを実証する。 新たなゴールや新しいシーンを含むテストタスクでは、言語モデルによる初期化ポリシーはタスク完了率を43.6%改善する。
  論文  参考訳（メタデータ） (2022-02-03T18:55:52Z)
• LexGLUE: A Benchmark Dataset for Legal Language Understanding in English [15.026117429782996]
  我々は,多種多様なNLUタスクのモデル性能を評価するためのデータセットの集合であるLexGLUEベンチマークを紹介する。 また、複数の汎用的および法的指向モデルの評価と分析を行い、後者が複数のタスクにまたがるパフォーマンス改善を一貫して提供することを示した。
  論文  参考訳（メタデータ） (2021-10-03T10:50:51Z)
• Exploring Probabilistic Soft Logic as a framework for integrating top-down and bottom-up processing of language in a task context [0.6091702876917279]
  このアーキテクチャは既存のNLPコンポーネントを統合し、8段階の言語モデリングの候補分析を生成する。 このアーキテクチャは、形式レベルでの表現形式としてUniversal Dependencies (UD) と、学習者回答のセマンティックな分析を表現するための抽象的意味表現 (AMR) に基づいて構築されている。
  論文  参考訳（メタデータ） (2020-04-15T11:00:07Z)

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

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