STUDY AND IMPLEMENTATION OF NEW INTELLIGENT REASONING

This paper presents a new strategy of intelligent reasoning. Through forward checking during unification, those bindings that cannot appear in any solution are thrown away as early as possible, and thus backtracking occurrence in reasoning can decrease greatly. The strategy also can select backtracking point accurately and get multiple solutions intelligently. The defects of naive backtracking and sequencial solution in traditional reasoning are overcome by forward checking and intelligent backtracking. Moreover, it develops intrinsic parallelism of intelligent reasoning.