開放型プロダクションシステムにおけるデータ依存関係の管理

概要

論文の詳細を見る
近年,エキスパートシステムの応用領域として監視、制御などの動的に変化する実世界を対象とすることが考えられている。動的に変化する実世界を対象とした場合、ワーキングメモリの内容は推論中においても実世界の変化を反映し、変更する必要がある。しかしながら、エキスパートシステムの推論機構として一般に用いられているプロダクションシステムでは、推論中に他のプロセスがワーキングメモリ内のデータを変更しないことを前提としている。本稿では推論中に他のプロセスがワーキングメモリの内容を変更することを前提として推論を行なうプロダクションシステム(開放型プロダクションシステムと呼ぶ)を提案する。開放型プロダクションシステムにより推論途中に実世界の変化を反映することが可能となるが、この場合推論で生成したデータと、実世界の変化の反映にともなって作られたデータとの間に矛盾が生じることが問題となる。このためワーキングメモリ内に矛盾が生じないように管理する必要が生じてくる。本稿では、ワーキングメモリ内のデータの依存関係およびその成立条件を管理することで無矛盾性を維持する方法を報告する。
1990-09-04