Distributed Problem Solving

When a problem can be divided into independent subproblems (cf problem reduction , AND/OR trees) concurrent solution of them is possible and may be advantageous. For example. Kornfeld’s ETHER language permits experimentation with concurrency in heuristic search . and Smith has implemented a contract-net system motivated by the metaphor of manager — contractor linkage.