Skip to main content
SpringerLink
Log in

Artificial intelligence and quality assurance in computer-aided systems theory

  • Knowledge Based Systems, Artificial Perception And CAST
  • Conference paper
  • First Online:
Computer Aided Systems Theory — EUROCAST '89 (EUROCAST 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 410))

Included in the following conference series:

Abstract

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Abelson, H. et al. (1989). Intelligence in Scientific Computing. CACM, 32:5, 546–562.

    Google Scholar 

  • Barrow, H.G. (1984). Proving the Correctness of Digital Hardware Designs. VLSI Design, July 1984, 64–77.

    Google Scholar 

  • Bobrow, D.G. (Ed.) (1985). Qualitative Reasoning about Physical Systems. MIT Press, Cambridge, Massachusetts.

    Google Scholar 

  • Deutsch, M.S., Willis, R.R. (1988). Software Quality Engineering — A Total Technical and Management Approach. Prentice-Hall, Englewood Cliff, NJ.

    Google Scholar 

  • Hamilton, M.H. (1986). Zero-Defect Software: The Elusive Goal. IEEE Spectrum, March 1986, 48–52.

    Google Scholar 

  • Hayes, N. (1989). About the Cover: Biosphere II — A Prototype for the Future. IEEE Computer, 22:5 (May), 11.

    Google Scholar 

  • IEEE (1987). Software Engineering Standards. IEEE, New York, NY.

    Google Scholar 

  • Littlewood, B. (Ed.) (1987). Software Reliability. Blackwell Scientific Pub., Oxford, England.

    Google Scholar 

  • Ö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 

  • Ö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 

  • Ören, T.I. (1984b). Model-Based Information Technology: Computer and System Theoretic Foundations. Behavioral Science, 29:3 (July) 179–185.

    Google Scholar 

  • Ö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 

  • Ö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 

  • Ören, T.I. (1987c). Quality Assurance Paradigms for Artificial Intelligence in Modelling and Simulation. Simulation, 48:4 (April), 149–151.

    Google Scholar 

  • Ö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 

  • Ö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 

  • Ö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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • Summers, C. (1987). Software Quality Assurance, Reliability and Testing. Gower Publishing Comp., Brookfield, Vermont.

    Google Scholar 

  • Zadeh, L.A., Polak, E. (1969). System Theory. McGraw-Hill, New York.

    Google Scholar 

  • Zeigler, B.P. (1976). Theory of Modelling and Simulation. Wiley, New York, NY.

    Google Scholar 

  • 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

  • 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 

  • 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 

  • 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 

  • 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 

  • Geissman, J.R., Schultz, R.D. (1988). Verification and Validation of Expert Systems. AI Expert, Feb. 1988, 26–33.

    Google Scholar 

  • Gevarter, W.B. (1987). The Nature and Evaluation of Commercial Expert System Building Tools. Computer, May 1987, 24–41.

    Google Scholar 

  • 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 

  • 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 

  • Loveland, D.W., Valtorta, M. (1983). Detecting Ambiguity: An Example in Knowledge Evaluation. IJCAI-8, 182–184.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • O'Keefe, R.M., Ralcı, O., Smith, E.P. (1987). Validating Expert System Performance. IEEE Expert, 2:4, 81–90.

    Google Scholar 

  • 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 

  • Politakis, P., Weiss, S.M. (1984). Using Empirical Analysis to Refine Expert System Knowledge Bases. Artificial Intelligence, 22:1, 23–48.

    Google Scholar 

  • Reubenstein, H.B. (1985). OPMAN: An OPS5 Rule Base Editing and Maintenance Package. Master's Thesis, MIT, AI Laboratory, Cambridge, MA.

    Google Scholar 

  • 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 

  • 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 

  • Stachowitz, R.A., Chang, C-L. (1988). Verification and Validation of Expert Systems. Tutorial Notes, Seventh National Conference on Artificial Intelligence.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

Download references

Author information

Authors and Affiliations

  1. Simulation Research Group Computer Science Department, University of Ottawa, K1N 9B4, Ottawa, Ontario, Canada

    Tuncer I. Ören

Authors
  1. Tuncer I. Ören
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

F. Pichler R. Moreno-Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ören, T.I. (1990). Artificial intelligence and quality assurance in computer-aided systems theory. In: Pichler, F., Moreno-Diaz, R. (eds) Computer Aided Systems Theory — EUROCAST '89. EUROCAST 1989. Lecture Notes in Computer Science, vol 410. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52215-8_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-52215-8_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52215-7

  • Online ISBN: 978-3-540-46932-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation