The Acquisition, Analysis and Evaluation of I for Knowledge-Based Systems

In this paper, a theoretical foundation has been laid and a practical method has been developed for specifying, analyzing and evaluating the complex relationships between imprecise requirements in knowledge-based systems. Imprecise requirements are represented by the canonical form in test-score semantics. The relationships between requirements are classified to be conflicting and cooperative based on the qualitative and quantitative analysis of relationships between requirements. This kind of analysis makes it possible to formulate a feasible overall requirement from conflicting individual requirements. It also facilitates to find better trade-off strategies for conflicting requirements by using fuzzy multicriteria optimization technique. A requirement engineering process has also been developed to incorporate imprecise requirements into the requirement analysis for knowledge-based systems. knowledge-based systems is that requirements often conflict with each other [Robinson 19901. However existing specification methods consider that a requirement specification, which contains conflicting requirements, to be inconsistent, and should be avoided since requirements are specified as crisp ones [Roman 19851. Moreover, it is very difficult to analyze and specify a trade-off between conflicting requirements if these requirements are specified to be crisp [Robinson 19901.