𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification and validation with ripple-down rules

✍ Scribed by Byeong Ho Kang; Windy Gambetta; Paul Compton


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

No coin nor oath required. For personal study only.

✦ Synopsis


Verification to ensure a system's consistency and validation to meet the user's criteria are essential elements in developing knowledge-based systems for real world use . The normal practice is that there will be initial knowledge acquisition attempting to build a complete system which will (should) then be verified and validated . There may be a cycle through these steps till the system is complete .

Maintenance is seen as a minor problem requiring the occasional repetition of the three stage process . The implicit assumption is that an expert has complete knowledge and that by a suitable knowledge acquisition process this is acquired . In fact , it seems rather than experts are incapable of recounting how they reach a conclusion . Rather , when asked a question they justify that their conclusion is correct and their justification is tailored to the specific context of the inquiry . Experts are best at justifying why one conclusion is to be preferred over another .

This leads to a knowledge acquisition methodology , Ripple-down Rules , in which the knowledge base undergoes on-going development based on correcting errors .


πŸ“œ SIMILAR VOLUMES


Experience with Ripple-Down Rules
✍ P. Compton; L. Peters; G. Edwards; T.G. Lavers πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 665 KB
Taking up the situated cognition challen
✍ DEBBIE RICHARDS; PAUL COMPTON πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 813 KB

Situated cognition poses a challenge that requires a paradigm shift in the way we build symbolic knowledge-based systems. Current approaches require complex analysis and modelling and the intervention of a knowledge engineer. They rely on building knowledge-level models which often result in static