人工知能と法
今日では、人工知能と法は以下に掲げるような広い範囲のトピックを包含している。
法的推論の形式モデル
議論と意思決定の計算モデル
証拠に基づく推論の計算モデル
マルチエージェントシステムにおける法的推論
法令の実行可能なモデル
法的文書の分類および要約の自動化
法的データベースおよび法的文書からの自動情報抽出
e-discoveryや他の法的アプリケーションのための機械学習およびデータマイニング
概念的あるいはモデルベースの法的情報探索
1990年台の発展に伴い、この研究の頓挫は、おおむね領域概念化の形式表現の開発(いわゆるオントロジー)という、Gruberの研究以降人工知能の研究において一般的なものとなったものへと吸収された。 人工知能と法の領域における初期の実例としては、Valenteによる関数オントロジーや、Visserとvan Kralingenによるフレームベースオントロジーなどがある。 以来、法的オントロジーは人工知能と法学会における定例のワークショップとなり、包括的でトップレベルかつ中核的なオントロジーから特定の法令を対象とした特別のモデルに及ぶまで多くの例が存在する。
法が規範の集合体であることを考えれば、義務論理が法令のモデルにとっての形式的基礎として用いることが試みられてきたことは驚くことではない。 しかし、義務論理はエキスパートシステムの基礎としてはあまり広く採用されては来なかった。これはもしかすると、エキスパートシステムが法の強制をするものであるのに対して、義務論理の関心は規範違反を考える必要があるときに限定されていったためかもしれない。 法の領域における方向づけられた義務、すなわち他の特定の個人に対する義務は特に興味深いものだ。というのも、その種の義務の違反は、しばしば訴訟の基礎をなすからである。 義務論理とAction Logicとを組み合わせることで規範的態度を探究しようという興味深い研究も存在する。
マルチエージェントシステムの文脈においては、状態遷移図を用いた規範のモデル化がなされてきた。