𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A method for checking and restoring the consistency of knowledge bases

✍ Scribed by Stéphane Loiseau

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
567 KB
Volume
40
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

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 proposed. These two kinds of knowledge can be expressed in a single formalism. A powerful criterion of consistency for knowledge bases, based on this differentiation, is presented and formally expressed. The reasons why a knowledge base can be inconsistent are studied, and formally expressed. We present the COCO system, which checks knowledge bases. Then, we present the (\mathrm{X}) system, which helps restore the consistency of an inconsistent knowledge base. The COCO-X system, which enables the expert to refine (check and restore) knowledge bases, is described.

📜 SIMILAR VOLUMES

A method for checking the registration o
A method for checking the registration of contact B-scanners
✍ A. J. Hall; J. E. E. Fleming 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 348 KB

## Abstract The use of an ultrasonic delay line and mechanical arm as a means of checking the registration of contact B‐scanners is described. The principle of operation is applicable to any make of equipment. The amount of misregistration can be assessed, and discontinuities or departures from the

Static and completion analysis for knowl
Static and completion analysis for knowledge acquisition, validation and maintenance of planning knowledge bases
✍ STEVE A. CHIEN 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 301 KB

A key obstacle hampering the fielding of AI planning applications is the considerable expense of developing, verifying, updating and maintaining the planning knowledge base (KB). Planning systems must be able to compare favorably in terms of software lifecycle costs to other means of automation such

The knowledge matrix: a participatory me
The knowledge matrix: a participatory method for individual knowledge gap determination
✍ B. van Daal; M. de Haas; M. Weggeman 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB 👁 1 views

It has been suggested that in the West and Japan the labor production factor is increasingly being replaced by the production factor knowledge. Knowledge is a person's capacity to carry out a particular task. It is thought to be composed of codified knowledge (information) and tacit knowledge which