プロダクションシステムにおける動的特性のベリフィケーション
スポンサーリンク
概要
- 論文の詳細を見る
Production systems are one of the most widely used models of knowledge representation and application. They have demonstrated their success as a software technology for solving ill-structured problems.Though they have been implemented successfully in many domains, building these systems is a challenging task because of the ill-defined nature of the applications and the novel nature of the technology. Since the architecture of production systems is dissimilar to typical procedural software, lots of conventional software evaluation techniques cannot be available easily to them. So, there has been a demand for a practical verification systems which help the knowledge-base designer to develop production systems, and to assure the validity of them. This paper presents two verification systems that can be used to verify the dynamic properties of OPS5, which is the most general production system arguably. One is a system which predicts the sequence of rules that must fire to archieve given specific goal state concerned with a final state or an intermediate state representing a meaningful advancement in reaching a final state. The prediction is performed at compile-time, only with static informations and a set of declarations for the objective goal state. This system can generate the information to determine whether the manner in which the developed production system will pursue given goal state at run-time is valid according to the specifications and expectations of the knowledge-base designer. The other is a system which automatically detects some exceptions which may occur at run-time by using meta-knowledges. Meta-knowledges are constructed by the knowledge-base designer in conjunction with the domain expert implicitly. They represent his design or semantic specification of the knowledge-base, such as valid range of attribute values, range of attribute values requested by the knowledge-base and unexpected inconsistent states. This system is implemented additionally to OPS5 framework. The detection is performed at run-time and is taken in every inference-cycle. By introducing both of two systems described in the above into the development process of production systems, the costs of the knowledge-base designer are reduced, and it becomes possible that to some extentreliability is guaranteed in the system which was finally completed.
- 社団法人 人工知能学会の論文
- 2001-11-01
著者
-
木村 春彦
金沢大学工学部
-
伊之井 清孝
金沢大学工学部電気・情報工学科
-
南保 英孝
金沢大学工学部電気・情報工学科
-
南保 英孝
金沢大学大学院 自然科学研究科
-
前川 貴宏
金沢大学工学部電気・情報工学科
関連論文
- 癒し型ペットロボットの飼い主判別手法の改善
- 環境の変化によって生じる複雑な形をした雪の結晶の類似パターン生成
- CCDカメラ画像に基づいた自動車の車庫入れの自動化(高度交通システム(ITS))
- 打鍵間時間を基にした認証システムのリズム打鍵による改善(ネットワークセキュリティ)(コラボレーションアートとネットワークエンターテイメント)
- 仮説推論に対する3種の近似解法
- 述語論理知識を扱う全解探索仮説推論の高速化
- 癒し型ペットロボットの飼い主判別機構の実現
- セルオートマトンを用いた雪の結晶の類似パターン生成
- 仮説推論における累積実行時間の削減方法の提案
- 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案