{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T14:40:39Z","timestamp":1737643239154,"version":"3.33.0"},"edition-number":"1","reference-count":43,"publisher":"Wiley","isbn-type":[{"type":"print","value":"9780471383932"},{"type":"electronic","value":"9780470050118"}],"license":[{"start":{"date-parts":[[2007,12,14]],"date-time":"2007-12-14T00:00:00Z","timestamp":1197590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article describes current issues and approaches concerning the evaluation of real\u2010time safety\u2010critical intelligent systems. It provides a sketch of a verification technique that is based on the first order logic as its knowledge representation formalism.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse211","type":"other","created":{"date-parts":[[2007,12,10]],"date-time":"2007-12-10T19:16:28Z","timestamp":1197314188000},"source":"Crossref","is-referenced-by-count":0,"title":["Knowledge Verification"],"prefix":"10.1002","author":[{"given":"Jeffrey J. P.","family":"Tsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Du","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avinash","family":"Sahay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Juan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,12,14]]},"reference":[{"key":"e_1_2_6_2_1","article-title":"Special issue: Verification and validation of knowledge\u2010based systems","author":"Culbert C.","year":"1990","journal-title":"Expert Syst. Appl."},{"key":"e_1_2_6_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663354"},{"issue":"2","key":"e_1_2_6_4_1","first-page":"29","article-title":"Knowledge\u2010based systems research and applications in Japan","volume":"15","author":"Feigengaum E. A.","year":"1994","journal-title":"AI Mag."},{"volume-title":"Validating and Verifying Knowledge\u2010based Systems","year":"1991","author":"Gupta U.","key":"e_1_2_6_5_1"},{"key":"e_1_2_6_6_1","unstructured":"G. H.SchildtandJ.Retti(eds.) Proc. of the IFIP WG 5.4\/IFAC Workshop on Dependability of Artificial Intelligence Systems Vienna Austria IFIP 1991."},{"key":"e_1_2_6_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/7474.7528"},{"key":"e_1_2_6_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(90)90003-D"},{"key":"e_1_2_6_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812798046"},{"key":"e_1_2_6_10_1","unstructured":"P.Meseguer Verification of multi\u2010level rule\u2010based expert systems.Proc. 9th Natl. Conf. Artif. Intell. pp.323\u2013328 1991."},{"key":"e_1_2_6_11_1","unstructured":"R.Evertsz The automated analysis of rule\u2010based systems based on their procedural semantics.Proc. Int. J. Conf. Artif. Intell. pp.22\u201327 1991."},{"key":"e_1_2_6_12_1","unstructured":"G. R.Prakash E.Subrahmanian andH. N.Mahabala A methodology for systematic verification of OPS5\u2010based AI applications Proc. Int. J. Conf. Artif. Intell. pp.3\u20138 1991."},{"key":"e_1_2_6_13_1","unstructured":"D. C.WilkinsandB. G.Buchanan On debugging rule sets when reasoning under uncertainty Proc. 4th Natl. Conf. Artif. Intell. pp.448\u2013454 1986."},{"key":"e_1_2_6_14_1","first-page":"177","volume-title":"Validation, Verification and Testing of Knowledge\u2010Based Systems","author":"Raedt G.","year":"1991"},{"key":"e_1_2_6_15_1","doi-asserted-by":"crossref","unstructured":"W. R.Franklinet al. Debugging and testing expert systems.Proc. 21st Annu. Int. Conf. Syst. Sci. Hawaii pp.159\u2013167 1988.","DOI":"10.1109\/HICSS.1988.11903"},{"key":"e_1_2_6_16_1","first-page":"63","volume-title":"Validation, Verification and Testing of Knowledge\u2010Based Systems","author":"Ayel M.","year":"1991"},{"key":"e_1_2_6_17_1","unstructured":"M. C.Rousset On the consistency of knowledge bases: the COVADIS system.Proc. 8th Eur. Conf. Artif. Intell. pp.79\u201384 1988."},{"key":"e_1_2_6_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00104-U"},{"issue":"4","key":"e_1_2_6_19_1","first-page":"16","article-title":"An approach to verifying completeness and consistency in a rule\u2010based expert system","volume":"3","author":"Suwa M.","year":"1988","journal-title":"AI Mag."},{"issue":"2","key":"e_1_2_6_20_1","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"Nguyen T. A.","year":"1987","journal-title":"AI Mag."},{"key":"e_1_2_6_21_1","first-page":"95","volume-title":"Validation, Verification and Testing of Knowledge\u2010Based Systems","author":"Charles E.","year":"1991"},{"key":"e_1_2_6_22_1","first-page":"15","article-title":"Detection of incoherence and incompleteness in a knowledge base: The INDE system","author":"Pipard E.","year":"1988","journal-title":"Proc. AVIGNON '88"},{"key":"e_1_2_6_23_1","unstructured":"P.Meseguer A New Method for Checking Rule Base for Inconsistency: A Petri Net Approach Tech. Rep. GRIAL 90\/6 Blanes Spain 1990."},{"key":"e_1_2_6_24_1","unstructured":"A.Ginsberg Knowledge\u2010base reduction: A new approach to checking knowledge base for inconsistency and redundancy.Proc. 7th Natl. Conf. Artif. Intell. pp.585\u2013589 1988."},{"key":"e_1_2_6_25_1","first-page":"149","volume-title":"Validation, Verification and Testing of Knowledge\u2010Based Systems","author":"Lafon P.","year":"1991"},{"key":"e_1_2_6_26_1","first-page":"16.1","article-title":"A self modifying rule\u2010eliciter","author":"Esfahani L.","year":"1988","journal-title":"Proc. Eur. Knowledge Acquisition"},{"key":"e_1_2_6_27_1","unstructured":"R.Riedesel Consistency and Completeness: An Exercise in Knowledge Base Validation Tech. Rep. Urbana\u2010Champaign:Graduate College of the University of Illinois 1985."},{"key":"e_1_2_6_28_1","unstructured":"C. H.WuandS. J.Lee Knowledge Validation for Rule\u2010Based Expert Systems by Interpreting Dependency in Directed Graphs Taiwan:Department of Electrical Engineering National Sun Yat\u2010Sen University 1995."},{"key":"e_1_2_6_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1989.65342"},{"key":"e_1_2_6_30_1","first-page":"367","article-title":"SEEK2: A generalized approach to automatic knowledge base refinement","author":"Ginsberg A.","year":"1985","journal-title":"Proc. IJCAI"},{"issue":"7","key":"e_1_2_6_31_1","article-title":"Strategies for knowledge acquisition","volume":"5","author":"Kahn G.","year":"1988","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"e_1_2_6_32_1","first-page":"2.1","article-title":"A recent progress in AQUINAS: A knowledge acquisition workbench","author":"Boose J.","year":"1988","journal-title":"Proc. Eur. Knowledge Acquisition Workshop"},{"key":"e_1_2_6_33_1","first-page":"30.1","article-title":"INDE: A system for knowledge refinement and machine learning","author":"Terpstra P.","year":"1988","journal-title":"Proc. Eur. Knowledge Acquisition Workshop"},{"key":"e_1_2_6_34_1","unstructured":"J.Piazza Cases to Models Complete Expert Systems Tech. Rep. General Dynamics Corp. Falls Church VA 1990."},{"key":"e_1_2_6_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(92)90026-O"},{"key":"e_1_2_6_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1996.0006"},{"key":"e_1_2_6_37_1","first-page":"45","article-title":"Validation and verification of knowledge\u2010based systems","volume":"8","author":"Plaza E.","year":"1993","journal-title":"IEEE Expert"},{"key":"e_1_2_6_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(91)90167-D"},{"key":"e_1_2_6_39_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550090802"},{"key":"e_1_2_6_40_1","first-page":"2","article-title":"Special issues: Verification and validation of knowledge\u2010based systems","volume":"6","author":"Preece A.","year":"1993","journal-title":"Int. J. Expert Syst."},{"key":"e_1_2_6_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(94)90034-5"},{"key":"e_1_2_6_42_1","unstructured":"T.Terano A case study of expert system evaluation using a checklist\u2010based guideline in AAAI\u201092 Workshop on Validation and Verification of Expert Systems Los Altos CA:Morgan Kauffmann 1992."},{"key":"e_1_2_6_43_1","first-page":"329","article-title":"Formal verification of pure production system programs","author":"Gamble R.","year":"1991","journal-title":"Proc. 9th Natl. Conf. Artif. Intell."},{"key":"e_1_2_6_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.184762"}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T14:04:38Z","timestamp":1737641078000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,14]]},"ISBN":["9780471383932","9780470050118"],"references-count":43,"alternative-id":["10.1002\/9780470050118.ecse211","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse211","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2007,12,14]]}}}