論文の概要: 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オントロジーの伝統的な推論タスクも達成できることを示す。 さらに、推論の結果に対する説明の形式的な定義も提示される。

関連論文リスト

• Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic [7.162465547358201]
  本稿では, 法的に関係のある設計決定に対して, 設計者に効果的な説明を与える方法について検討する。 我々は、規範と規範的文脈における行動の正当化のための重要な法的・倫理的原則を規定することによって、説明を提供するための以前のシステムを拡張した。 一階述語論理が強い表現力を持つことを考慮し、本論文ではデオン演算子と選好を持つ一階述語論理系を採用する。
  論文  参考訳（メタデータ） (2024-09-18T08:03:29Z)
• A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
  「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。 本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
  論文  参考訳（メタデータ） (2024-05-10T14:13:21Z)
• 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)
• Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
  言語モデル(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)
• A Description Logic for Analogical Reasoning [28.259681405091666]
  我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。 これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
  論文  参考訳（メタデータ） (2021-05-10T19:06:07Z)
• Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
  LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。 我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
  論文  参考訳（メタデータ） (2020-06-23T06:57:15Z)

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

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