自動推論（じどうすいろん）

概要解説

自動推論は、人工知能研究の一領域として位置づけられ、理論計算機科学や哲学とも密接に関連している。その起源については諸説あるが、1954年にマーチン・デービスが実装したプレスブルガーの決定手続きや、1955年にアレン・ニューウェルらが開発した「Logic Theorist」、あるいは1957年のCornell Summer会議がその端緒として挙げられる。研究分野としては、自動定理証明や自動定理検証が最も発展しているほか、類推、帰納、アブダクションによる推論も盛んである。また、不確実な状況下での推論や非単調推論も重要なトピックとなっている。手法としては古典的な論理学や代数学に加え、ファジィ論理やベイズ推定などが用いられる。自動推論は長年活発に研究されてきたが、1980年代から90年代初頭にかけての「AIの冬」と呼ばれる停滞期を経て、その後復興を遂げた経緯がある。