Title :
A fuzzy logic-based foundation for analyzing imprecise conflicting requirements
Author :
Yen, John ; Liu, Xiaoqing
Author_Institution :
Texas A&M Univ., College Station, TX, USA
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
Keywords :
expert systems; fuzzy logic; fuzzy set theory; optimisation; uncertainty handling; canonical form; expert system; feasibility; fuzzy logic; fuzzy multicriteria optimization; fuzzy set theory; imprecise conflicting requirements; satisfiability; specificity; test-score semantics; Boolean functions; Computer science; Expert systems; Fuzzy logic; Fuzzy sets; Intelligent systems; Testing;
Conference_Titel :
Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the Third IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-1896-X
DOI :
10.1109/FUZZY.1994.343889
