An application of intuitionistic fuzzy model checking in engineering decision. (Chinese. English summary) Zbl 1463.68040
Summary: The intuitionistic fuzzy Kripke structure (IFKS) is extended to the weighted intuitionistic fuzzy Kripke structure (WIFKS), and then the intuitionistic fuzzy computational tree logic (IFCTL) is induced to the weighted intuitionistic fuzzy computational tree logic (WIFCTL). Based on these theories the intuitionistic fuzzy expected measure and multiple attribute decision making problems are researched. The weights of WIFKS are naturally used to depict the costs and benefits of engineering problems. And the intuitionistic fuzzy measure is used to quantify the uncertainty of a project progress. The WIFCTL is used to describe the uncertain engineering attribute constraints. A multi-attribute engineering optimization algorithm based on intuitionistic fuzzy model checking is given and its complexity is discussed.
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
03B52 | Fuzzy logic; logic of vagueness |
90B50 | Management decision making, including multiple objectives |
90C70 | Fuzzy and other nonstochastic uncertainty mathematical programming |