JPH0390935A - エキスパートシステム構築ツール - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔発明の目的〕 （産業上の利用分野） 本発明は、知識から得られる情報に基づき、電子計算機
上で実行可能な形態のエキスパートシステムを構成する
エキスパートシステム構築ツールに関する。

（従来の技術） 従来、エキスパートシステム構築ツールにおいては、電
子計算機上で推論エンジンを起動し、知識ベースあるい
は知識ベースを、中間コードに変換したコードをロード
してから、エキスバートンステムを実行するという手順
であった。

（発明か解決しようとする課題） エキスパートシステム構築ツールを用いてエキスパート
システムを作成しようとする場合、今までのツールでは
推論エンジンに知識ベースをロードすることで、電子計
算機で実行可能な形態のエキスパートシステムを構成し
ていた。こうした構成では、推論を開始する前に、推論
エンジンをまず起動してから知識ベースをロードすると
いう手間が必要である。そのうえ、推論エンジンは、こ
のエキスパートシステム＋７Ｉ７築ツールで可能な全て
の知識処理に対応する手続きを抱え込んでおかなければ
ならないのでサイズが大きかった。

本発明は上記事情に鑑みてなされたものであり、知識と
推論エンンンとを含んだ、電子計算機上で即丈行可能な
形態のエキスパートシステムを生成するとともに、推論
エンジンの手続きのうちで、知識に対応した必要な手続
きのみを連結・編集することで、起動に手間のかからな
い、サイズの小さいエキスパートシステムを生成するこ
とを目的としている。

〔発明の構成〕

（課題を解決するための手段） 本発明の構成を実施例に対応する第１図を用いて説明す
る。第１図の全体機能構成図において、知識ソースファ
イル１は知識の記述されているファイルであり、エキス
パートシステム構築ツール２の入力となる。エキスパー
トシステム構築ツール２は一時的に知識中間コードファ
イル３およびシンボルテーブル４を生成しながら、最終
的な生成物であるエキスパートシステム５を出力する。

エキスパートシステム構築ツール２は、知識ソースファ
イル１を人力し知識中間コードファイル３およびシンボ
ルテーブル４を出力する知識コンパイラ２１と、知識処
理に必要な手続き群を管理する推論エンジンライブラリ
２３と、知識中間コードファイル３およびシンボルテー
ブル４と推論エンジンライブラリ２３を人力し電子計算
機で実行可能な形態のエキスパートシステムを出力する
知識リンカ２２とから（１４成される。そして第２図で
示すように、知識コンパイラ２Ｉは前処理部２１１、知
識中間コード生成部２１２およびシンボルテーブル生成
部２１３から構成される。

（作　用） 本発明のエキスパートシステム構築ツールにより、エキ
スパートシステムを構成する場合、第２図で示したよう
に、知識コンパイラ２１は、知識ソースファイル１から
の字句解析および知識を次で処理しやすい内部形式に変
換する前処理部２１１を経て、知識中間コード生成部２
１２とシンボルテーブル生成部２１３が互いに情報のや
りとりをしながら、それぞれ対象となる電子計算機のオ
ブジェクトコード形式である知識中間コードファイル３
と、知識中間コードで定義あるいは使用されている名前
とその付加情報からなるシンボルテーブル４を生成する
。知識リンカ２２は、知識中間コードファイル３とシン
ボルテーブル４とを人力として、オブジェクトコードの
連結編集を行なう。ここで知識中間コードファイル３中
のオブジェクトコート内で定義されずに使用されている
知識処理手続き名は、推論エンジンライブラリ２３中に
その定義が存在するので、対応するオブジェクトコード
のみを連結し、電子計算機で実行可能な形態のエキスパ
ートシステム５を生成する。

（実施例） 以下図面を参照して実施例を説明する。

第１図は本発明によるエキスパートシステム構築ツール
を用いた一実施例の機能ブロック図であり、知識ソース
ファイル１を人力として動作し、知識中間コードファイ
ル３およびシンボルテーブル４とを出力する知識コンパ
イラ２１と、知識中間コートファイル３、シンボルテー
ブル４および推論エンジンライブラリ２３を入力として
動作する知識リンカ２２とから成り、知識リンカ２２の
出力であるエキスパートシステム５を構築する。

第２図は知識コンパイラ２１の構成例であり、前処理部
２１１において入力される知識ソースファイル１の字句
解析処理および次て処理しやすい内部形式に変換する処
理を行なう。この変換されたデータを受けて、知識中間
コード生成部２１２とシンボルテーブル生成部２１３が
、それぞれ対象となる電子計算機のオブジェクトコード
形式である知識中間コードファイル３と、知識中間コー
ドで定義あるいは使用されている名前とその付加情報か
らなるシンボルテーブル４を生成する。

第３図は本実施例の知識コンパイラ２１の人力および出
力例であり、第４図は本実施例の知識リンカ２２の人力
および出力例である。

第３図に示したように、知識ソースファイル１の内容が
、ｒｌｆ　Ａ　＆、Ｂ　ｔｈｅｎ　ＣＪという知識であ
る場合、知識コンパイラ２１により、ＡとＢのａｎｄ条
件を調べる手続きを呼ぶｒｃａｌｌ　ＡＮＤｃｈｅｃｋ
、　Ａ、ＢＪが知識中間コートファイル３に出力され、
この時シンボルテーブル４にはＡＮＤｃｈｅｃｋが未定
義で使用されているという情報が出力される。

