A knowledge acquisition and representation scheme for constraint based and parallel systems

Abstract

A knowledge acquisition and representation scheme is introduced which is suited both to serial processing in production systems and to a constraint-based representation evaluated in parallel. Two applications are described: a rule-based system for financial risk assessment in life insurance underwriting, and a decision-support aid for energy management in a steel plant. These have been programmed both in conventional serial languages and in Occam on a transputer.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>