論文の概要: Modelling Value-oriented Legal Reasoning in LogiKEy
- arxiv url: http://arxiv.org/abs/2006.12789v5
- Date: Wed, 30 Mar 2022 20:27:47 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-17 23:26:47.272297
- Title: Modelling Value-oriented Legal Reasoning in LogiKEy
- Title（参考訳）: LogiKEyにおける価値指向法則推論のモデル化
- Authors: Christoph Benzm\"uller and David Fuenmayor and Bertram Lomfeld
- Abstract要約: LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。
我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The logico-pluralist LogiKEy knowledge engineering methodology and framework
is applied to the modelling of a theory of legal balancing in which legal
knowledge (cases and laws) is encoded by utilising context-dependent value
preferences. The theory obtained is then used to formalise, automatically
evaluate, and reconstruct illustrative property law cases (involving
appropriation of wild animals) within the Isabelle proof assistant system,
illustrating how LogiKEy can harness interactive and automated theorem proving
technology to provide a testbed for the development and formal verification of
legal domain-specific languages and theories. Modelling value-oriented legal
reasoning in that framework, we establish novel bridges between latest research
in knowledge representation and reasoning in non-classical logics, automated
theorem proving, and applications in legal reasoning.
- Abstract（参考訳）: 論理多元主義的ロジキー知識工学の方法論と枠組みは、法的知識(事例と法則)を文脈に依存した値選好を用いて符号化する法的バランス理論のモデリングに適用される。
得られた理論は、イザベル証明アシスタントシステム内での実証的財産法ケース(野生動物の服用を含む)の形式化、自動評価、再構築に用いられ、LogiKEyが対話的かつ自動化された定理証明技術を活用して、法的ドメイン固有言語や理論の開発と形式的検証のためのテストベッドを提供する方法について説明されている。
その枠組みで価値指向の法的推論をモデル化し、知識表現における最新の研究と非古典論理学における推論、自動定理証明、および法的推論における応用の橋渡しを確立する。
関連論文リスト
- Lean-STaR: Learning to Interleave Thinking and Proving [53.923617816215774]
証明の各ステップに先立って,非公式な思考を生成するために,言語モデルをトレーニングするフレームワークであるLean-STaRを紹介します。
Lean-STaRは、Lean定理証明環境内のminiF2F-testベンチマークで最先端の結果を達成する。
論文 参考訳（メタデータ） (2024-07-14T01:43:07Z) - DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment [55.91429725404988]
判例検索のための識別モデルであるDELTAを紹介する。
我々は浅層デコーダを利用して情報ボトルネックを作り、表現能力の向上を目指しています。
本手法は, 判例検索において, 既存の最先端手法よりも優れている。
論文 参考訳（メタデータ） (2024-03-27T10:40:14Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - Enhancing Pre-Trained Language Models with Sentence Position Embeddings
for Rhetorical Roles Recognition in Legal Opinions [0.16385815610837165]
法的意見の規模は増え続けており、法的意見の修辞的役割を正確に予測できるモデルを開発することはますます困難になっている。
本稿では,文の位置情報に関する知識によって強化された事前学習言語モデル(PLM)を用いて,修辞的役割を自動的に予測する新しいモデルアーキテクチャを提案する。
LegalEval@SemEval2023コンペティションの注釈付きコーパスに基づいて、我々のアプローチではパラメータが少なく、計算コストが低下することを示した。
論文 参考訳（メタデータ） (2023-10-08T20:33:55Z) - SAILER: Structure-aware Pre-trained Language Model for Legal Case
Retrieval [75.05173891207214]
判例検索は知的法体系において中心的な役割を果たす。
既存の言語モデルの多くは、異なる構造間の長距離依存関係を理解するのが難しい。
本稿では, LEgal ケース検索のための構造対応プレトランザクショナル言語モデルを提案する。
論文 参考訳（メタデータ） (2023-04-22T10:47:01Z) - Legal Detection of AI Products Based on Formal Argumentation and Legal
Ontology [4.286330841427189]
本稿では,法的文脈における推論のための構造化議論フレームワークを提案する。
この形式的議論理論とDLに基づく法論理を組み合わせることで、許容できるアサーションが得られることを示す。
論文 参考訳（メタデータ） (2022-09-07T11:08:08Z) - Modeling and Automating Public Announcement Logic with Relativized
Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。
これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文 参考訳（メタデータ） (2021-11-02T15:14:52Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Towards a General Many-Sorted Framework for Describing Certain Kinds of
Legal Statutes with a Potential Computational Realization [0.0]
現代数学の論理学において「論理経験主義」に存在する数学的構文図形を紹介する。
本論では,スウェーデンの財産の購入に関する法律の1つを,具体的な形式的構文的翻訳として提示する。
論文 参考訳（メタデータ） (2021-05-29T05:01:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。