Journal
Scientific and technical journal «Priborostroenie»
UDK004.89
Issue:10 (53)
Download PDF405 Kbyte
The problem of logical deduction in intelligence system making use of a great number of facts and rules is considered. The main difficulty with such systems consists in rapid increase of system complexity with the amount of the facts and rules. To avoid the difficulty related to combinatory complexity of logical deduction problem, it is proposed to apply operations of relational algebra over a field of processions of variables. Results of measurement of logical deduction rate in database management system MS ACCESS and in Prolog programming environment