VERIFICATION OF QUALITATIVE PROPERTIES OF RULE-BASED EXPERT SYSTEMS

REFERENCES

• Antsaktis , P. J. , and K. M. Passino , eds. 1993 . An introduction to intelligentautonomous control. Norwell , Mass. Kluwer Academic .
   Google Scholar
• Åström , K. J. , J. J. Anton ,K. E. Arzen., 1986 . Expert control. Automatica 22 217 – 286 .
   Google Scholar
• Åström , K. J. ,K. E. Arzen., 1993 . Expert control. In An introduction to intelligent and autonomous control , ed.P. J. Antsaklis and K. M. Passino. Norwell , Mass. Kluwer Academic .
   Google Scholar
• Brawnston , L. , R. Farrell , E. Kant ,N. Martin., 1986 . Programming expert systems in OPS5. Reading , Mass. Addison Wesley .
   Google Scholar
• Buchanan , B. ,R. Duda., 1983 . Principles of rule-based expert systems. Advances in Computers 22 .
   Google Scholar
• Buchanan , B. , E. H. Shoftliffc . , 1984 . Rule based expert systems, MYCIN. Reading , Mass. Addison Wesley .
   Google Scholar
• Chandrasekaran , B. , 1983 . On evaluating AI systeins for medical diagnosis. AL Magazinesummer 34 – 48 .
   Google Scholar
• Davis , R. , J. King. , 1977 . An overview of production systems. In Machine Intelligence 8 , ed. E. Elcock and D. Michie. Chichester , England Ellis Harwood .
   Google Scholar
• Gaschnig , J. , P. Klahr , H, Pople, E. Shortliffc ,A. Terry., 1983 . Evaluation of expert systems Issues and case studies. In Building Expert Systems , ed. F. Hayes-Roth, D. A. Waterman, and D. B. Lenal. Reading , Mass. Addison Wesley .
   Google Scholar
• Gcissman , J. R. , 1988 . Verification and validation of expert systems. AI Expert 3 26 – 33 .
   Google Scholar
• Giordana , A. ,andL.Saitta., 1985 . Modeling production rules by means of predicate transition networks. Information Science 39 1 – 41 .
   Google Scholar
• Green , C. J. , 1991 . Verification and validation of expert systems. In Proceedings of IEEE Western Conference on Expert Systems , 28 – 43 .
   Google Scholar
• Gupta , U. , ed. 1991 . Validatingverifying knowledge-based systems. Los Alamitos , Calif. IEEE Computer Society Press .
   Google Scholar
• Hayes-Roth , F. , ct al., 1985 . Building expert systems. Reading , Mass. Addison Wesley .
   Google Scholar
• Kim , S. , 1988 . Checking a rule base with certainty factor for incompleteness and inconsistency. Uncertainty and intelligent systems. Lecture Notes in Computer Science 313 .
   Google Scholar
• Lee , C. , 1990 . Fuzzy logic in control systems Fuzzy logic controller-Parti. IEEETransactions on Systems, Man, and Cybernetics 20 404 – 418 .
   Web of Science ®Google Scholar
• Lunardhi , A. D. ,K. M, Passino., 1991 . Verification of dynamic properties of rule-based expert systems. In Proceedings of the IEEE Conference on Decision and Control 1561 – 1566 . Brighton , cnU.K.|cn
   Google Scholar
• Murata , T. , 1989 . Petri nets Properties, analysis and applications. Proceedings of the IEEE 77 541 – 580 .
   Google Scholar
• Nguyen , T. A. , 1987 . Verifying consistency of production systems. In Proceedings 3rd Conference on AI Applications.
   Google Scholar
• Nguyen , T. A. , W. A. Perkins , T. J. Laffey ,D. Pecora., 1985 . Checking an expert systems knowledge base for consistency and completeness. In Proceedings 9th International Joint Conference on Artificial Intelligence, vol. 1 , 375 – 378 .
   Google Scholar
• Nguyen , T. A. , W. A. Perkins , T. J. Laffey ,D. Pecora., 1987 . Knowledge base verification. AI Magazine summcr 69 – 75 .
   Google Scholar
• O'KelTe , R. M. , O. Balci ,E. P. Smith., 1987 . Validating expert system performance. IEEE Expert 2 ( 4 ) 81 – 89 .
   Google Scholar
• Passino , K. M. ,P. J. Antsaklis., 1989 . A system and control theoretic perspective on artificial intelligence planning systems. International Journal of Applied Artificial Intelligence 3 1 – 32 .
   Google Scholar
• Passino , K. M. ,P. J. Antsaklis., 1990 . Optimal stabilization of discrete event systems. In Proceedings of the Conference on Decision and Control , 670 – 671 . Honolulu, Hawaii .
   Google Scholar
• Passino , K. M. ,P. J. Antsaklis., 1993 . Modeling and analysis of artificially intelligent planning systems. In An introduction to intelligent and autonomous control , ed. P. J. Antsaklis and K. M. Passino. Norwell , Mass. Kluwer Academic .
   Google Scholar
• Passino , K. M. , P. J. Antsaklis. , 1994 . A metric space approach to the specification of the heuristic function for the A* algorithm. IEEE Transactions on Systems, Man, and Cybernetics 24 ( 1 ) 159 – 166 .
   Web of Science ®Google Scholar
• Passino , K. M. ,A. D. Lunardhi., 1993 . Stability analysis of expert control systems. In Proceedings of the IEEE Conferences on Decision and Control. San Antonio , Texas , 765 – 770 .
   Google Scholar
• Passino , K. M. A. D. Lunardhi., 1996 . Qualitative analysis of expert control systems. In Intelligent control systems Theory and applications , ed. M. Gupta and N. Sinha. New York , IEEE Press .
   Google Scholar
• Passino , K, M., A, N. Michel ,P. J. Antsaklis., 1991 . Lyapunov stability of a class of discrete event systems. In Proceedings of the American Control Conference , 2911 – 2916 . Boston , Mass .
   Google Scholar
• Passino , K, M A. N. Michel ,P. J. Antsaklis., 1994 . Lyapunov stability of a class of discrete event systems. IEEE Transactions on Automatic Control 39 ( 2 ) 269 – 279 .
   Web of Science ®Google Scholar
• Perkins , W. A. , T. J. Laffey , D. Pecora ,T. A. Nguyen., 1989 . Knowledge base verification. In Topics in expert system design , ed. G. Guida and C. Tasso. New York Elsevier Science .
   Google Scholar
• Suwa , M. , A. C. Scott ,E. H. Shortliffe., 1982 . An approach to verifying completeness and consistency in rule-based expert systems. AI Magazine fall 16 – 21 .
   Google Scholar
• Weiss , S. M. ,C. A. Kulikowski., 1984 . A principal guide to designing expert systems , chap. 6. New Jersey Rowman and Allenheld .
   Google Scholar
• This work was supported in part by National Science Foundation grant IRI-9210332, The authors would like to thank the reviewers for their helpful comments.
   Google Scholar