Skip to main content
SpringerLink
Log in

Synergy of Expert Systems, CAD, and Logic Programming

  • Chapter
Expert Systems in Engineering Applications

  • 222 Accesses

Abstract

It is well-known that exploiting a simulation-based approach is a suitable and reliable way to build CAD systems for test generation [1]. However, it is also well-known that utilization of such techniques can be computationally very expensive [60]. This conflict has led to the fruitful synergy between AI and CAD: the combined interaction produced a total effect that is greater than the sum of the individual contributions. For example, the heuristic search and logic programming techniques have been applied to the test vectors generation [61]. In our paper we extend this meger to other areas of AI and CAD. First we examine some CAD methods which are useful in AI (expert systems, specifically) and then we inspect certain AI techniques that are advantageous in CAD.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Bibliography

  1. Agrawal, V., and Cheng, K. T., “Threshold-Value Simulation and Test Generation,” Testing and Diagnosis of VLSI and USLI (Proc. NATO Adv. Study Inst.), Como, Italy, June 1987.

    Google Scholar 

  2. Balzer, R. M., et al., “Operational specifications as the basis for specification validations,” in Theory and Practice of Software Technology, D. Ferrari, M. Bolognani, and J. Gogues, Eds. Amsterdam, The Netherlands: North-Holland, 1983.

    Google Scholar 

  3. Barstow, D. R., “Domain-specific Automatic Programming,” IEEE Trans. Software Eng., vol. SE-11, no. 11, Nov. 1985.

    Google Scholar 

  4. Bennett, K., “Design of Graphic Displays in Computerized Systems,” Office of Naval Tech., Quart. Rep., Sept. 1-Nove. 30, pp. 1–19, 1984.

    Google Scholar 

  5. Bond, A., and Soetarman, B., “Integrating PROLOG and CADAM to Produce Intelligent CAD System,” Proceedings of the Western Conference on Expert System, pp. 152–160, Anaheim, CA, 1987.

    Google Scholar 

  6. Boose, J. H., “Personal Construct Theory and the Transfer of Human Expertise,” Proceedings AAAI ’84.

    Google Scholar 

  7. Borning, A., “The Programming Language Aspects of ThingLab, A constraint-oriented Simulation Laboratory,” ACM Trans. Programming Languages Syst., vol. 3, no. 4, pp. 353–387, Oct. 1981.

    Article  Google Scholar 

  8. Bratko, I., “Prolog Programming for Artificial Intelligence,” Addison-Wesley, 1986.

    MATH  Google Scholar 

  9. Brown, G. P., Carling, R. T., Herot, C. F., Kramlich, D. A., and Souza, P., “Program Visualization: Graphical Support for Software Development,” Computer, pp. 27–34, Aug. 1985.

    Google Scholar 

  10. Brown, J. S., “Process Versus Product — a Perspective on Tools for Communal and Informal Electronic Learning,” in Education in the Electronic Age, Proceedings of a Conference sponsored by the Educational Broadcasting Corporations, WNET/Thirteen Learning Lab, NY, pp. 41–58, July, 1983.

    Google Scholar 

  11. Brown, R., “Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Programs,” Ph. D. dissertation, Mass. Inst. of Technol., Cambridge, Jan. 1981.

    Google Scholar 

  12. Brown, R. H., “Automation of Programming: The ISFI experiments,” in Expert Systems in Gov ernment Symposium, K.N. Kama, Ed. New York, IEEE, 1985.

    Google Scholar 

  13. Buchanan, B. G., “New Research on Expert Systems,” In J. E. Hayes, D. Michie, and Y.-H. Pao (eds.), Machine Intelligence 10, New York, Wiley and Sons, pp. 269–299, 1982.

    Google Scholar 

  14. Bursch, P., Meisner, Y., and Winegar, K., “A PC Based Expert Diagnostic Tool,” AUTOTESTCON ’87 Proceedings, pp. 73–78, 1987.

    Google Scholar 

  15. Cantone, R., “Model-based Probabilistic Reasoning for Electronic Troubleshooting,” IJCAI 82 Karl sruhe, Germany, Aug. 1982.

    Google Scholar 

  16. Cantone, R., Lander, W., Marrone, M., and Gaynor, W., “INATE/2: Interpreting High Level Fault Modes,” Automated Reasoning Corp., Sunnydale, VA, 1984.

    Google Scholar 

  17. Cleveland, G. A., and Brown, R. H., “Mutations and their consequences; A study of nonmonotonic behavior,” in Expert Systems in Government Symposium, K. N. Kama, Ed. New York, IEEE, 1985.

    Google Scholar 

  18. Cleveland, G. A., Piazza, R., and Brown, R., “Highlights of a Knowledge-based Automatic Pro gramming System,” MITRE Corp., Burlington Rd., Bedford, MA submitted to IEEE Trans. Software Eng.

    Google Scholar 

  19. Davis, E. G., and Swezey, R. W., “Human Factors Guidelines in Computer Graphics: A Case Study,” Int. J. Man-Machine Studies, vol. 18, pp. 113–133, 1983.

    Article  Google Scholar 

  20. Dudley, T., “Graphics in software design,” Comput. Graph. World, pp. 35–42, Feb. 1986.

    Google Scholar 

  21. Eshgi, K., “Application of Meta-language Programming to Fault-Finding in Logic Circuits,” Dept. of Computing, Imperial College of Science and Technology, London, April 1982.

    Google Scholar 

  22. Feigenbaum, E. A., and McCorduck, P., “The Fifth Generation: AI and Japan’s Computer Challenge to the World,” Addison-Weslye, 1984.

    Google Scholar 

  23. Frenkel, K. A., “Toward Automating the Software Development Cycle,” Commun. ACM, vol. 28, pp. 578–589, June 1985.

    Article  Google Scholar 

  24. Garey, M. R., and Graham, R. L., “Performance Bounds on the Splitting Algorithm for Binary Testing,” Acta Informatica, pp. 347–355, 1974.

    Google Scholar 

  25. Ginsberg, A., and Rose, L., “KB-Reducer: A System That Checks for Inconsistency and Redundancy in Knowledge Bases,” AT & T Technical Memorandum, 1987.

    Google Scholar 

  26. Glinert, E. P., and Tanimoto, S. L., “Piet: An Interactive Graphical Programming Environment,” Computer, pp. 7–25, Nov. 1984.

    Google Scholar 

  27. Glover, F., and Greenberg, H., “Logical Testing for Rule-Base Management,” Annals of Operations Research, pp. 199–215, vol. 12, 1988.

    Article  MathSciNet  Google Scholar 

  28. Herot, C. F., “Graphical User Interfaces,” in Proc. NYU Symp. User Interfaces, May 1982.

    Google Scholar 

  29. Hill, F. N., Ward, J. D., and Yates, A. L., “SandKAST: An Automated Knowledge Acquisition System,” SAND-87-0364C, Sandia, December 1987.

    Google Scholar 

  30. Horstmann, P. W., “Functional Simulation Using Logic Programming,” Syracuse University, TR-83-17, Syracuse, NY, August 1983.

    Google Scholar 

  31. Horstmann, P. W., “Expert Systems and logic Programming for CAD,” VLSI Design, vol. 4, No. 7, pp. 37–40, 43, 46, November 1983.

    Google Scholar 

  32. Huffman, “A Method for the Construction of Minimum Redundancy Codes,” Proc. IRE, 40, pp. 1098–1101, 1952.

    Google Scholar 

  33. Hyafil, L., and Rivest, R. L., “Constructing Optimal Binary Decision Tres is NP-Complete,” pp. 15–17, Information Processing Letters, 51, May, 1976.

    Google Scholar 

  34. Ibarra, O. H., and Sahni, S., “Polynomially Complete Fault Detection Problems,” IEEE Trans, on Computers, vol. C-24, No. 3, pp. 242–250, 1976.

    Article  MathSciNet  Google Scholar 

  35. Jacob, R. J. K., “A state transition diagram language for visual programming,” Computer, vol. 18, pp. 51–59, Aug. 1985.

    Article  Google Scholar 

  36. Lewis, J. W., “The Inference Machine Laboratory: Graphic Tools for Knowledge Management,” Proceedings of Graphics Interface ’86, pp. 32–36, Vancouver, Canada, 1986.

    Google Scholar 

  37. Lirov, Y., and Yue, O., “Circuit Pack Troubleshooting via Semantic Control I: Goal Selection,” Proceedings of the IEEE Workshop on Artificial Intelligence for Industrial Applications, pp. 118–122, Hitachi, 1988.

    Google Scholar 

  38. Lirov, Y., “Programming a Diagnostic Expert System with Object-Oriented PROLOG,” submitted for publication.

    Google Scholar 

  39. Lirov, Y., and Ravikumar, S., “Expert Systems Reifier,” submitted for publication.

    Google Scholar 

  40. Lirov, Y., “Knowledge and Data Representation in Circuit Pack Troubleshooting,” submitted for publication.

    Google Scholar 

  41. Lirov, Y., “Artificial Intelligence Methods in Decision and Control,” Ph. D. Dissertation, Washing ton University in Stl Louis, MO, 1987.

    Google Scholar 

  42. Lirov, Y., “Circuit Pack Diagnostic Expert Systems - A Survey,” forthcoming in Computers and Mathematics, 1988.

    Google Scholar 

  43. Lirov, Y., Ravikumar, S., St. Clair, D., and Yue, O., “Cognitive Diagnostic Expert System for Circuit Pack Troubleshooting,” The Third International Conference on Expert Systems and the Leading Edge in Production and Operations Management, Hilton Haed, South Carolina, May 21–24, 1989.

    Google Scholar 

  44. Loveland, D. W., “Selecting Optimal Test Procedures from Incomplete Test Sets,” Proc. First Int. Symp. Policy Anal. Inf. Sei., pp. 228–235, Duke University, Durham, NC, 1979.

    Google Scholar 

  45. Loveland, D. W., “Performance Bounds for Binary Testing with Arbitrary Weights,” Acta Informatica, 22, pp. 101–114, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  46. Magliero, A., Leong, R., and Bethel, R., “ADS - The IDSS Adaptive Diagnostic System,” Proceed ings of AUTOTESTCON ’87, pp. 61–64, 1987.

    Google Scholar 

  47. Maguire, J., “AI-FERRET Troubleshooting Assistant,” Advanced Products Laboratory, Support Systems, Hughes Aircraft Co., Long Beach, CA, October 1987.

    Google Scholar 

  48. Melamed, B., and Morris, R. J. T., “Visual Simulation: The Performance Analysis Workstation,” Computer, pp. 87–94, August 1985.

    Google Scholar 

  49. Moriconi, M., and Hare, D., “Visualizing program designs through PegSys,” Computer, vol. 18, pp. 72–85, Aug. 1985.

    Article  Google Scholar 

  50. Nguyen, T. A., Perkins, W. A., Laffey, T. J., and Pecora, D., “Checking an Expert Systems Knowl edge Base for Consistency anbd Completeness,” Proceedings of the Ninth IJCAI, pp. 374–378, August 1985.

    Google Scholar 

  51. Pipitone, F., “The FIS Electronic Troubleshooting System,” Computer, pp. 68–76, July 1986.

    Google Scholar 

  52. Powell, M. L., and Linton, M. A., “Visual abstractions in an interactive programming environment,” in Proc. ACM SIGPLAN, Sigplan Notices, vol. 18, pp. 14–21, June 1983.

    Google Scholar 

  53. Raeder, G., “A Survey of Current Graphical Programming Techniques,” Computer, vol. 18, pp. 11–25, Aug. 1985.

    Article  Google Scholar 

  54. Rathke, C., “Human-computer Communication Meets Software Engineering,” in Proc. 9th Int. Conf. Software Engineering, monterey, CA, Mar. 30–Apr. 2, 1987.

    Google Scholar 

  55. Reiss, S. P., “Graphical Program Development with PECAN Program Development Systems,” in Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symp. Practical Software Development Environments, Apr. 1984, printed as Sigplan Notices, vol. 19, no. 5, pp. 30–41, May 1984.

    Google Scholar 

  56. Reiss, S. P., “PECAN: Program Development Systems That Support Multiple Views,” IEEE Trans. Software Eng., vol. SE-11, pp. 276–285, Mar. 1985.

    Article  Google Scholar 

  57. Reiss, S. P., “A Conceptual Programming Environment,” in Proc. 9th Int. Conf Software Engineering, Monterey, CA, Mar. 30–Apr. 2, 1987.

    Google Scholar 

  58. Richer, M. H., and Clancey, W. J., “GUIDON-WATCH: A Graphic Interface for Viewing a Knowl edge Based System,” Technical Report, STAN-CS-85-1068, Stanford University, CA, August 1985.

    Google Scholar 

  59. Schoen, E., and Smith, R. G., “IMPULSE: A Display Oriented Editor for STROBE,” Proceedings of the AAAI ’86, pp. 356–358, 1986.

    Google Scholar 

  60. Singh, N., “An Artificial Intelligence Approach to Test Generation,” Kleuver, 1987.

    Book  Google Scholar 

  61. Srinivas, P., private communication, 1987.

    Google Scholar 

  62. St. Clair, D., “A C-based Expert Systems Shell,” M.Sc. Thesis, University of Oklahoma, 1987.

    Google Scholar 

  63. Stevens, A., Roberts, B., and Stead, L., “The use of a sophisticated graphics interface in computer-assisted instruction,” IEEE Comput. Graph. Appl., pp. 25–30, Mar/Apr. 1983.

    Google Scholar 

  64. Yamamoto, A., and Tanaka, H., “Translating Production Rules into a Forward Reasoning PROLOG Program,” New Generation Computing, pp. 97–105, vol. 4, 1986.

    Article  Google Scholar 

  65. Yue, O., and Lirov, Y., “Metadiagnosis,” Proceedings of the Third IEEE Symposium on Intelligent Control, Washington, D. C., August 1988.

    Google Scholar 

Download references

Authors
  1. Yuval Lirov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Swaminathan Ravikumar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. On-Ching Yue
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Electrical and Computer Engineering, Intelligent Robotics and Control Unit, National Technical University of Athens, 15773, Zographou, Athens, Greece

    Spyros Tzafestas

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lirov, Y., Ravikumar, S., Yue, OC. (1993). Synergy of Expert Systems, CAD, and Logic Programming. In: Tzafestas, S. (eds) Expert Systems in Engineering Applications. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84048-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-84048-7_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-84050-0

  • Online ISBN: 978-3-642-84048-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation