ところで、知識処理システムを利用する際には、自然言語を用いたインターフェイスが望まれる。従って、自然言語と論理式の間の変 換によって、自然言語で表現された知識から、知識構造を自動的に抽出することができれば、知識ベース構築に寄与する。この手続き における一つの課題として、自然言語に現れる二つの名詞を格助詞「の」で結びつけた表現に対する処理がある。
しかし、MAELでは、この「の」が表す関係の一つである、全体部分関係(HAS-A)を含む推論が表現できていない。本研究では、このよ うな推論を定式化することを目的とする。本発表では、MAELにおける階層的知識の形式化と、HAS-A関係を含む推論における問題点に ついて説明する。