古くは中世の自動機械から、現代のＳＦにおける人造人間やロボットに至るまで、 知能を持った機械の実現は、古来からの人間の夢でした。 今日のコンピュータはさまざまな人間の知的活動を代行できるようになりましたが、 その多くが人間が与えたプログラムに従って動いているものです。 今後コンピュータが我々の日常生活により身近なものとして浸透していくためには、 プログラミングやコンピュータの専門知識を持たない一般の人が容易に扱え、 またコンピュータ自身が能動的に人間の思考や発想を支援するような 技術が必要となります。このように知能を持ったコンピュータの実現に向けて、 人間の知能のメカニズムを解明し、コンピュータ上で実現する方法を研究する分野を 人工知能(Artificial Intelligence: AI)といいます。 人工知能の研究の始まりは 1950 年代まで遡ります。約半世紀の研究を経て、 現在その可能性と限界が次第に明らかにされつつありますが、未解決の問題も 数多く残されています。その中から、以下では私の研究テーマを簡単に紹介します。

多くのプログラミング言語は手続き的であると いわれます。これは最初にどの手続きを実行し、次にどの手続きを実行するかといった 計算の手順（ｈｏｗ）がプログラム中に記述されているということです。 これに対して、論理プログラミングはプログラムが 宣言的である特徴を持っています。これは、プログラム中には 知識の内容（ｗｈａｔ）のみが記述されており、それらを使ってどのように計算 を進めるかといった実行手順は一切記述されていないということです。 このように論理プログラミングでは、プログラムの記述と制御が切り離されているため、 上で述べた「アルゴリズム＝論理+制御」の思想と一致するのです （ただし、論理プログラミング言語 Prolog には効率化のために実行制御機能が導入されている)。 宣言的プログラミング言語は手続き的プログラミング言語と比較すると、 プログラムの一部だけを取り出しても意味がある、あるいは プログラムの一部を削除しても全体として無意味になることはない、 といったメリットがあります。 例えば、Ｃなどの手続き的言語では、プログラムの一部を取り出しても その部分だけでは無意味であり、また全体のプログラムから一行削除するだけで、 全体として動作しなくなるといった問題があるわけです。 人間の頭の中に蓄えられた情報は宣言的です。即ち、ある断片的情報を 取り出してもそれ自体に意味があり、また、一部の情報を忘れてしまっても 頭の中が機能しなくなるということはありません。 論理プログラミングが人工知能の記述言語としても有効であると考えられるのは こうした理由があります。

このような背景から、計算論理の記述言語として主に論理プログラミングに関する研究を行っています。 論理プログラミングが提唱されたのは1970年代で、 1980 年代には日本の第五世代コンピュータプロジェクトの 基本パラダイムとして採用され世界的な注目を集めました。 初期の論理プログラミングはホーン節と呼ばれる 確定的知識を使った演繹(えんえき)推論の機能しか持っていませんでしたが、 その後プログラムの表現能力、推論機能が拡張され、現在では 論理プログラミングに基づく多くの知識表現／推論パラダイムが存在します。 以下では、こうした最近の論理プログラミングにおける私の研究テーマを簡単に紹介します。

  プログラム        ⇔　 知識
  プログラムの意味   ⇔  推論結果