論文の概要: Legal Detection of AI Products Based on Formal Argumentation and Legal
Ontology
- arxiv url: http://arxiv.org/abs/2209.03070v1
- Date: Wed, 7 Sep 2022 11:08:08 GMT
- ステータス: 処理完了
- システム内更新日: 2022-09-08 12:31:51.773089
- Title: Legal Detection of AI Products Based on Formal Argumentation and Legal
Ontology
- Title(参考訳): 形式的議論と法的存在論に基づくai製品の法的検出
- Authors: Zhe Yu and Yiwei Lu
- Abstract要約: 本稿では,法的文脈における推論のための構造化議論フレームワークを提案する。
この形式的議論理論とDLに基づく法論理を組み合わせることで、許容できるアサーションが得られることを示す。
- 参考スコア(独自算出の注目度): 4.286330841427189
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Ontology is a popular method for knowledge representation in different
domains, including the legal domain, and description logics (DL) is commonly
used as its description language. To handle reasoning based on inconsistent
DL-based legal ontologies, the current paper presents a structured
argumentation framework particularly for reasoning in legal contexts on the
basis of ASPIC+, and translates the legal ontology into formulas and rules of
an argumentation theory. With a particular focus on the design of autonomous
vehicles from the perspective of legal AI, we show that using this combined
theory of formal argumentation and DL-based legal ontology, acceptable
assertions can be obtained based on inconsistent ontologies, and the
traditional reasoning tasks of DL ontologies can also be accomplished. In
addition, a formal definition of explanations for the result of reasoning is
presented.
- Abstract(参考訳): オントロジー(オントロジー)は、法域を含む異なる領域における知識表現の一般的な方法であり、記述論理(DL)はその記述言語として一般的に用いられる。
そこで本論文では, ASPIC+に基づく法的文脈における推論のための構造的議論の枠組みを論証理論の定式化と規則化に向け, 不整合DLに基づく法定オントロジーに基づく推論に対処する。
法的なaiの観点から、特に自動運転車の設計に焦点をあて、この形式的議論理論とdlに基づく法的なオントロジーを組み合わせることで、一貫性のないオントロジーに基づいて許容可能なアサーションを得ることができ、dlオントロジーの伝統的な推論タスクも達成できることを示す。
さらに、推論の結果に対する説明の形式的な定義も提示される。
関連論文リスト
- Logic Rules as Explanations for Legal Case Retrieval [9.240902132139187]
本稿では,ケースレベルの論理則と法レベルの論理則を学習することで,訴訟の一致を推論する枠組みを提案する。
論理則の論理性と解釈性から、NS-LCRは忠実な説明性を備えている。
論文 参考訳(メタデータ) (2024-03-03T09:22:21Z) - 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) - Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of
Language Models with Hypothesis Refinement [95.10400704620797]
言語モデル(LM)は、しばしば帰納的推論に不足する。
我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。
本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
論文 参考訳(メタデータ) (2023-10-12T17:51:10Z) - 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) - Factoring Statutory Reasoning as Language Understanding Challenges [48.13180364616141]
法定推論を4種類の言語理解課題問題に分解する。
Prologプログラムに見られる概念と構造を紹介します。
法定推論のモデルは、追加の構造の恩恵を受けることが示されている。
論文 参考訳(メタデータ) (2021-05-17T14:33:02Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。
これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文 参考訳(メタデータ) (2021-05-10T19:06:07Z) - Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。
対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。
我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文 参考訳(メタデータ) (2020-10-30T12:16:45Z) - Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。
我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文 参考訳(メタデータ) (2020-06-23T06:57:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。