論文の概要: Towards a General Many-Sorted Framework for Describing Certain Kinds of
Legal Statutes with a Potential Computational Realization
- arxiv url: http://arxiv.org/abs/2105.14212v1
- Date: Sat, 29 May 2021 05:01:06 GMT
- ステータス: 処理完了
- システム内更新日: 2021-06-01 17:19:33.819732
- Title: Towards a General Many-Sorted Framework for Describing Certain Kinds of
Legal Statutes with a Potential Computational Realization
- Title（参考訳）: 計算実現の可能性をもつ法規の特定の種類を記述するための一般多義的枠組みを目指して
- Authors: Danny A. J. Gomez-Ramirez, Egil Nordqvist
- Abstract要約: 現代数学の論理学において「論理経験主義」に存在する数学的構文図形を紹介する。
本論では,スウェーデンの財産の購入に関する法律の1つを,具体的な形式的構文的翻訳として提示する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Examining a 20th-century Scandinavian legal theoretical tradition, we can
extract an ontological naturalistic, a logical empiristic, and a modern
idealistic rationale. We introduce the mathematical syntactic figure present in
the `logical empiricism' in a contemporary mathematical logic. A new formal
framework for describing explicit purchase statutes (Sweden) is gradually
developed and subsequently proposed. This new framework is based on a
many-sorted first-order logic (MFOL) approach, where the semantics are grounded
in concrete `physical' objects and situations with a legal relevance.
Specifically, we present a concrete formal syntactic translation of one of the
central statutes of Swedish legislation for the purchase of immovable property.
Additionally, we discuss the potential implications that a subsequent
development of such formalisations would have for constructing artificial
agents (e.g., software) that can be used as `co-creative' legal assistance for
solving highly complex legal issues concerning the transfer of property, among
others.
- Abstract（参考訳）: 20世紀のスカンジナビアの法的理論的伝統を調べると、存在論的自然主義、論理経験主義、近代的理想主義的理論を抽出できる。
本稿では,現代数学論理学における「論理経験主義」の数学的構文図形を紹介する。
明示的な購入法(Sweden)を記述するための新しい形式的枠組みが徐々に開発され、その後提案される。
この新しいフレームワークは、多種多様な一階述語論理(MFOL)アプローチに基づいている。
具体的には,動けない財産の購入に関するスウェーデンの法律の中心的な法令の1つについて,具体的な統語訳を行う。
さらに,このような形式化の今後の発展が,財産移転に関する高度に複雑な法的問題を解決するための「共同創造的」な法的支援として使用できる人工エージェント(ソフトウェアなど)の構築に必要となる可能性についても論じる。
関連論文リスト
- 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) - Precedent-Enhanced Legal Judgment Prediction with LLM and Domain-Model
Collaboration [52.57055162778548]
法的判断予測(LJP)は、法律AIにおいてますます重要な課題となっている。
先行は、同様の事実を持つ以前の訴訟であり、国家法制度におけるその後の事件の判断の基礎となっている。
近年のディープラーニングの進歩により、LJPタスクの解決に様々なテクニックが使えるようになった。
論文 参考訳（メタデータ） (2023-10-13T16:47:20Z) - 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) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Dynamic Logic of Legal Competences [0.0]
我々は、この論理が法的な能力の規範を変える性格を明示的に捉えていると論じる。
我々は、ドイツの契約法における具体的な事例に適用し、法的能力と法的許容力の区別を捉えることができることを示す。
論文 参考訳（メタデータ） (2021-10-09T04:43:43Z) - Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。
我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文 参考訳（メタデータ） (2020-06-23T06:57:15Z) - A Dataset for Statutory Reasoning in Tax Law Entailment and Question
Answering [37.66486350122862]
本稿では,法定推論における自然言語理解手法の性能について検討する。
我々は、法的ドメインのテキストコーパスとともにデータセットを導入する。
タスクを完全に解くように設計された手作りPrologベースのシステムと対比する。
論文 参考訳（メタデータ） (2020-05-11T16:54:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。