Systems with Logical Knowledge Representation

The relations introduced in Chapter 2 may have a specific form of logical formulas concerning input, output and additional variables. In this case the so-called logic-algebraic method may be used to formulate and solve the analysis and decision problems [17, 18, 19, 21–24, 26, 29]. The main idea of this method consists in replacing individual reasoning concepts based on inference rules by unified algebraic procedures based on the rules in two-value logic algebra.