𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model-based verification of knowledge-based systems: a case study

✍ Scribed by Marcos, M.; del Pobil, A.P.; Moisan, S.

Book ID
118683759
Publisher
The Institution of Electrical Engineers
Year
2000
Tongue
English
Weight
565 KB
Volume
147
Category
Article
ISSN
1462-5970

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Evaluation of verification tools for kno
Evaluation of verification tools for knowledge-based systems
✍ ALUN D. PREECE; STΓ‰PHANE TALBOT; LAURENCE VIGNOLLET πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 330 KB

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but non