𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the consistency of knowledge bases: the COVADIS system

✍ Scribed by Marie-Christine Rousset


Book ID
110983799
Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
528 KB
Volume
4
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A method for checking and restoring the
✍ StΓ©phane Loiseau πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 567 KB

The arrival of knowledge-based systems in industrial sectors requires specific software engineering, sometimes known as knowledge engineering. A good criterion to validate a knowledge-based system is to check its consistency. In this paper, a distinction between sure and heuristic knowledge is propo