人工知能と法
人工知能と法において重要になるであろう概念はLoevinger、Allen、そして Mehlによって先取りされていたのだが、人工知能技術の法への応用についての最初の真剣な提案は、通常、BuchananとHeadrickによるものだとされる。この時期からの初期の研究には、Thorne McCartyの手による有名なアメリカのTAXMANプロジェクトや、Ronald Stamperの手によるイギリスのLEGOLプロジェクトがある。前者はアメリカの税法の判例(Eisner v Macomber)における多数派と少数派の議論のモデル化についてのものであり、それに対して後者は組織を統治するルールおよび規制の形式モデルを提供しようとしたものであった。1980年台初頭の到達点としては、Carole Hafnerの概念検索についての研究 、Anne Gardnerの契約法についての研究 、Risslandの法的仮説についての研究 、そしてインペリアル・カレッジ・ロンドンにおける実行可能な法令の形式化についての研究が存在する。
初期の学者の集まりには、スウォンジーにおける単発の会議や、IDGによってフローレンスで開催された一連の学会、そしてCharles Walterによってヒューストン大学において1984年から1985年にかけて開催されたワークショップがある。