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 per
Conformational analysis using a truth maintenance system
โ Scribed by Timothy Koschmann; James P. Snyder; Peter Johnson; Thom Grace; Martha W. Evens
- Publisher
- Elsevier Science
- Year
- 1988
- Tongue
- English
- Weight
- 927 KB
- Volume
- 6
- Category
- Article
- ISSN
- 0263-7855
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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
Software maintenance management can be improved through explicit consideration of the impact of maintenance efforts on project risk, maintainability risk and usability risks, including functionality, performance, financial and software failure risk. The paper illustrates how to analyse the effect of