知識ベースマシンMu-X(3) : 表型言語から項型言語への変換  [in Japanese] Knowledge Base Machine : Mu-X (3) : Transformation from Table Language to Horn Clause Interface  [in Japanese]

知識ベースマシンMu-X[1]と推論マシンPSIとのインタフェースとして項を基本とした問合わせ言語[2]を提案した。この問合わせ言語は関係スキーマに格納された項集合に対する操作言語といえる。データベース操作用の言語としてSQLがJISで規格化され利用されつつあるが、使いこなすには、データベース機能に対する専門知識も必要となる。ここでは、初心者にも容易に問合わせが行なえるように表型のユーザインタフェースを採用した。表型インタフェースの代表格としてQBE[3]がある。ここでの言語は、処理対象のデータとして項を許せるようにQBEを拡張したものになっている。この表型の問合わせを、先に提案した項形式の問合わせに変換して知識ベースマシンへ問合わせを行う。