人工知能と法
Ronald StamperによるLEGOL研究の着想は、形式言語を用いて法令を表現し、この形式表現(典型的には特定の事件の事実を集めるある種のユーザーインターフェースを用いて)をエキスパートシステムの基礎として用いようというものであった。 この考えは、主として一階述語計算のホーン節サブセットを用いることでポピュラーなものになった。 とりわけ、Sergotらによるイギリス国籍法の表現 は、このアプローチをとても広く普及させた。 もっとも実際のところ、後の研究が示したとおり、これは他の法令とは異なって、このアプローチに適した法令だったのである。すなわち、イギリス国籍法は新しい法で、それ故まだ修正は存在せず、比較的シンプルで概念のほとんどがテクニカルなものではなかったのである。 Supplementary Benefitsの研究などの後の研究によって、巨大かつより複雑(すなわち、多くの相互参照や例外、反事実的条件文、あるいはみなし規定を含んでいる)で、多くの高度にテクニカルな概念(例えばcontribution conditionなど)を含んでおり、かつ、多くの修正の対象となってきたような法令は、ずっと不十分な最終システムを生み出すということが明らかになった。 事態を改善する、特に相互参照や検証、あるいは頻繁な改正などのような問題を制御するための努力がソフトウェア工学の観点からいくらか試みられた。 第一の問題を解決するために階層的表現の利用 が、そして他の2つの問題を解決するためにいわゆる「同型」 表現が提案された。