𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the validation and verification of production systems: a graph reduction approach

✍ Scribed by Stephen Murrell; Robert Plant

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
294 KB
Volume
44
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture , and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems . The paper improves on the traditional sequential approaches to the development of knowledge-based systems and the limited validation and verification techniques that are applicable . This is contrasted with a graph reduction implementation of knowledge-based systems development based on an ALICE-like machine . The advantages of this style of programming in relation to systems development and program correctness are discussed . The paper shows that significant benefits could potentially be achieved through the use of graph-reduction techniques in the development of these systems .

πŸ“œ SIMILAR VOLUMES

The effect of reduction in cross-validat
The effect of reduction in cross-validation intervals on the performance of multifactor dimensionality reduction
✍ Alison A. Motsinger; Marylyn D. Ritchie πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 203 KB πŸ‘ 1 views

## Abstract Multifactor Dimensionality Reduction (MDR) was developed to detect genetic polymorphisms that present an increased risk of disease. Cross‐validation (CV) is an important part of the MDR algorithm, as it prevents over‐fitting and allows the predictive ability of a model to be evaluated.

Validation of the LES approach in Kiva-3
Validation of the LES approach in Kiva-3V on a square duct geometry
✍ V. Huijnen; L. M. T. Somers; R. S. G. Baert; L. P. H. de Goey πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 250 KB

## Abstract The LES approach implemented in the Kiva‐3V code is evaluated on the fully developed flow through a rectangular duct of square cross section. The Reynolds number based on the bulk velocity and duct width is 8000. The number of grid nodes is 96000. Three subgrid‐scale models are compared

On the Universality and Contributions of
On the Universality and Contributions of Multiple Criteria Decision Making: A Systems-Based Approach
✍ Yacov Y. Haimes πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 306 KB

## ABSTRACT This paper highlights the omnipresence of the philosophy, theory, methodology and deployment of multiple criteria decision making (MCDM) in essentially every aspect of our lives. It also highlights the specific philosophical, theoretical, methodological, and deployment perspectives that