論文の概要: 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つの規範論理を用いてアプローチをインスタンス化し、実証する。
関連論文リスト
- Cross-domain Chinese Sentence Pattern Parsing [69.66298951436747]
文パターン構造解析(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) - 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) - Legal Detection of AI Products Based on Formal Argumentation and Legal
Ontology [4.286330841427189]
本稿では,法的文脈における推論のための構造化議論フレームワークを提案する。
この形式的議論理論とDLに基づく法論理を組み合わせることで、許容できるアサーションが得られることを示す。
論文 参考訳(メタデータ) (2022-09-07T11:08:08Z) - 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) - A Framework for Automatic Monitoring of Norms that regulate Time
Constrained Actions [0.0]
提案されたT-NORMモデルは、時間間隔で実行すべき、あるいはすべきでないアクションのクラスを規制できる抽象的なノルムを表現するために使用できる。
義務と禁止の形式化と、許可と免除の導入による禁止にモデルがどのように使用できるかを示す。
論文 参考訳(メタデータ) (2021-05-01T09:29:32Z) - Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。
我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文 参考訳(メタデータ) (2020-06-23T06:57:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。