𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multiple context planning within a truth-maintenance system

✍ Scribed by A.D. Bray; C.J. Hinde; P.J. Herbert; D.M. Temple; D. Round

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
762 KB
Volume
6
Category
Article
ISSN
0950-7051

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

A rational reconstruction of nonmonotoni
A rational reconstruction of nonmonotonic truth maintenance systems
✍ Charles Elkan πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 792 KB

The main contribution of this paper is a precise characterization of the inferences performed by nonmonotonic truth maintenance systems ( TMSs), using two standard nonmonotonic formalisms: logic programming with the stable set semantics and autoepistemic logic. The paper also contains an analysis of

A scheduling and planning expert system
A scheduling and planning expert system for multiple furnaces
✍ Maria Litt; Jack C.H. Chung; David C. Bond; Gary G. Leininger; Jim Hall πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 644 KB

A rule-based, forward-chaining expert system was developed to schedule a multi-pass glassing and furnacing operation for glass-lined vessels. Due to the nature of the manufacturing process and unexpected disturbances, such as rework, fabrication time of each part cannot be tightly controlled. This r