ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

5
Issue
vol 60 / MAY, 2017
Article
UDC 004.89

APPLICATION OF RELATIONAL OPERATIONS TO LOGICAL DEDUCTION IN PRODUCTION SYSTEMS

I. A. Bessmertny
ITMO University, Saint Petersburg, 197101, Russian Federation; Associate Professor


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