𝔖 Bobbio Scriptorium
✦   LIBER   ✦

EXMAS—Knowledge based system for maintenance of complex mechanical systems

✍ Scribed by V.R. Milaǐcć; V.D. Majstorović

Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
460 KB
Volume
3
Category
Article
ISSN
0736-5845

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

The complexity of achievement and mainte
The complexity of achievement and maintenance problems in agent-based systems
✍ Iain A. Stewart 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 167 KB

We completely classify the computational complexity of the basic achievement and maintenance agent design problems in bounded environments when these problems are parameterized by the number of environment states and the number of agent actions. The different problems are P-complete, NP-complete, co