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

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.<
>