Artificial intelligence and quality assurance in computer-aided systems theory

  • Tuncer I. Ören
Knowledge Based Systems, Artificial Perception And CAST
Part of the Lecture Notes in Computer Science book series (LNCS, volume 410)


Cast (Computer-aided system theory) is a very important aspect of system theories, since it provides the methodological basis for modelling complex systems and algorithms to process the models of such systems. Quality assurance problems and Cast are closely related. As a fundamental contribution to quality assurance in model-based activities, cast-based environments can be developed to realize built-in quality assurance. The application of artificial intelligence techniques brings new vistas to Cast. Some of the quality assurance issues related with artificial intelligence techniques are already well known and must be embedded in artificial intelligence applications in Cast.


Quality Assurance Expert System Artificial Intelligence Technique Annual Workshop Input Knowledge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Abelson, H. et al. (1989). Intelligence in Scientific Computing. CACM, 32:5, 546–562.Google Scholar
  2. Barrow, H.G. (1984). Proving the Correctness of Digital Hardware Designs. VLSI Design, July 1984, 64–77.Google Scholar
  3. Bobrow, D.G. (Ed.) (1985). Qualitative Reasoning about Physical Systems. MIT Press, Cambridge, Massachusetts.Google Scholar
  4. Deutsch, M.S., Willis, R.R. (1988). Software Quality Engineering — A Total Technical and Management Approach. Prentice-Hall, Englewood Cliff, NJ.Google Scholar
  5. Hamilton, M.H. (1986). Zero-Defect Software: The Elusive Goal. IEEE Spectrum, March 1986, 48–52.Google Scholar
  6. Hayes, N. (1989). About the Cover: Biosphere II — A Prototype for the Future. IEEE Computer, 22:5 (May), 11.Google Scholar
  7. IEEE (1987). Software Engineering Standards. IEEE, New York, NY.Google Scholar
  8. Littlewood, B. (Ed.) (1987). Software Reliability. Blackwell Scientific Pub., Oxford, England.Google Scholar
  9. Ören, T.I. (1974). Deductive general System Theories and Simulation of Large Scale Systems. In: Proc. of the 1974 Summer Computer Simulation Conf., July 9–11, Houston, Texas, 13–16.Google Scholar
  10. Ören, T.I. (1984a). Model-Based Activities: A Paradigm Shift. In: Simulation and Model-Based Methodologies: An Integrative View, T.I. Ören, B.P. Zeigler, M.S. Elzas (Eds.), Springer-Verlag, Heidelberg, W. Germany, 3–40.Google Scholar
  11. Ören, T.I. (1984b). Model-Based Information Technology: Computer and System Theoretic Foundations. Behavioral Science, 29:3 (July) 179–185.Google Scholar
  12. Ören, T.I. (1987a). Model Behavior: Type, Taxonomy, Generation and Processing Techniques. In: Systems and Control Encyclopedia, M.G. Singh (Ed.), Pergamon Press, Oxford, England, 3030–3035.Google Scholar
  13. Ören, T.I. (1987b). Simulation Models Symbolic Proceedings: Taxonomy. In: Systems and Control Encyclopedia, M.G. Singh (Ed.), Pergamon Press, Oxford, England, 4377–4381.Google Scholar
  14. Ören, T.I. (1987c). Quality Assurance Paradigms for Artificial Intelligence in Modelling and Simulation. Simulation, 48:4 (April), 149–151.Google Scholar
  15. Ören, T.I. (1989a — In Press). A Paradigm for Artificial Intelligence in Software Engineering. In: T.I. Ören (Ed.) Advances in Artificial Intelligence in Software Engineering, Vol. 1, JAI Press, Greenwich, Connecticut.Google Scholar
  16. Ören, T.I. (1989b — In Press). Bases for Advanced Simulation: Paradigms for the Future. In: Modelling and Simulation Methodology: Knowledge Systems Paradigms, M.S. Elzas, T.I. Ören (Eds.), North-Holland, Amsterdam.Google Scholar
  17. Ören, T.I., Sheng, G. (1988). Semantic Rules and Facts for an Expert Modelling and Simulation System. In: Proceedings of the 12th IMACS World Congress, Paris, France, July 18–22, 1988.Google Scholar
  18. Pichler, F. (1984a). Symbolic Manipulation of System Models. In: Simulation and Model-Based Methodologies: An Integrative View, T.I. Ören, B.P. Zeigler, M.S. Elzas (Eds.), Springer-Verlag, Heidelberg, W. Germany, 217–234.Google Scholar
  19. Pichler, F. (1984b). General Systems Algorithms for Mathematical Systems Theory. In: Cybernetics and Systems Research 2, R. Trappl (Ed.), Proceedings of EMCSR 84, Vienna, Austria, North-Holland, Amsterdam, pp. 161–164.Google Scholar
  20. Pichler, F. (1986). Model Components for Symbolic Processing by Knowledge Based Systems: The STIPS Framework. In: Modelling and Simulation Methodology in the Artificial Intelligence Era, M.S. Elzas, T.I. Ören, B.P. Zeigler (Eds.), North-Holland, Amsterdam, pp. 133–143.Google Scholar
  21. Powell, P.B. (1982). Software Validation, Verification, and Testing Technique and Tool Reference Guide. National Bureau of Standards Publication 500-93, U.S. Department of Commerce, Washington, DC.Google Scholar
  22. Rozenblit, J. (1988). Systems Theory Instrumented Simulation Modelling. In: Proc. of the 1988 Winter Simulation Conf., M. Abrams, P. Haig, J. Comfort (Eds.). SCSI, San Diego, CA, pp. 282–286.Google Scholar
  23. Summers, C. (1987). Software Quality Assurance, Reliability and Testing. Gower Publishing Comp., Brookfield, Vermont.Google Scholar
  24. Zadeh, L.A., Polak, E. (1969). System Theory. McGraw-Hill, New York.Google Scholar
  25. Zeigler, B.P. (1976). Theory of Modelling and Simulation. Wiley, New York, NY.Google Scholar
  26. Zeigler, B.P. (1984). Multifacetted Modelling and Simulation. Academic Press, London, England.Google Scholar

