Ayel, M. and Laurent, J.P. (eds) (1991) Validation, Verification and Test of Knowledge-based Systems, John Wiley & Sons, England. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Algebraic Approach to Refinement of KBS Specification - Vermesan, Meldal (1995) (1 citation) (Correct)
....formal argument that system requirements, class specifications and classes are connected by a series of refinements. 1. Introduction The notion of safety, reliability and correctness has led to extensive research in the area of Verification and Validation (V V) of Knowledge Based Systems (KBSs) [Ayel and Laurent, 1991; Meseguer, 1992; Preece et al. 1992; Roman et al. 1993; Rousset, 1994] The current state of the art in V V of KBS and the underlying theoretical foundation have primarily considered rule based systems, partly because much of the knowledge is or can be formalized in mathematical or logical ....
Ayel, M. and Laurent, J.P. (eds) (1991) Validation, Verification and Test of Knowledge-based Systems, John Wiley & Sons, England.
Formal Methods in Knowledge Engineering - van Harmelen, Fensel (1995) (2 citations) (Correct)
....is the use of these specification languages for validation and verification. This defines a strong link to work done in program verification (see [18, 28] for a survey and [38] for an approach using theorem proving in dynamic logic) and to work done in validating and verifying KBS (cf. [6, 53]) Until now, most of the work in validating and verifying knowledge based systems is focused on specific implementation formalisms but this could change now as these techniques can be applied to conceptual models when these models are supplemented by a formal language and semantics. Furthermore, ....
M. Ayel and J.-P. Laurent (eds.). Validation, Verification and test of knowledge-based system. John Wiley & Sons, Chicester, 1991.
Knowledge Level Reflection - Slodzian (1994) (Correct)
....ffl Fills roles returns the set of roles that a given model fills 4 Verification of designs As knowledge level designs grow, tracking inconsistencies becomes an increasingly tedious task. This task is usually decomposed in validation, verification and evaluation of the knowledge system [Ayel and Laurent, 1991], Hoppe and Meseguer, 1991] Meseguer, 1992] Wielinga et al. 1993] All are typical meta level operations, usually performed by the designer and for which at least partial automation is possible. This section focuses on verification of knowledge level projects, this means checking a system ....
Ayel, M. and Laurent, J. P. (1991). Validation, verification and Test of Knowledge Based Systems. John Wiley & Sons, Chichester, England.
Annotated Bibliography on Research Methodologies - Reich (1994) (Correct)
....users. This situation differs from the needs driving the development of regular information systems through prototyping. Chu and Elam, 1990) This paper demonstrates that the utilization of computer tools can restrict decision making as compared to making decisions without computer aids. ffl (Ayel and Laurent, 1991) This edited volume includes chapters on general issues of verification and validation of expert systems including mainly an elaboration on ensuring the logical structure of expert systems. Adelman, 1991) This papers provides an excellent tutorial overview on three methods for evaluating expert ....
Ayel, M. and Laurent, J.-P., editors (1991). Validation, Verification and Test of Knowledge-based Systems, John Wiley & Sons, New York, NY.
Validation and Verification of Conceptual Models of Diagnosis - van Harmelen, Teije (1997) (3 citations) Self-citation (Validation) (Correct)
....conceptual model of the system. We illustrate our approach by investigating the taskspecific properties of a conceptual model for a wide class of diagnostic systems. 1 Introduction 1. 1 Motivation Much of the current work on V V of knowledge based systems (see e.g. Lydiard, 1992, Ayel (eds. 1991, Hamilton Kelly, 1991] for some collections) has the following characteristics: Firstly, it is aimed at verifying properties of the implementation of a KBS (e.g. in rules or frames) Secondly it verifies properties which are independent of the particular task of the KBS (e.g. loop freeness of ....
M. Ayel and J.-P. Laurent (eds.). Validation, Verification and test of knowledge-based system. John Wiley & Sons, Chicester, 1991.
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