{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:05:28Z","timestamp":1763035528641},"reference-count":32,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Decision Support Systems"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1016\/s0167-9236(97)00043-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:55:32Z","timestamp":1027594532000},"page":"231-251","source":"Crossref","is-referenced-by-count":10,"title":["Classifying and detecting anomalies in hybrid knowledge-based systems"],"prefix":"10.1016","volume":"21","author":[{"given":"Ranadeep","family":"Mukherjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rose F.","family":"Gamble","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jennifer A.","family":"Parkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-9236(97)00043-2_BIB1","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/0020-7373(92)90043-K","article-title":"A Petrie-net based approach for verifying the integrity of production systems","volume":"36","author":"Agarwal","year":"1992","journal-title":"Int. J. Man-Machine Studies"},{"issue":"2","key":"10.1016\/S0167-9236(97)00043-2_BIB2","first-page":"857","article-title":"Tools for extracting knowledge and validating expert systems","volume":"18","author":"Bahill","year":"1987","journal-title":"IEEE Trans. Systems, Man, Cybernetics"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB3","unstructured":"D.M. Baughman, R.F. Gamble. Monitor anomalies in hybrid KBSs. Technical Report UTULSA-MCS-95-2, Department of Mathematical and Computer Sciences, University of Tulsa, March 1995."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","article-title":"A report on the expert system validation associate (EVA)","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB5","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/S0020-7373(87)80076-7","article-title":"A decision table-based processor for checking completeness and consistency in rule-based expert systems","volume":"26","author":"Cragun","year":"1987","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1006\/ijhc.1996.0011","article-title":"A methodology to incorporate formal methods in hybrid KBS development","volume":"44","author":"Gamble","year":"1996","journal-title":"Int. J. Human\u2013Machine Studies"},{"issue":"3","key":"10.1016\/S0167-9236(97)00043-2_BIB7","first-page":"203","article-title":"Applying formal verification techniques to rule-based programs","volume":"7","author":"Gamble","year":"1994","journal-title":"Int. J. Expert Systems"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB8","unstructured":"A. Ginsberg, A new approach to checking knowledge bases for inconsistency and redundancy, in: 7th National Conference on Artificial Intelligence, 1988, pp. 585\u2013589."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB9","unstructured":"Y. Kang, A.T. Bahill, A tool for detecting expert system errors, AI Expert, February 1990, pp. 42\u201351."},{"issue":"3","key":"10.1016\/S0167-9236(97)00043-2_BIB10","first-page":"299","article-title":"Subsumption anomalies in hybrid knowledge based systems","volume":"6","author":"Lee","year":"1993","journal-title":"Int. J. Expert Systems"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB11","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/int.4550060303","article-title":"An approach towards the verification of expert systems using numerical Petrie nets","volume":"7","author":"Liu","year":"1991","journal-title":"Int. J. Intelligent Systems"},{"issue":"3","key":"10.1016\/S0167-9236(97)00043-2_BIB12","first-page":"273","article-title":"Formal verification of knowledge bases focused on consistency: Two experiments based on ATMS techniques","volume":"6","author":"Loiseau","year":"1993","journal-title":"Int. J. Expert Systems"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB13","unstructured":"M. Mehrotra, Rule groupings: A software engineering approach towards verification of expert systems, Technical report, NASA Contractor Report 4372, Washington, DC, 1991."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB14","unstructured":"P. Meseguer, Verification of multi-level rule-based expert systems, in: 9th National Conference on Artificial Intelligence (AAAI-91), 1991, pp. 323\u2013328."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB15","unstructured":"T.A. Nguyen, Verifying consistency of production systems, in: IEEE Conference on AI Applications, 1987, pp. 4\u20138."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB16","first-page":"3","article-title":"Expert system verification and validation: A survey and tutorial","volume":"7","author":"O'Keefe","year":"1993","journal-title":"AI Rev."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB17","unstructured":"D.E. O'Leary, Verification of frame and semantic network knowledge bases, in: AAAI-89 Workshop on Knowledge Acquisition for KBSs, 1989."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB18","unstructured":"A.V. Pai, Verifying the rule processing component of active databases, MS thesis, University of Tulsa, Department of Mathematical and Computer Sciences, September 1995."},{"issue":"2","key":"10.1016\/S0167-9236(97)00043-2_BIB19","first-page":"193","article-title":"SVEPOA: A tool to aid verification and validation of OPS5-based Al applications","volume":"6","author":"Prakash","year":"1993","journal-title":"Int. J. Expert Systems"},{"issue":"4","key":"10.1016\/S0167-9236(97)00043-2_BIB20","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1111\/j.1468-0394.1990.tb00234.x","article-title":"Towards a methodology for evaluating expert systems","volume":"7","author":"Preece","year":"1990","journal-title":"Expert Systems"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB21","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1006\/imms.1993.1031","article-title":"A new approach to detecting missing knowledge in expert system rule bases","volume":"38","author":"Preece","year":"1993","journal-title":"Int. J. Human\u2013Machine Studies"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB22","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0957-4174(92)90026-O","article-title":"Verifying expert systems: A logical framework and a practical tool","volume":"5","author":"Preece","year":"1992","journal-title":"Expert Systems with Applications"},{"issue":"3","key":"10.1016\/S0167-9236(97)00043-2_BIB23","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/32.221138","article-title":"Formal derivation of rule-based programs","volume":"19","author":"Roman","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB24","doi-asserted-by":"crossref","unstructured":"M.-C. Rousset, On the consistency of knowledge bases: The COVADIS system, in: ECAI-88, 1988, pp. 79\u201394.","DOI":"10.1111\/j.1467-8640.1988.tb00119.x"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB25","doi-asserted-by":"crossref","unstructured":"J. Rushby, R.A. Whitehurst, Formal verification of AI software, Technical report, SRI International, Computer Science Laboratory, February 1989.","DOI":"10.1109\/CSFW.1989.40595"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB26","unstructured":"T.M. Shaft, R.F. Gamble, Knowledge + based system reliability: A theoretical basis for assessment and a survey of techniques, Tech. Rep. UTULSA-MCS-93-3, Dept. of Mathematical and Comp. Sciences, Univ. of Tulsa, 1993."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB27","unstructured":"R. Stachowitz, J. Combs, Completeness checking of expert systems, Technical Report A-60, Lockheed Missiles and Space, 1990."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB28","unstructured":"R.A. Stachowitz, J.B. Combs, Validation of expert systems, in: 20th Hawaii International on Systems Sciences, January 1987, pp. 689\u2013695."},{"issue":"3","key":"10.1016\/S0167-9236(97)00043-2_BIB29","first-page":"341","article-title":"Verification of knowledge base redundancy and subsumption using graph transformations","volume":"6","author":"Valiente","year":"1993","journal-title":"Int. J. Expert Systems"},{"key":"10.1016\/S0167-9236(97)00043-2_BIB30","unstructured":"A. Vermesan, Specification refinement of object-oriented KBSs, in: IJCAI-95 Workshop on Verification and Validation of KBSs, August 1995."},{"issue":"1","key":"10.1016\/S0167-9236(97)00043-2_BIB31","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1142\/S0218194092000075","article-title":"Proving properties of rule-based systems","volume":"2","author":"Waldinger","year":"1992","journal-title":"Int. J. Software Eng. Knowledge Eng."},{"key":"10.1016\/S0167-9236(97)00043-2_BIB32","unstructured":"N. Zlatareva, CTMS: A general framework for plausible reasoning, Int. J. Expert Systems, 1992, In press."}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923697000432?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923697000432?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T16:27:19Z","timestamp":1556382439000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167923697000432"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["S0167923697000432"],"URL":"https:\/\/doi.org\/10.1016\/s0167-9236(97)00043-2","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}