Imprecise requirements are represented by the canonical form in test-score semantics. The concepts of feasibility, satisfiability, and specificity are formalized based on the fuzzy sets. The relationships between requirements are classified to be conflicting and cooperative. A feasible overall requirement can thus be formulated based on the tradeoff analysis of the conflicting requirements by using fuzzy multi-criteria optimization technique
J. Yen and X. F. Liu, "A Fuzzy Logic-Based Foundation for Analyzing Imprecise Conflicting Requirements," Proceedings of the 3rd IEEE Conference on Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence., Institute of Electrical and Electronics Engineers (IEEE), Jan 1994.
The definitive version is available at http://dx.doi.org/10.1109/FUZZY.1994.343889
3rd IEEE Conference on Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence.
Keywords and Phrases
Canonical Form; Expert System; Expert Systems; Feasibility; Fuzzy Logic; Fuzzy Multicriteria Optimization; Fuzzy Set Theory; Imprecise Conflicting Requirements; Optimisation; Satisfiability; Specificity; Test-Score Semantics; Uncertainty Handling
Article - Conference proceedings
© 1994 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.