✦ LIBER ✦

Knowledge-based systems verification: A machine learning-based approach

✍ Scribed by Hakim Lounis

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 691 KB
Volume: 8
Category: Article
ISSN: 0957-4174
DOI: 10.1016/0957-4174(94)e0029-t

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Knowledge-based man-machine systems

✍ Setsuo Ohsuga 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 776 KB

A new method of increase user gain in man-machine interaction is discussed. In particular, attention is directed to describing a model in the computer. An intelligent system provided with the knowledge base and the inference mechanism is proposed for the purpose, whereby illustration is given of the

An approach to the dynamic verification

An approach to the dynamic verification of knowledge-based systems

✍ Keinosuke Matsumoto; Tomihiro Takano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

Verification of multiple agent knowledge

Verification of multiple agent knowledge-based systems

✍ Daniel E. O'Leary 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB 👁 2 views

Knowledge based approach to machine cell

Knowledge based approach to machine cell layout

✍ Sunderesh S. Heragu 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 415 KB

ViVa: A systematic approach to verificat

ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems

✍ Erik Hollnagel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 569 KB

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