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

12
Issue
vol 59 / DECEMBER, 2016
Article
UDC 004.89

APPLICATION OF RELATIONAL OPERATIONS TO LOGICAL DEDUCTION IN PRODUCTION SYSTEMS

I. A. Bessmertny
ITMO University; 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