第４図で示したように、知識コンパイラ２ｉにより生成
されたこの知識中間コードファイル３とシンボルテーブ
ル４を入力として知識リンカ２２は動作する。知識リン
カ２２は知識中間コードファイル３を連結編集して電子
計算機で実行可能な形態のエキスパートシステムを生成
しようとするが、知識中間コードファイル３の中にはＡ
ＮＤｃｈｅｃｋの定義が無いので、なんらかの方法によ
りこれを解決する必要かある。この時知識リンカ２２は
シンボルテーブル４を参照して、未定義の名前は推論エ
ンジンライブラリ２３の中からその定義を取り出し連結
編集し、電子計３７機で実行可能な形態のエキスパトシ
ステム５を出力する。

本実施例では、エキスパートシステムに知識ベースをロ
ードする手間が不要になり、また、推論開始以前に知識
と推論エンジンとを連結編集してしまうので、推論時の
動的な手続き呼び出しがないぶん（ｆＡ論論量間少なく
てすむ。そのうえ、必要な手続きのみを推論エンジンラ
イブラリから取り出して連結編集するので、エキスパー
トシステムのサイズが小さくなる。

次に、他の実施例を説明する。

第５図は、推論中にデータベースマネージメントシステ
ムの機能を利用した実施例の知識コンパイルを示した図
である。第６図は、第５図で示したような知識中間コー
ドファイル３とシンボルテーブル４とを人力として、知
識リンカ２２が、推論エンジンライブラリ２３とデータ
ベースマネージメントシステムライブラリ７を参照しな
がら電子計算機で実行可能な形態のエキスバートンステ
ム６を出力する様子を示した図である。

第５図で示したように、ルール中にデータベースマネー
ジメントシステムの機能を利用するための手続き呼び出
しｒｃａｌｌ　ＤＢＭＳ　Ｊを、知識コンパイラ２１が
、知識中間コードファイル３にはｒＤＢＭｓ手続き」を
呼び出すコードを出力し、シンボルテーブル４にはｒ　
ＤＢＭＳＪが未定義でありながら参照されていることを
示す情報を出力する。

第６図で示したように、知識リンカ２２が知識中間コー
ドファイル３を連結編集し、エキスバートンステム５を
生成しようとするが、シンボルテーブル４の情報からｒ
　ＡＮＤｃｈｅｃｋＪとｒ　ＤＢＭＳＪが未定義である
ことがわかるので、それらを解決するために推論エンジ
ンライブラリ２３とデータベースマネージメントシステ
ムライブラリ７を順に参照する。生成されたエキスパー
トシステム５は推論実行時にデータベースマネージメン
トシステム６を利用できる。

本実施例により、推論エンジンライブラリの他に、デー
タベースマネーシメントンステムの手続きライブラリを
用意し、知識コンパイラによって、このライブラリ中の
手続きを呼び出すコードとシンボルテーブルを出力する
ことにより、知識処理中にその手続きを呼び出すことが
可能となった。

木刀式により、何もデータベースマネージメントシステ
ムの利用に限らず、対象となる電子計算機にすでにある
資源を、特殊な手段によらず、容易にｆｌｌ用できるよ
うになった。

〔発明の効果〕

以上説明したように本発明によれば、知識とｔｆＬ論エ
ジエンジンキスパートシステム実行より前に連結・編集
を行なってしまうので、推論時の動的な手続き呼び出し
が不要な分、推論をより高速に行えるようになった。

また、知識コンパイル時に知識処理に必要な手続きはす
べてシンボルテーブルに出力されるので、必要な手続き
のみが知識リンカによって連結されるため、エキスパー
トシステムのサイズが小さくなる。

そのうえ、推論エンジンライブラリの他に、手続きライ
ブラリを用意し、知識コンパイラによってこのライブラ
リ中の手続きを呼び出すコードとシンボルテーブルを出
力することにより、知識処理中にその手続きを呼び出す
ことか可能となる。

この方法により、エキスパートシステムと、データベー
スマネーシメントンステムやその他のあらゆる手続き的
システムと容易に結合することができる。

【図面の簡単な説明】

第１図は本発明によるエキスパートシステム構築ツール
の構成図、第２図は本発明の知識コンパイラの構成図、
第３図は一実施例の知識コンパイルの入力および出力例
、第４図は実施例の知識リンク例、第５図はデータベー
スマネージメントシステムと結合するための実施例の知
識コンパイル例、第６図はデータベースマネージメント
システムと結合するための実施例における知識リンク例
である。 １・・・知識ソースファイル ２・・・エキスパートシステム構築ツール３・・知識中
間コードファイル ４　シンボルテーブル ５・・・エキスパートシステム ６−・・データベースマネージメントシステム７・・・
データベースマネージメントシステムライブラリ ２１・・知識コンパイラ ２２・・知識リンカ ２３・・・推論エンジンライブラリ ２１１・前処理部 ２１２・・・知識中間コード生成部 ２１３・・・シンボルテーブル生成部

Claims (1)

【特許請求の範囲】
1. エキスパートシステムのために用いる知識をルールの形
   で蓄積した知識ベースを知識オブジェクトと呼ぶ内部コ
   ードに変化し知識コンパイル時にその知識処理を行なう
   のに必要な推論機能を出力する知識コンパイラと、知識
   リンク時に前記情報を読みだして推論エンジンのうち必
   要な機能のみを取り出して知識オブジェクトと推論エン
   ジンとを連結・編集する知識リンカと、前記知識ベース
   の知識を選択し組み合わせて推論処理を行なう推論エン
   ジンとを具備することを特徴とするエキスパートシステ
   ム構築ツール。