Interval / Probabilistic Uncertainty and Non-classical Logics

Large-scale data processing is important. Most successful applications of m- ern science and engineering, from discovering the human genome to predicting weather to controlling space missions, involve processing large amounts of data and large knowledge bases. The corresponding large-scale data and knowledge processing requires intensive use of computers. Computers are based on processing exact data values and truth values from the traditional 2-value logic. The ability of computers to perform fast data and knowledgeprocessingisbasedonthehardwaresupportforsuper-fastelementary computer operations, such as performing arithmetic operations with (exactly known) numbers and performing logical operations with binary (“true”-“false”) logical values. In practice, we need to go beyond exact data values and truth values from the traditional 2-value logic. In practical applications, we need to go beyond such operations. Input is only known with uncertainty. Let us ? rst illustrate this need on the example of operations with numbers. Hardware-supported computer operations (implicitly) assume that we know the exact values of the input quantities. In reality, the input data usually comes from measurements. Measurements are never 100% accurate. Due to such factors as imperfection of measurement - struments and impossibility to reduce noise level to 0, the measured value x of each input quantity is, in general, di? erent from the (unknown) actual value x of this quantity. It is therefore necessary to ? nd out how this input uncertainty def ? x = x ? x = 0 a? ects the results of data processing.