APPLICATION OF RELATIONAL OPERATIONS TO LOGICAL DEDUCTION IN PRODUCTION SYSTEMS
ITMO University, Saint Petersburg, 197101, Russian Federation; Full Professor
Read the full article
Abstract. 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
Keywords:
artificial intelligence, relational algebra, reasoning
