プロダクションシステムにおける動的特性のベリフィケーション

概要

論文の詳細を見る
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

プロダクションシステムにおける動的特性のベリフィケーション

スポンサーリンク

概要

著者

関連論文

スポンサーリンク