知識情報処理

人間が行う知的な推論を計算機上で実現するために，知識の表現方法や推論方法をモデル化する研究を行っています．

具体的には，複数の知識が互いに矛盾するときに，その矛盾をどのように解消するかという方法について，論理的なモデルを構築しています．