論文の概要: Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

• arxiv url: http://arxiv.org/abs/2209.05090v1
• Date: Mon, 12 Sep 2022 08:42:34 GMT
• ステータス: 処理完了
• システム内更新日: 2022-09-13 13:08:48.039721
• Title: Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
• Title（参考訳）: 自動規範推論のためのlawalrulemlとtptpの橋渡し(拡張版)
• Authors: Alexander Steen, David Fuenmayor
• Abstract要約: LegalRuleMLは、標準ルールのモデリングと交換のためのXMLベースの表現フレームワークである。 TPTP入力および出力フォーマットは、自動推論システムとのインタラクションのための汎用標準である。 本稿では,TPTP形式に基づく論理的論理的規範的推論言語を定義することにより,この2つのコミュニティ間の橋渡しを行う。
• 参考スコア（独自算出の注目度）: 77.34726150561087
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-purpose standards for the interaction with automated reasoning systems. In this paper we provide a bridge between the two communities by (i) defining a logic-pluralistic normative reasoning language based on the TPTP format, (ii) providing a translation scheme between relevant fragments of LegalRuleML and this language, and (iii) proposing a flexible architecture for automated normative reasoning based on this translation. We exemplarily instantiate and demonstrate the approach with three different normative logics.
• Abstract（参考訳）: LegalRuleMLは、標準ルールのモデリングと交換のための包括的なXMLベースの表現フレームワークである。 一方、TPTP入力および出力フォーマットは、自動推論システムとのインタラクションのための汎用標準である。 本稿では,2つのコミュニティ間の橋渡しについて述べる。 (i)TPTPフォーマットに基づいた論理多元的規範推論言語を定義する。 (ii)法ルレムの関連断片とこの言語との翻訳スキームの提供及び (iii)この翻訳に基づく自動規範推論のための柔軟なアーキテクチャの提案。 例示的に3つの規範論理を用いてアプローチをインスタンス化し、実証する。

関連論文リスト

• Using Large Language Models for the Interpretation of Building Regulations [7.013802453969655]
  大規模言語モデル(LLM)は、ユーザのプロンプトに応答する論理的に一貫性のあるテキストとソースコードを生成することができる。 本稿では, 建物規制をLegalRuleMLに変換する際のLLMの性能を, 数ショットの学習設定で評価する。
  論文  参考訳（メタデータ） (2024-07-26T08:30:47Z)
• Normative Requirements Operationalization with Large Language Models [3.456725053685842]
  規範的な非機能要件は、社会的、法的、倫理的、共感的、文化的規範の違反を避けるために、システムが観察しなければならない制約を規定する。 近年の研究では、規範的要件を特定するためにドメイン固有言語を使用してこの問題に対処している。 本稿では,システム機能の抽象表現間の意味的関係を抽出するために,大規模言語モデルを用いた補完的アプローチを提案する。
  論文  参考訳（メタデータ） (2024-04-18T17:01:34Z)
• Cross-domain Chinese Sentence Pattern Parsing [67.1381983012038]
  文パターン構造解析(SPS)は、主に言語教育に使用される構文解析法である。 既存のSPSは教科書のコーパスに大きく依存しており、クロスドメイン機能に欠ける。 本稿では,大規模言語モデル(LLM)を自己学習フレームワーク内で活用する革新的な手法を提案する。
  論文  参考訳（メタデータ） (2024-02-26T05:30:48Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• Large Language Models and Explainable Law: a Hybrid Methodology [44.99833362998488]
  規則に基づく法体系のアクセシビリティ, 利用, 説明可能性を高めるため, LLMを提唱する。 ルールベースシステムによる説明を翻訳するために, LLM の利用の可能性を探るため, 提案手法を開発した。
  論文  参考訳（メタデータ） (2023-11-20T14:47:20Z)
• An Ontological Approach to Compliance Verification of the NIS 2 Directive [0.0]
  本稿では,テキスト文書が規定するセキュリティ対策のコンプライアンスチェックに向けて,意味表現と推論の手法を活用するアプローチを提案する。 命令からの実体と関係の形式化と、それに伴う重大な散文に関する構造化の改善は、コンプライアンス検証の難しい作業を通じて、いかなる組織にとっても劇的に役立つ。
  論文  参考訳（メタデータ） (2023-06-30T09:10:54Z)
• The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction and Constrained Decoding [65.34601470417967]
  本稿では,ニューラルネットワークモデリングとルールベース生成の強みを組み合わせた対話応答生成のためのハイブリッドアーキテクチャについて述べる。 本実験により, 本システムは, 流布性, 妥当性, 真理性の評価において, ルールベースおよび学習的アプローチの両方に優れることがわかった。
  論文  参考訳（メタデータ） (2022-09-16T09:00:49Z)
• DPCL: a Language Template for Normative Specifications [0.0]
  法的な中核概念は、推論と関係を体系化するために提案されている。 それらの間の解は一般に受け入れられず、共通基盤(表現的、計算的)は特定されていない。 このプレゼンテーションでは、より高いレベルのポリシーを指定するためのドメイン固有言語(ノルム)であるDPCLを紹介します。
  論文  参考訳（メタデータ） (2022-01-12T13:51:11Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。 対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
  論文  参考訳（メタデータ） (2021-10-18T10:45:59Z)

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

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