東京新聞:ＡＩで精密裁判？ 法論理との類似に注目 国立情報学研究所:科学(TOKYO Web)

人工知能（ＡＩ）の基礎的な理論を使ってコンピューターに裁判の過程を考えさせようとする研究が国立情報学研究所で進められている。多くの要素が絡んだ複雑な裁判の過程でも、必要な手続きや証拠を誤ることなく判断できる。情報化する一方で人手が不足しているといわれる裁判の新しい力となるか。 （永井理） このソフトウエアはＰＲＯＬＥＧ（プロレグ）。例えば「請け負った工事の代金を支払え」というような訴えの中身と「請負契約をした」「工事が完了した」など主張に必要な事実（要件事実）を入力して実行すると、主張が認められるかどうか結論が出てくる。 プロレグは、裁判官が審理を進めるガイドラインとなる「要件事実論」というルールの体系をプログラム化したもの。ＡＩ研究で使われるＰｒｏｌｏｇ（プロログ）という言語で書かれている。「ＡＩのプログラムと裁判の論の運び方には共通点がある」と開発者の国立情報学研究所の佐藤健教授は話す

[Nihonjin]

「当面の応用としては法科大学院の授業で要件事実論を学ぶのに使えるという。また、弁護士が証拠に抜けがないかなどをあらかじめ確認することにも役立つという」

[ortica]

[h:keyword:論理プログラミング]

[SavingThrow]

"ＡＩのプログラムと裁判の論の運び方には共通点がある。要件事実論と論理プログラミングの構造がまったく同じ。"

[terazzo]

Prologの間違いかと思ったけどなんかそういう研究やってるのね。Prolog+LegalでProleg？ cf: http://research.nii.ac.jp/~ksatoh/

[tomo31415926563]

とても面白い研究。

[a_sheep]

昔、法律人工知能という教科書読んだのを思い出した/東京新聞：ＡＩで精密裁判？　法論理との類似に注目

[eiji8pou]

もうね、ほんと機械にやらせてもいいじゃないか。裁判なんてさ。

[YaSuYuKi]

ついこの前、プログラミングと立法行為が似ているという話を上司とした記憶があるのだが

[junmyk]

俺のレベルでの印象だけれど、宅建で民法習ったのだが、ソフトウェア・アルゴリズムとの親和性は高いと思った。

[kojosan]

誰かがやっているだろうなーとは思っていた

[sentoh]

へえ

[medicineman]

prolog ツッコミたいことはブクマにだいたい出てた

[LS2008]

法律エキスパートシステムなら、90年代に結構やってたような。と思ってぐぐったら、すぐこれが出てきた。http://kaken.nii.ac.jp/d/r/50062162

[sarutoru]

>要件事実論と論理プログラミングの構造がまったく同じだと気付いたという

[kutakutatriangle]

内容の妥当性に関しては全く分からないので法律に詳しい人の解説を所望したいところ。

[Kaffeepause]

「要件事実論と論理プログラミングの構造がまったく同じ」というが、記事の流れになんかモヤモヤする･･･実際は要件事実Aに該当するか否かが問題になることが多いのでは？これも筋違いの批判かもしれないが。

[Kfpause]

「要件事実論と論理プログラミングの構造がまったく同じ」というが、記事の流れになんかモヤモヤする･･･実際は要件事実Aに該当するか否かが問題になることが多いのでは？これも筋違いの批判かもしれないが。