Appendix A A Short Bibliography on Quality Assurance of Knowledge Bases

  1. Castore, G. (1987). Validation and Verification for Knowledge-Based Control Systems. In: Proceedings of the First Annual Workshop on Space Operations Automation and Robotics, Houston, Texas, August 1987.Google Scholar
  2. Cragun, B.J., Steudel, H.J. (1987). A Decision Table Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems. Int. J. Man-Machine Studies, Vol. 26, 633–648.Google Scholar
  3. Culbert, C., Riley, G., Savely, R.T. (1987). Approaches to the Verification of Rule-Based Expert Systems. In: Proceedings of the First Annual Workshop on Space Operations Automation and Robotics, Houston, Texas, August 1987.Google Scholar
  4. Gaschnig, J., Klahr, P., Pople, H., Shortliffe, E., Terry, A. (1983). Evaluation of Expert Systems: Issues and Case Studies. In: Building Expert Systems (Chapter 8), F. Hayes-Roth, D.A. Waterman, D.B. Lenat (Eds.), Addison-Wesley, Reading, Mass.Google Scholar
  5. Geissman, J.R., Schultz, R.D. (1988). Verification and Validation of Expert Systems. AI Expert, Feb. 1988, 26–33.Google Scholar
  6. Gevarter, W.B. (1987). The Nature and Evaluation of Commercial Expert System Building Tools. Computer, May 1987, 24–41.Google Scholar
  7. Goodwin, M.A., (1987). Expert System Verification in an Operational Environment. In: Proceedings of the First Annual Workshop on Space Operations Automation and Robotics, Houston, Texas, August 1987.Google Scholar
  8. Green, C.J.R., Keyes, M.M. (1987). Verification and Validation of Expert Systems. IEEE Knowledge-Based Engineering and Expert System (WESTEX-87), IEEE 87CH2463-8, 1987, 38–43.Google Scholar
  9. Loveland, D.W., Valtorta, M. (1983). Detecting Ambiguity: An Example in Knowledge Evaluation. IJCAI-8, 182–184.Google Scholar
  10. Marek, W. (1986). Completeness and Consistency in Knowledge Base Systems. In: Proc. of the 1st International Conf. on Expert Database Systems, 75–82.Google Scholar
  11. Nguyen, T.A. (1987). Verifying Consistency of Production Systems. In: Proc. of the 3rd IEEE Conf. on AI Applications, Feb. 1987, 4–8.Google Scholar
  12. Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D. (1985). Checking an Expert Systems Knowledge Base for Consistency and Completeness. In: IJCAI 85, August 18–23, Los Angeles, CA, 375–378.Google Scholar
  13. O'Keefe, R.M., Ralcı, O., Smith, E.P. (1987). Validating Expert System Performance. IEEE Expert, 2:4, 81–90.Google Scholar
  14. Politakis, P., Weiss, S.M. (1980). Designing Consistent Knowledge Bases: An Approach to Expert Knowledge Acquisition. Technical Report CBM-TR-113, Laboratory for Computer Science Research, Rutgers University, New Brunswick, New Jersey.Google Scholar
  15. Politakis, P., Weiss, S.M. (1984). Using Empirical Analysis to Refine Expert System Knowledge Bases. Artificial Intelligence, 22:1, 23–48.Google Scholar
  16. Reubenstein, H.B. (1985). OPMAN: An OPS5 Rule Base Editing and Maintenance Package. Master's Thesis, MIT, AI Laboratory, Cambridge, MA.Google Scholar
  17. Shaefer, P.R., Bozma, I.H., Beer, R.D. (1985). Extended Production Rules for Validity Maintenance. In: Proc. of 2nd Conf. on Artificial Intelligence Applications, IEEE 85CH2215-2, 1985, 613–617.Google Scholar
  18. Soloway, E. Bachant, J., Jensen, K. (1987). Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a Very Large Rule Base. AAAI 87, July 13–17, 1987, Seattle, WA, 824–829.Google Scholar
  19. Stachowitz, R.A., Chang, C-L. (1988). Verification and Validation of Expert Systems. Tutorial Notes, Seventh National Conference on Artificial Intelligence.Google Scholar
  20. Stachowitz, R.A., Chang, C.L., Combs, J.B. (1987). Performance Evaluation of Knowledge-Based Systems. (Keynote address). In: Proc. of Aerospace Applications of Artificial Intelligence Conf., Dayton, Ohio.Google Scholar
  21. Stachowitz, R.A., Chang, C.L., Stock, T., Combs, J.B. (1987). Building Validation Tools for Knowledge-Based Systems. In: Proceedings of the First Annual Workshop on Space Operations Automation and Robotics, Houston, Texas, August 1987.Google Scholar
  22. Stachowitz, R.A., Combs, J.B. (1987). Validation of Expert Systems. In: Proc. of the 20th Hawaii International Conf. on System Sciences, Kona, Hawaii, Jan. 1987.Google Scholar
  23. Stachowitz, R.A., Combs, J.B., Chang, C.L. (1987). Validation of Knowledge-Based Systems. In: Proc. of AIAA/NASA/USAF Symposium on Automation, Robotics and Advanced Computing. Arlington, VA, March 1987.Google Scholar
  24. Suwa, M., Scott, A.C., Shortliffe, E.H. (1982). An Approach to Verify Completeness and Consistency in a Rule-Based Expert System. The AI Magazine, Fall 1982, 16–21.Google Scholar
  25. Suwa, M., Scott, A.C., Shortliffe, E.H. (1985). Completeness and Consistency in Rule-Based Systems. In: Rule-Based Expert Systems (Chapter 8), B.G. Buchanan, E.H. Shortliffe (Eds.), Addison-Wesley.Google Scholar
  26. Weiss, S.M., Kulikowski, C.M. (1983). Testing and Evaluating Expert Systems. In: A practical Guide to Designing Expert Systems (Chapter 6), Chapman and Hall, 138–156.Google Scholar
  27. Wilkins, D.C., Buchanan, B.G. (1986). On Debugging Rule Sets when Reasoning under Uncertainty. In: AAAI-86, Aug. 11–15, 1986, Philadelphia, PA, 448–454.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Tuncer I. Ören
    • 1
  1. 1.Simulation Research Group Computer Science DepartmentUniversity of OttawaOttawaCanada

Personalised recommendations