イナヅミ　ヒロシゲ   INAZUMI Hiroshige   稲積　宏誠    所属   青山学院大学  社会情報学部 社会情報学科    職種   教授
言語種別	日本語
発行・発表の年月	2000/09
形態種別	学術雑誌
査読	査読あり
標題	「ネットインバリアントを用いたルールベースシステムのエラー検証法」
執筆形態	共同
掲載誌名	『計測自動制御学会論文集』(計測自動制御学会)
巻・号・頁	810-817頁
著者・共著者	*稲積宏誠,大木周広
概要	知識ベースシステムにおけるエラー検証に対して、ペトリネットの適用を試み、ルールの連鎖構造からエラーの種類と位置を容易に特定することのできるエラー検証法を提案する。すなわち、ペトリネットの構造的な性質を把握する上で有効であるネットインバリアントの性質を利用し、エラーの内容を特定し、その要因となっているルール連鎖を抽出するアルゴリズムを示す。これによって、ルールベースの改良や再構築にも寄与することができる。