{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T05:34:32Z","timestamp":1733376872134,"version":"3.30.1"},"reference-count":34,"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)00046-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T17:28:40Z","timestamp":1027618120000},"page":"281-305","source":"Crossref","is-referenced-by-count":4,"title":["Using goals to design and verify rule bases"],"prefix":"10.1016","volume":"21","author":[{"given":"P.G.","family":"Chander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Shinghal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Radhakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0167-9236(97)00046-8_BIB1","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/64.215219","article-title":"Acquiring knowledge in SOAR","volume":"8","author":"Yost","year":"1993","journal-title":"IEEE Expert"},{"issue":"2","key":"10.1016\/S0167-9236(97)00046-8_BIB2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S026988890000624X","article-title":"Principles and practice in verifying rule-based systems","volume":"7","author":"Preece","year":"1992","journal-title":"Knowledge Eng. Rev."},{"issue":"1","key":"10.1016\/S0167-9236(97)00046-8_BIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","article-title":"Expert system verification and validation: a survey and tutorial","volume":"7","author":"O'Keefe","year":"1993","journal-title":"Artificial Intelligence Rev."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB4","unstructured":"T.A. Nguyen, W.A. Perkins, T.J. Laffey, D. Pecora, Checking an expert systems knowledge base for consistency, completeness, in: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 85), Vol. 1, Boston, MA, 1985, pp. 278\u2013375."},{"issue":"5","key":"10.1016\/S0167-9236(97)00046-8_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\u2013Machine Stud."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB6","unstructured":"Allen Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, in: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, St. Paul, MN, August 1988, pp. 585\u2013589."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB7","doi-asserted-by":"crossref","unstructured":"Robert T. Plant, The meta knowledge level: a methodology for validation, in: Proceedings of the AAAI Workshop on Validation and Verification of Knowledge-Based Systems, Washington, DC, July 1993, pp. 94\u2013108.","DOI":"10.1007\/978-3-662-02933-6_11"},{"issue":"3","key":"10.1016\/S0167-9236(97)00046-8_BIB8","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","article-title":"A report on the expert systems validation associate (EVA)","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Syst. Appl."},{"issue":"2\/3","key":"10.1016\/S0167-9236(97)00046-8_BIB9","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":"3","author":"Preece","year":"1992","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB10","doi-asserted-by":"crossref","unstructured":"Marie-Christine Rousset, On the consistency of knowledge bases: the COVADIS system, Computational Intelligence, 4 (2): 166\u2013170, May 1988; Also in ECAI 88, Proc. European Conference on AI, Munich, August 1\u20135, 1988, pp. 79\u201384.","DOI":"10.1111\/j.1467-8640.1988.tb00119.x"},{"key":"10.1016\/S0167-9236(97)00046-8_BIB11","unstructured":"C. Grossner, A. Preece, P. Gokulchander, T. Radhakrishnan, C.Y. Suen, Exploring the structure of rule based systems, in: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 93), Washington, DC, 1993, pp. 704\u2013709."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB12","unstructured":"A. Preece, C. Grossner, P. Gokulchander, T. Radhakrishnan, Structural validation of expert systems: experience using a formal model, in: Notes of the Workshop on Validation and Verification of Knowledge-Based Systems, 11th National Conference on Artificial Intelligence, Washington, DC, July 1993, pp. 19\u201326."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB13","unstructured":"A. Preece, P. Gokulchander, C. Grossner, T. Radhakrishnan, Modeling rule base structure for expert system quality assurance, in: Notes of the Workshop on Validation of Knowledge-Based Systems, 13th International Joint Conference on Artificial Intelligence, Savoic, France, August 1993, pp. 37\u201350."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB14","unstructured":"P. Gokul Chander, R. Shinghal, T. Radhakrishnan, Static determination of dynamic functional attributes in rule-based systems, in: Proceedings of the 1994 International Conference on Systems Research, Informatics and Cybernetics, AI Symposium (ICSRIC 94), Baden Baden, Germany, August 1994, pp. 79\u201384."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB15","doi-asserted-by":"crossref","unstructured":"P. Gokul Chander, T. Radhakrishnan, R. Shinghal, Using paths to detect redundancy in rule bases, in: Proceedings of the 11th IEEE Conference on Artificial Intelligence Applications, IEEE CAIA '95, Los Angeles, CA, February 1995, pp. 133\u2013139.","DOI":"10.1109\/CAIA.1995.378780"},{"key":"10.1016\/S0167-9236(97)00046-8_BIB16","unstructured":"P.G. Chander, R. Shinghal, T. Radhakrishnan, Goal supported knowledge base restructuring for verification of rule bases, in: Notes of the Workshop on Verification and Validation of Knowledge-Based Systems, 14th InternationalJoint Conference on Artificial Intelligence, Montreal, Canada, August 1995, pp. 15\u201321."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB17","unstructured":"Rajjan Shinghal, Formal Concepts in Artificial Intelligence, Chapman & Hall, London, UK, co-published in U.S. with Van Nostrand\u2013Reinhold, New York, 1992."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB18","unstructured":"A. Preece, C. Grossner, P. Gokulchander, T. Radhakrishnan, Structural validation of expert systems: experience using a formal model, in: Jay Liebowitz (Ed.), Second World Congress on Expert Systems, Estoril, Portugal, January 1994, pp. 323\u2013330."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB19","unstructured":"Gregg R. Yost, Allen Newell, A problem space approach to expert system specification, in: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI `89, San Mateo, CA, 1989, pp. 621\u2013627."},{"issue":"2","key":"10.1016\/S0167-9236(97)00046-8_BIB20","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0933-3657(94)90044-2","article-title":"Refinement of the HEPAR expert system: tools and techniques","volume":"6","author":"Lucas","year":"1994","journal-title":"Artificial Intelligence Med."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB21","unstructured":"J. Giarratano, G. Riley, Expert Systems: Principles and Programming, 2nd edn., PWS Publ., Boston, MA, 1993."},{"issue":"4","key":"10.1016\/S0167-9236(97)00046-8_BIB22","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0957-4174(91)90036-E","article-title":"Specifying an expert system","volume":"2","author":"Batarekh","year":"1991","journal-title":"Expert Syst. Appl."},{"issue":"2","key":"10.1016\/S0167-9236(97)00046-8_BIB23","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0957-4174(94)90034-5","article-title":"State of the art in automated validation of knowledge-based systems","volume":"7","author":"Zlatareva","year":"1994","journal-title":"Expert Syst. Appl."},{"issue":"3","key":"10.1016\/S0167-9236(97)00046-8_BIB24","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/0957-4174(92)90008-G","article-title":"Expert systems designed for maintenance","volume":"5","author":"Debenham","year":"1992","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB25","unstructured":"Steven A. Wells, The VIVA method: a life-cycle independent approach to KBS validation, in: Proceedings of the AAAI Workshop on Validation and Verification of Knowledge-Based Systems, Washington, DC, July 1993, pp. 109\u2013113."},{"issue":"3","key":"10.1016\/S0167-9236(97)00046-8_BIB26","first-page":"357","article-title":"Using paper models in validation, verification and testing","volume":"6","author":"Long","year":"1993","journal-title":"Int. J. Expert Syst."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB27","unstructured":"P.G. Chander, T. Radhakrishnan, R. Shinghal, Design schemes for rule-based systems, International Journal of Expert Systems: Research and Applications, November 1996, In press."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB28","unstructured":"Prabhakar Gokul Chander, On the design and evaluation of rule-based systems, PhD thesis, Department of Computer Science, Concordia University, Montreal, May 1996."},{"issue":"2","key":"10.1016\/S0167-9236(97)00046-8_BIB29","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1145\/128894.128896","article-title":"Structural testing of rule-based expert systems","volume":"1","author":"Kiper","year":"1992","journal-title":"ACM Trans. Software Eng. Meth."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB30","unstructured":"Daniel E. O'Leary, Inference engine greediness and subsumption of conditions in rule-based systems, in: Notes of the Workshop on Verification and Validation of Knowledge-Based Systems, Fourteenth International Joint Conference on Artificial Intelligence, Montreal, Canada, August 1995, pp. 42\u201348."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB31","unstructured":"T.A. Nguyen, Verifying consistency of production systems, in: Proceedings of the 3rd Conference on Artificial Intelligence Applications, Washington, DC, Spring 1987, pp. 4\u20138."},{"issue":"3","key":"10.1016\/S0167-9236(97)00046-8_BIB32","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/64.215225","article-title":"UVT: a unification-based tool for knowledge base verification","volume":"8","author":"Polat","year":"1993","journal-title":"IEEE Expert"},{"issue":"4","key":"10.1016\/S0167-9236(97)00046-8_BIB33","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 Syst."},{"key":"10.1016\/S0167-9236(97)00046-8_BIB34","unstructured":"Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli, Fundamentals of Software Engineering, Prentice-Hall, New York, 1991."}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923697000468?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923697000468?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T19:18:08Z","timestamp":1733339888000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167923697000468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["S0167923697000468"],"URL":"https:\/\/doi.org\/10.1016\/s0167-9236(97)00046-8","relation":{},"ISSN":["0167-9236"],"issn-type":[{"type":"print","value":"0167-9236"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}