Abstract
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
Recommended Citation
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 https://doi.org/10.1109/FUZZY.1994.343889
Meeting Name
3rd IEEE Conference on Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence.
Department(s)
Computer Science
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
Document Type
Article - Conference proceedings
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1994 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jan 1994
