要約
この論文の重要な目的は、人工知能を扱う法曹界に数理論理学の基本を伝えることです。
AI とは何かを分析した後、ニューラル ネットワークと機械学習は脇に置いて、ルールベースの AI に限定することにしました。
ルールベースの AI では、基本的な形式で記述された形式的メソッドが可能になります。
次に、数学的論理が法的ルールに基づいた AI の実践とどのように相互作用するかを見ていきます。
数学的論理がどのように AI アプリケーションに制限と複雑さを課すのかを見ていきます。
私たちは、数理論理学と法律 AI の間の制限と相互作用を、論理的、計算的、数学的の 3 つのカテゴリに分類します。
インタラクションを紹介する例は主にヨーロッパの交通規制から来ます。
この論文は、AI がどこでどのように使用できるか、そして社会を形成する基本的なメカニズムについていくつかの考察で締めくくられています。
要約(オリジナル)
An important aim of this paper is to convey some basics of mathematical logic to the legal community working with Artificial Intelligence. After analysing what AI is, we decide to delimit ourselves to rule-based AI leaving Neural Networks and Machine Learning aside. Rule based AI allows for Formal methods which are described in a rudimentary form. We will then see how mathematical logic interacts with legal rule-based AI practice. We shall see how mathematical logic imposes limitations and complications to AI applications. We classify the limitations and interactions between mathematical logic and legal AI in three categories: logical, computational and mathematical. The examples to showcase the interactions will largely come from European traffic regulations. The paper closes off with some reflections on how and where AI could be used and on basic mechanisms that shape society.
arxiv情報
| 著者 | Joost J. Joosten,Manuela Montoya García |
| 発行日 | 2024-02-09 15:43:31+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google