𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Knowledge-based tools for batch processing systems

✍ Scribed by M. Hofmeister; L. Halasz; D.W.T. Rippin

Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
879 KB
Volume
13
Category
Article
ISSN
0098-1354

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

Maintenance tools for knowledge-based sy
Maintenance tools for knowledge-based systems: the MAKE project
✍ Trevor Bench-Capon; Frans Coenen πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 652 KB

AImtmct--One of the major obstacles to the routine exploitation of knowledge-based and expert systems, is the difficulty of validating the knowledge base, and of maimaining it in a state which reflects current knowledge. This is of particular importance for systems based on law or regulations, where