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