P. Meseguer, and Verdaguer, A., Verification of Multi-level rule-based expert systems: theory and practice. Int. J. of Expert Systems, vol. 6, 1993, pp. 163-192.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....1 Introduction With the widespread use of knowledge in some form of representation, the need for verification of knowledge has become more important. In situations where knowledge based systems support or even replace people, reliability and correct performance are of major importance; e.g. [20], 37] An automatic verifier can serve as a very useful tool during the development of a (knowledge based) system. It makes it possible to check the knowledge, prior to testing by identifying, for example, inconsistency, incorrectness, redundancy, and missing knowledge, thus supporting the ....

....impossible to guarantee that a knowledge base is completely debugged. Recently a number of approaches to verification of knowledge based systems have been developed that take into account some form of structuring of the knowledge base or the task structure of the system; e.g. 4] 7] 8] 11] [20], 27] In general, these approaches make 42 use of knowledge bases as building blocks and concentrate on the way in which they are processed in combination to achieve the system s task. An interesting area of further research is to investigate how the semantical approach to knowledge base ....

P. Meseguer, and Verdaguer, A., Verification of Multi-level rule-based expert systems: theory and practice. Int. J. of Expert Systems, vol. 6, 1993, pp. 163-192.

....So the major work of verification is to check the properties within and between objects. The verificatioa of logical methods such as redundancy, inconsistency and circularity are not discussed here because they are similar to production rules, on which much work was performed in recent years [ 14]. In the following, we discuss several properties of logical objects in terms of the operational interpretation, supposing that O, G, respectively, denote an object and a formula. 6.1. Uncircularity A set of objects in a specification is said to be circular if there exists a sequence of the ....

P. Meseguer and A. Verdaguer, Verification of multi-level rule-based expert systems: theory and practice, International Journal of Expert Systems: Research and Applications 6 (2) (1993) 163-192.

....that their union is consistent. The redundancy is detected by examining the contribution of every rule r that obtains h, for every deducible fact h. When the contribution of r is null or implies the contribution of other rules, r is redundant and it may be removed. Meseguer et al. Meseguer 92] Meseguer 93] also use the ATMS to verify a multi level rule based expert system, specifically the PNEUMON IA expert system. With the algorithms developed in the following sections, we try to give a more general view of the usefulness of ATMS for validating a KB. At the same time, we try to particularize in ....

Meseguer, P., Verdaguer, A. Verification of multi-level rule-based expert systems: Theory and practice. International Journal of Expert Systems, 6, (2), 1993, 163-192.

....the results are coming out of the system. Despite the importance of validation, the majority of V V literature is solely concerned with verification, specifically automatic rule based error checking. This aspect of V V has now become reasonably mature [27] and many such automated tools exist [20, 21, 26, 36, 18, 25]. This automation is often built into the system so that verification is continually addressed throughout knowledge base construction to ensure a quality final product. Testing, including validation, is best done throughout the entire development of the knowledge base. Incremental testing can aid ....

Meseguer, P. and A. Verdaguer. "Verification of Multi-level Rule-based Expert Systems: Theory and Practice," International Journal of Expert Systems, 6 :163--192 (1993).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC