๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An integrative model of expert system verification and validation

โœ Scribed by Robert M. O'Keefe; Sunro Lee

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
598 KB
Volume
1
Category
Article
ISSN
0957-4174

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Validation of an accounting expert syste
Validation of an accounting expert system for business combinations
โœ R.Steve Mc Duffie; L. Murphy Smith; Steven M. Flory ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 898 KB

This article presents the five stages involved in the construction of a knowledge-based system using VP-EXPERT, with emphasis on the final step, knowledge validation. The knowledgebased system, called PURPOOL, enables the user to determine the proper accounting treatment for a business combination.

Verification and validation of the SACHE
Verification and validation of the SACHEM conceptual model
โœ M. LE GOC; C. FRYDMAN; L. TORRES ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 611 KB

We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operational