{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T17:42:38Z","timestamp":1648748558011},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1996,12]]},"abstract":"<jats:p> The reliability of knowledge-based systems (KBSs) has been the subject of a great deal of recent research. Much of this research focuses on the verification of KBSs, specifically to eliminate redundant rules, conflicting rules, and to ensure that the KBS is complete. Often, verification is approached by testing the structural properties of the KBS after the rules have been defined. In this paper we take a different approach and show how the process of formal program derivation from software engineering can be applied to KBSs. The use of these techniques eliminates the need for post-development verification because program derivation guarantees that the KBS will not contain redundant rules, conflicting rules, or be incomplete. As such, verification concerns are addressed during development. <\/jats:p>","DOI":"10.1142\/s0218194096000272","type":"journal-article","created":{"date-parts":[[2004,9,6]],"date-time":"2004-09-06T07:50:09Z","timestamp":1094457009000},"page":"673-697","source":"Crossref","is-referenced-by-count":2,"title":["ELIMINATING REDUNDANCY, CONFLICT, AND INCOMPLETENESS FROM KNOWLEDGE-BASED SYSTEMS"],"prefix":"10.1142","volume":"06","author":[{"given":"ROSE F.","family":"GAMBLE","sequence":"first","affiliation":[{"name":"Department of Mathematical and Computer Sciences University of Tulsa, 600 South College Avenue Tulsa, OK 74104\u20133189, USA"}]},{"given":"TERESA M.","family":"SHAFT","sequence":"additional","affiliation":[{"name":"Department of Quantitative Methods and Management Information Systems University of Tulsa, 600 South College Avenue Tulsa, OK 74104\u20133189, USA"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194096000272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:37:44Z","timestamp":1565127464000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194096000272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1996,12]]}},"alternative-id":["10.1142\/S0218194096000272"],"URL":"https:\/\/doi.org\/10.1142\/s0218194096000272","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}