𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A unification-based approach for knowledge base verification

✍ Scribed by Faruk Polat; H. Altay Guvenir

Book ID
111060213
Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
914 KB
Volume
8
Category
Article
ISSN
0266-4720

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Verification and correctness issues for
Verification and correctness issues for nonmonotonic knowledge bases
✍ Grigoris Antoniou πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 147 KB

Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has bee

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