VERIFYING KNOWLEDGE-BASED SYSTEMS USING THE COVER TOOL

被引：0

作者：

PREECE, AD ^{[1
]}

BELL, RD ^{[1
]}

SUEN, CY ^{[1
]}

机构：

[1] BELL CANADA, NETWORK OPERAT, LONDON N6A 4L6, ON, CANADA

来源：

IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 14卷

关键词：

ARTIFICIAL INTELLIGENCE APPLICATIONS AND EXPERT SYSTEMS;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Knowledge-based systems (KBS) are complex software systems; they must be evaluated thoroughly to ensure their reliability. Many faults in KBS can be revealed by checking for logical anomalies in the knowledge bases of these systems. Such anomalies include redundant, conflicting or missing knowledge, and can be detected automatically and efficiently by a knowledge base verification tool. This paper describes the COVER knowledge base verification tool, emphasizing those features which are designed to make COVER practical for use in real-world KBS projects. Use of COVER is illustrated by examples from the verification of a large KBS for telephone switch maintenance.

引用

页码：231 / 237

页数：7

共 50 条

[1] Verifying and validating specification of knowledge-based systems
Torres, L
Frydman, C
[J]. ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 83 - 87
[2] Verifying ontological commitment in knowledge-based systems
Waterson, A
Preece, A
[J]. KNOWLEDGE-BASED SYSTEMS, 1999, 12 (1-2) : 45 - 54
[3] Coverage: Verifying multiple-agent knowledge-based systems
Preece, A
[J]. KNOWLEDGE-BASED SYSTEMS, 1999, 12 (1-2) : 37 - 44
[4] Knowledge-Based Systems: A Tool for Distance Education
Salcedo L, Pedro
Angelica Pinninghoff J, M.
Contreras A, Ricardo
[J]. METHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I: A HOMAGE TO PROFESSOR MIRA'S SCIENTIFIC LEGACY, 2009, 5601 : 87 - +
[5] A knowledge-based tool for generating and verifying hardware-ready embedded memory models
Cheng, Paul Pao-Fang
[J]. ISQED 2008: PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2008, : 456 - 459
[6] USING KNOWLEDGE-BASED SYSTEMS BY THE LICENSER
WEBER, K
DRECHSEL, B
[J]. CHEMISCHE TECHNIK, 1991, 43 (11-12): : 397 - 401
[7] Verifying and validating Task/Method Knowledge-Based Systems designed with Conceptual Graphs
Leclère, M
Trichet, F
[J]. IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 753 - 759
[8] KNOWLEDGE-BASED TOOL FOR MANUFACTURING SYSTEMS-DESIGN
ELORANTA, E
SYRJANEN, M
TORMA, S
[J]. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1990, 3 (03): : 163 - 170
[9] A Knowledge-based Method for Verifying the Reliability of Clinical DSSs
Cesario, Eugenio
Esposito, Massimo
[J]. 8TH INTERNATIONAL CONFERENCE ON SIGNAL IMAGE TECHNOLOGY & INTERNET BASED SYSTEMS (SITIS 2012), 2012, : 489 - 495
[10] DESIGN OF KNOWLEDGE-BASED SYSTEMS WITH A KNOWLEDGE-BASED ASSISTANT
SCHOEN, E
SMITH, RG
BUCHANAN, BG
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (12) : 1771 - 1791

← 1 2 3 4 5 →