{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T03:23:25Z","timestamp":1761017005104},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,1,31]],"date-time":"2013-01-31T00:00:00Z","timestamp":1359590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10462-013-9396-9","type":"journal-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T02:37:16Z","timestamp":1359513436000},"page":"485-500","source":"Crossref","is-referenced-by-count":9,"title":["Validation of knowledge-based systems: a reassessment of the field"],"prefix":"10.1007","volume":"43","author":[{"given":"Feras A.","family":"Batarseh","sequence":"first","affiliation":[]},{"given":"Avelino J.","family":"Gonzalez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,31]]},"reference":[{"key":"9396_CR1","unstructured":"Abdallah K, Mohammad T, Louis F (2007) Validation of intelligent systems: a critical study and a tool, Corus. In: Proceedings of the, international journal of soft computing, pp 191\u2013198"},{"key":"9396_CR2","unstructured":"Abel T, Gonzalez AJ (1997) Utilizing criteria to reduce a set of test cases for expert system validation. In: Proceedings of the 10th FLAIRS conference 1997, pp 402\u2013406"},{"key":"9396_CR3","unstructured":"Abel T, Knauf R, Gonzalez AJ (1996) Generation of a minimal set of test cases that is functionally equivalent to an exhaustive set, for use in knowledge-based system validation. In: Proceedings of the 9th FLAIRS conference 1996, pp 280\u2013284"},{"key":"9396_CR4","unstructured":"Batarseh F (2011) Incremental lifecycle validation of knowledge-based systems through commonKADS, Ph.D. Dissertation at the University of Central Florida, Spring 2011"},{"key":"9396_CR5","unstructured":"Batarseh F, Gonzalez AJ, Knauf R (Sep 2010) Validation of knowledge-based systems through commonKADS. In: Proceedings of the 55th Internationales Wissenschaftliches Kolloquium (IWK), Ilmenau, Germany"},{"issue":"1","key":"9396_CR6","first-page":"39","volume":"23","author":"D Cook","year":"2010","unstructured":"Cook D (2010) Software processes? How bohring? Back talk in the magazine of crosstalk. J Def Softw Eng 23(1):39","journal-title":"J Def Softw Eng"},{"key":"9396_CR7","doi-asserted-by":"crossref","unstructured":"Dibie-Barthelemy J, Haemmerle O, Salvat E (2006) A semantic validation of conceptual graphs. In: Proceedings of the journal of, knowledge-based systems, pp 498\u2013511","DOI":"10.1016\/j.knosys.2005.04.002"},{"key":"9396_CR8","unstructured":"Ginsberg A, Weiss S, Politakis P (1985) SEEK2: a generalized approach to automatic knowledge-base refinement. In: Proceedings of international joint conference on artificial intelligence (IJCAI), pp 367\u2013374"},{"key":"9396_CR9","doi-asserted-by":"crossref","unstructured":"Gonzalez AJ, Barr V (2000) Validation and verification of intelligent systems\u2014what are they and how are they different? In: Proceedings of the journal of experimental & theoretical artificial intelligence, October-2000, pp 407\u2013420","DOI":"10.1080\/095281300454793"},{"key":"9396_CR10","doi-asserted-by":"crossref","unstructured":"Gonzalez AJ, Gupta U, Chianese R (1996) Performance evaluation of a large diagnostic expert system using a heuristic test case generator. In: Proceedings of the engineering applications for artificial intelligence, vol 9, pp 275\u2013284","DOI":"10.1016\/0952-1976(95)00018-6"},{"key":"9396_CR11","unstructured":"Kelbasa H (2004) Context refinement\u2014investigating the rule refinement completeness of SEEK\/SEEK 2. In: Proceedings of the 15th European conference on, artificial intelligence, pp 123\u2013154"},{"issue":"3","key":"9396_CR12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/TSMCB.2002.999805","volume":"32","author":"R Knauf","year":"2002","unstructured":"Knauf R, Gonzalez AJ, Abel T (2002) A framework for validation of rule-based systems. IEEE Trans Syst Man Cybern 32(3):181\u2013196","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"9396_CR13","doi-asserted-by":"crossref","unstructured":"Knauf R, Tsuruta S, Gonzalez AJ (2007) Toward reducing human involvement in validation of knowledge-based systems. In: Proceedings of the IEEE transactions on systems, man and, cybernetics, vol 37, January 2007, pp 120\u2013131","DOI":"10.1109\/TSMCA.2006.886365"},{"key":"9396_CR14","unstructured":"Lee S, O\u2019Keefe R (1994) Developing a strategy for expert system validation and verification. In: IEEE 1994, proceedings of the IEEE transactions on systems, man and cybernetics, vol 24, pp 643\u2013655"},{"key":"9396_CR15","doi-asserted-by":"crossref","unstructured":"Lockwood S, Chen Z (1995) Knowledge validation of engineering expert systems. In: Proceedings of the journal of advances in software engineering, pp 97\u2013104","DOI":"10.1016\/0965-9978(95)00018-R"},{"key":"9396_CR16","doi-asserted-by":"crossref","unstructured":"Marcos M, Del Pobil D, Moisan S (2000) Model-based verification of knowledge-based systems: a case study. In: Proceedings of the IEEE journal on software, pp 163\u2013167","DOI":"10.1049\/ip-sen:20000896"},{"key":"9396_CR17","doi-asserted-by":"crossref","unstructured":"Mengshoel OJ, Delab S, (1993) Knowledge validation: principles and practice. In: Proceedings of the journal of IEEE experts systems, pp 62\u201368","DOI":"10.1109\/64.215224"},{"key":"9396_CR18","doi-asserted-by":"crossref","unstructured":"Min F, Yang M, Wang Z (2006) An intelligent validation system of simulation model. In: Proceedings of the fifth international IEEE conference on machine learning and, cybernetics, pp 1459\u20131464","DOI":"10.1109\/ICMLC.2006.258759"},{"key":"9396_CR19","unstructured":"Min F, Ma P, Yang M (2007) A knowledge base method for the validation of military simulation. In: Proceedings of the winter simulation conference-IEEE, pp 1395\u20131402"},{"key":"9396_CR20","unstructured":"Morell L (1988) Use of meta knowledge in the verification of knowledge-based systems. In: Proceedings of the 1st international conference on industrial and engineering applications of artificial intelligence and, expert systems, pp 847\u2013857"},{"key":"9396_CR21","doi-asserted-by":"crossref","unstructured":"Mosquiera-Rey E, Moret-Bonillo V (2000) Validation of intelligent systems: a critical study and a tool. In: Proceedings of the journal of, expert systems with applications, pp 1\u201316","DOI":"10.1016\/S0957-4174(99)00045-7"},{"key":"9396_CR22","unstructured":"Mukkavilli L (2011) Publication number: US Patent 2011\/0098963 A1, Context-based testing"},{"key":"9396_CR23","doi-asserted-by":"crossref","unstructured":"Murrel S, Plant RA (1997) A survey of tools for the validation and verification of knowledge-based systems: 1985\u20131995. In: Proceedings of the, decision support systems, pp 307\u2013323","DOI":"10.1016\/S0167-9236(97)00047-X"},{"key":"9396_CR24","doi-asserted-by":"crossref","unstructured":"O\u2019Keefe RM, Balci O, Smith EP (1987) Validating expert system performance. Proc IEEE Expert 2(4):81\u201390","DOI":"10.1109\/MEX.1987.5006538"},{"key":"9396_CR25","doi-asserted-by":"crossref","unstructured":"Onoyama T, Tsuruta S (2000) Validation method for intelligent systems. In: Proceedings of the, journal of experimental and theoretical artificial intelligence, pp 461\u2013472","DOI":"10.1080\/095281300454838"},{"key":"9396_CR26","doi-asserted-by":"crossref","unstructured":"Preece A (2001) Evaluating verification and validation methods in knowledge engineering. In: Roy R(ed) Micro-Level Knowledge Management, Morgan\u2013Kaufman pp 123\u2013145","DOI":"10.1007\/978-1-4471-0351-6_6"},{"key":"9396_CR27","unstructured":"Santos E Jr, Dinh H (2004) Consistency of test case in validation of Bayesian knowledge bases. In: Proceedings of the 16th IEEE international conference on tools with artificial intelligence (ICTAI 2004)"},{"key":"9396_CR28","unstructured":"Slafer L (2001) (Boeing Satellite Systems) Achieving software validation through simulation. In: Proceedings of the advanced dynamics international user conference (ADIUS)"},{"key":"9396_CR29","unstructured":"Smith S, Kandel A (1990) Validation of expert systems. In: Proceedings of the third Florida artificial intelligence research symposium (FLAIRS), pp 197\u2013201"},{"key":"9396_CR30","unstructured":"Sommerville I (2007) Software engineering, 8th edition, Chapter 4. published by Addison Wesley"},{"key":"9396_CR31","unstructured":"Tadji C, Laroussi T (2009) Dynamic verification of an object-rule knowledge base using colored Petri nets. In: Proceedings of the conference of systemic, cybernetics and informatics 2009, vol 4, pp 337\u2013352"},{"key":"9396_CR32","doi-asserted-by":"crossref","unstructured":"Turing A (1950) Computing machinery and intelligence. Proc Mind LIX(236):433\u2013460","DOI":"10.1093\/mind\/LIX.236.433"},{"key":"9396_CR33","doi-asserted-by":"crossref","unstructured":"Vermesan A, Hogberg F (1999) Applicability of conventional software verification and validation to knowledge base components: a qualitative assessment. In: Proceedings of the 5th European symposium on validation and verification of knowledge based- systems-theory, tools and practice (EUROVAV \u201899), pp 343\u2013364","DOI":"10.1007\/978-1-4757-6916-6_23"},{"key":"9396_CR34","unstructured":"Vinze A, Vogel D, Nunamaker J (1991) Performance evaluation of a knowledge-based system, a validation study. In: Proceedings of the journal of information and management. Elsevier, Amsterdam, pp 225\u2013236"},{"key":"9396_CR35","unstructured":"Wells S (1993) The VIVA method: a life cycle independent approach to KBS validation. In: Proceedings of the IEEE AAAI conference, pp 102\u2013106"},{"key":"9396_CR36","doi-asserted-by":"crossref","unstructured":"Wu C, Lee S (2002) KJ3-a tool assisting formal validation of knowledge-based systems. In: Proceedings of the international Journal of the human\u2013computer studies, pp 495\u2013525","DOI":"10.1006\/ijhc.2002.1007"},{"key":"9396_CR37","unstructured":"Zlatareva N (1992) A framework for knowledge-based systems verification, validation and refinement: the VVR system. In: Proceedings of the 5th FLAIRS conference 1992, pp 10\u201314"},{"key":"9396_CR38","unstructured":"Zlatareva N (1998) Knowledge refinement during development and field validation of expert systems. In: Proceedings of the 11th international FLAIRS conference, 1998, pp 467\u2013472"},{"key":"9396_CR39","doi-asserted-by":"crossref","unstructured":"Zlatareva N, Preece A (1994) State of the art in automated validation of knowledge-based systems. In: Proceedings of the journal of, expert systems with applications, pp 151\u2013168","DOI":"10.1016\/0957-4174(94)90034-5"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-013-9396-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-013-9396-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-013-9396-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T01:03:58Z","timestamp":1562634238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-013-9396-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,31]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9396"],"URL":"https:\/\/doi.org\/10.1007\/s10462-013-9396-9","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,31]]}}}