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

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.

Full Text Link

Share

 
COinS