# Automated System for Evaluating Alternatives for Developing Innovative IT Projects
## 4 Results  
### Determining the Relationships Between Factors  
The initial stage for conducting the experiment is a formalized description of the relationships between the factors influencing the IT project quality on the semantic network (Figure 1) and expert decisions on linguistic descriptions. As a result of using the elements of predicate logic, a formal-linguistic initial database is obtained: \((\forall x_{i})\)\(\sqcap(x_{1}\), functional suitability) \(\leftarrow\) influences \((x_{1},x_{2})\)\(\wedge\) conditions \((x_{1},x_{4})\)\(\wedge\) determines \((x_{1},x_{5})\)\(\wedge\) is formed by \((x_{1},x_{8})\)]; \((\forall x_{i})\)\(\sqcap(x_{2}\), efficiency) \(\leftarrow\) gets \((x_{2},x_{1})\)\(\wedge\) is conditioned by \((x_{2},x_{3})\)\(\wedge\) gets \((x_{2},x_{5})\)\(\wedge\) is determined by \((x_{2},x_{6})\)\(\wedge\) is based on \((x_{2},x_{7})\)\(\wedge\) is conditioned by \((x_{2},x_{8})\)]; \((\forall x_{i})\)\(\sqcap(x_{3}\), usability) \(\leftarrow\) conditions \((x_{3},x_{2})\)\(\wedge\) gets \((x_{3},x_{4})\)\(\wedge\) is predicted by \((x_{3},x_{7})\)]; \((\forall x_{i})\)\(\sqcap(x_{4}\), reliability) \(\leftarrow\) influences \((x_{4},x_{3})\)\(\wedge\) is conditioned by \((x_{4},x_{5})\)\(\wedge\) is conditioned by \((x_{4},x_{6})\)\(\wedge\) conditions \((x_{4},x_{7})\)\(\wedge\) is based on \((x_{4},x_{8})\)]; \((\forall x_{i})\)\(\sqcap(x_{5}\), compatibility) \(\leftarrow\) is determined by \((x_{2},x_{1})\)\(\wedge\) influences \((x_{5},x_{2})\)\(\wedge\) predicts \((x_{5},x_{7})\)]; \((\forall x_{i})\)\(\sqcap(x_{6}\), safety) \(\leftarrow\) determines \((x_{6},x_{2})\)\(\wedge\) conditions \((x_{6},x_{4})\)\(\wedge\) is the basis for \((x_{6},x_{7})\)]; \((\forall x_{i})\)\(\sqcap(x_{7}\), maintainability) \(\leftarrow\) is the basis for \((x_{7},x_{2})\)\(\wedge\) influences \((x_{7},x_{3})\)\(\wedge\) is conditioned by \((x_{7},x_{4})\)\(\wedge\) is predicted by \((x_{7},x_{5})\)\(\wedge\) is based on \((x_{7},x_{6})\)\(\wedge\) is determined by \((x_{7},x_{8})\)]; \((\forall x_{i})\)\(\sqcap(x_{8}\), testing level) \(\leftarrow\) formes \((x_{8},x_{1})\)\(\wedge\) conditions \((x_{8},x_{2})\)\(\wedge\) is the basis for \((x_{8},x_{4})\)\(\wedge\) determines \((x_{8},x_{7})\)]. The next stage is to develop a factor reachability matrix (Table 4), which consists of the following: if from the vertex \(i\) one can get to the vertex \(j\)-1 is recorded, in other cases-0. To determine the levels of the factor's importance, the first iteration table (Table 5) is constructed. The second column of the table contains a subset \(D(w_{i})\)-the numbers of reachable vertices, or numbers of the single elements of the corresponding rows of the reachability matrix; the third column defines the subset of the predecessor vertices \(P(w_{i})\)-the numbers of single elements of columns in this matrix. In this case, the dependency \(D(w_{i})\cap P(w_{i})\) will mean the fulfillment of the condition of the equality of the factor numbers specified in the second and third columns of the table, as a result of which a certain level of factors is formed. As can be seen from Table 5, the coincidence of numbers is recorded for the factors of Safety and Testing level. These factors are considered to be the highest in terms of priority of influence on the IT project quality. The next step is to remove the sixth and eighth rows from Table 5, and in the third column, the numbers 6 and 8 are crossed out. The following iteration tables are formed according to the same principle, which led to the following order of placement of factors: 2-functional suitability; 3-compatibility; 4-reliability; 7-maintainability; 3-usability; 2-efficiency.