Multiple context planning within a truth-maintenance system

Abstract The paper demonstrates the feasibility of planning using the properties of operations available in a factory, without the explicit statement of the relationships between these operations being required. This approach allows the generation of plans to be broken down into sub-problems which can be performed, if necessary, by specialist planners, a framework for integrating specialised planning systems thus being produced.