𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Knowledge-based systems in computer-assisted production — a review

✍ Scribed by K.-P. Fähnrich; G. Groh; M. Thines


Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
885 KB
Volume
2
Category
Article
ISSN
0950-7051

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


KJ3—a tool assisting formal validation o
✍ CHIH-HUNG WU; SHIE-JUE LEE 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 783 KB

This paper presents the design and implementation of KJ3 (Knowledge Judgment, version 3) which is an assisting tool for formal validation of knowledge-based systems (KBSs). The KJ3 project is motivated by two main obstacles to knowledge validation, the lack of a uniform representation and a comprehe