Parallel inference based on delta processing
A. Eliëns · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1988
Expert system reasoning can be considered a special form of resolution.The disadvantage of general resolution, involving full forward and backward subsumption is that it is rather costly.A technique is presented that effectively reduces the computational cost of resolution-based inference in expert system reasoning.The idea is to encode the effects of a resolution step as instructions to modify a set of clauses.The technique, moreover, allows efficient parallelism, both by simultaneously processing generated informa- tion (AND-parallelism), and by exploring different search paths when splitting on a positive disjunction (oRparallelism).