Structure-based validation of rule-based systems

Adelman, 1991, Experiments, quasi-experiments and case studies: A review of empirical methods for evaluating decision support systems, IEEE Transactions on Systems, Man and Cybernetics, 21, 293, 10.1109/21.87078 Richards Adrion, 1982, Validation, verification and testing of computer of software, ACM Computing Surveys, 14, 159, 10.1145/356876.356879 Ayel, 1991, SACCO-SYCOJET: Two different ways of verifying knowledge-based systems 1991 Batarekh, 1991, Specifying an expert system, Expert Systems with Applications, 2, 285, 10.1016/0957-4174(91)90036-E Buchanan, 1984, The problem of evaluation, 571 Chang, 1990, A report on the expert systems validation associate (EVA), Expert Systems with Applicatiaons (US), 1, 217, 10.1016/0957-4174(90)90003-D Cragun, 1987, A decision-table-based processor for checking completeness and consistency in rule-based expert systems, International Journal of Man-Machine Studies, 26, 633, 10.1016/S0020-7373(87)80076-7 Gaschnig, 1983, Evaluation of expert systems: Issues and case studies, 241 Ghezzi, 1991 Giarratano, 1989 Ginsberg, 1988, Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy, Vol. 2, 585 Grossner, 1993, Data distribution in organizations of cooperating expert systems Grossner, 1991, Validation of an expert system intended for research in distributed artificial intelligence Grossner, 1993, Exploring the structure of rule based systems, 704 Grossner, 1990, Organizations for cooperating expert systems Gupta, 1990 Hamilton, 1991, State-of-the-practice in knowledge-based system verification and validation, Expert Systems with Applications, 3, 403, 10.1016/0957-4174(91)90167-D Hayes-Roth, 1985, Rule-based systems, Communications of the ACM, 28, 921, 10.1145/4284.4286 Kiper, 1992, Structural testing of rule-based expert systems, ACM Transactions on Software Engineering and Methodology, 1, 168, 10.1145/128894.128896 Kirani, 1992, Comparative evaluation of expert system testing methods Landauer, 1990, Correctness principles for rule-based expert systems, Expert Systems with Applications, 1, 291, 10.1016/0957-4174(90)90009-J Mars, 1987, Knowledge acquisition and verification tools for medical expert systems, Medical Decision Making, 7, 6, 10.1177/0272989X8700700105 Meseguer, 1992, Incremental verification of rule-based expert systems Nazareth, 1993, Investigating the applicability of Petri nets for rule-based system verification, IEEE Transactions on Knowledge and Data Engineering, 4, 402, 10.1109/69.224193 O'Keefe, 1987, Validating expert system performance, IEEE Expert (US), 2, 81, 10.1109/MEX.1987.5006538 Ostrnad, 1988, The category-partition method for specifying and generating functional tests, Communications of ACM, 31, 676, 10.1145/62959.62964 Preece, 1994, Validating dynamic properties of rule-based systems Preece, 1992, Verifying knowledge bases by anomaly detection: an experience report Preece, 1992, Principles and practice in verifying rule-based systems, Knowledge Engineering Review, 7, 115, 10.1017/S026988890000624X Preece, 1992, Verifying expert systems: A logical framework and a practical tool, Expert Systems with Applications, 3 Preece, 1993, Special issue on verification and validation, International Journal of Expert: Research and Applications, 6 Rapps, 1985, Selecting software test data using a data flow information, IEEE Transactions on Softwaree Engineering, SE-11, 367, 10.1109/TSE.1985.232226 Rich, 1983 Rousset, 1988, On the consistency of knowledge bases: The COVADIS system, Computational Intelligence (Canada), 4, 166, 10.1111/j.1467-8640.1988.tb00119.x Rousset, 1988, 79 Rushby, 1988, Quality measures and assurance for AI software, 137 Rushby, 1990, Evaluation of an expert system for fault detection, isolation and recovery in the mannered maneuvering unit, 93 Shwe, 1989, Validating the knowledge base of a therapy planning system, Methods of Information in Medicine (Germany), 28, 36, 10.1055/s-0038-1635547 Simon, 1973, The structure of ill-structured problems, Artificial Intelligence, 4, 181, 10.1016/0004-3702(73)90011-8 Software Engineering Technical Committee of the IEEE Computer Society, 1986, 1012 Suwa, 1982, An approach to verifying completeness and consistency in a rule-based expert system, AI Magazine, 3, 16 Weyuker, 1980, Theories of program testing and the application of revealing subdomains, IEEE Transactions on Software Engineering, SE-6, 236, 10.1109/TSE.1980.234485 Wielinga, 1992, KADS: A modelling approach to knowledge engineering, Knowledge Acquisition, 4, 5, 10.1016/1042-8143(92)90013-Q Zlatareva, 1993, An effective logical framework for knowledge-based systems verification