The Conundrum of Verification and Validation of Social Science-based Models
β Scribed by Hahn, Heidi Ann
- Book ID
- 123533193
- Publisher
- Elsevier
- Year
- 2013
- Tongue
- English
- Weight
- 342 KB
- Volume
- 16
- Category
- Article
- ISSN
- 1877-0509
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
Knowledge-base V&V primarily addresses the question: ``Does my knowledge-base contain the right answer and can I arrive at it?'' One of the main goals of our work is to properly encapsulate the knowledge representation and allow the expert to work with manageable-sized chunks of the knowledge-base.
An overview of the general considerations underlying the selection of mathematical models and the methods used for estimation and control of the associated errors and the requisite technical capabilities are presented. An example that illustrates the main points of the paper is presented.