Abstract
The paper discusses problems we have encountered while using the advanced knowledge representation and reasoning system ART for developing an automated process planning system. First, key concepts and distinct modus operandi of ART are presented through showing how they match the requirements of the process planning task. Then we discuss the lessons that previous experience and skill in application of conventional programming methods is the main factor that makes programming in an integrated knowledge based environment more cumbersome than expected. Finally, a knowledge compilation strategy is outlined that would enable us to deliver results to more traditional and simple computing environments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ART Reference Manual, Inference Corp. 1988.
L. Brownston, R. Farrel, E. Kant and N. Martin, Programming Expert Systems in OPS5, Addison-Wesley, 1985.
B. D. Clayton, ART Programming Tutorial, Vol. 1–4, Inference Corp. 1987.
T. A. Cooper and N. Wogrin, Rule-based Programming with OPS5, Morgan Kaufmann, 1988.
A. K. Goel, Knowledge Compilation, IEEE Expert, April 1991, 71–73.
W. Mettrey, A Comparative Evaluation of Expert System Tools, Computer, Vol. 4 No. 2, 19–31, 1991.
W. Mettrey, Expert Systems and Tools: Myths and Realities, IEEE Expert, February 1992, 4–12.
J. Vancza and A. Markus, Genetic Algorithms in Process Planning, Computers in Industry, Vol. 17., 181–194, 1991.
J. Vancza and A. Markus, Features and the Principle of Locality in Process Planning, to appear in Int. Journal of Computer Integrated Manufacturing, 1992.
N. Wirth, Algorithms + Data Structures = Programs, Prentice-Hall, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag/Wien
About this paper
Cite this paper
Váncza, J., Márkus, A. (1992). Lessons of a First-Year Use of the Automated Reasoning Tool. In: Mittermeir, R. (eds) Shifting Paradigms in Software Engineering. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9258-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9258-0_8
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82408-5
Online ISBN: 978-3-7091-9258-0
eBook Packages: Springer Book Archive