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 条

[21] KNOWLEDGE AND DEVELOPING KNOWLEDGE-BASED SYSTEMS
Radut, Carmen
Tenovici, Cristina
Turmacu, Mihaela
[J]. 16TH INTERNATIONAL CONFERENCE THE KNOWLEDGE-BASED ORGANIZATION: ECONOMIC, SOCIAL AND ADMINISTRATIVE APPROACHES TO THE KNOWLEDGE-BASED ORGANIZATION, CONFERENCE PROCEEDINGS 2, 2010, : 435 - 438
[22] KNOWLEDGE ACQUISITION FOR KNOWLEDGE-BASED SYSTEMS
MOTODA, H
MIZOGUCHI, R
BOOSE, J
GAINES, B
[J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1991, 6 (04): : 53 - 64
[23] CL - A FLEXIBLE AND EFFICIENT TOOL FOR CONSTRUCTING KNOWLEDGE-BASED EXPERT SYSTEMS
WATANABE, M
YAMANOUCHI, T
IWAMOTO, M
USHIODA, Y
[J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1989, 4 (03): : 41 - 50
[24] KNOWLEDGE-BASED HAND TOOL SELECTION IN CONCURRENT DESIGN OF MECHANICAL SYSTEMS
YETUKURI, NV
VUJOSEVIC, R
[J]. JOURNAL OF INTELLIGENT MANUFACTURING, 1995, 6 (03) : 203 - 214
[25] Fuzzy Petri net tool for modeling and verification of knowledge-based systems
[J]. Koriem, Samir M., 1600, Oxford Univ Press, Oxford, United Kingdom (43):
[26] A fuzzy Petri net tool for modeling and verification of knowledge-based systems
Koriem, SM
[J]. COMPUTER JOURNAL, 2000, 43 (03): : 206 - 223
[27] Visiplan: A knowledge-based modelling tool
Sepulveda, M
Nussbaum, M
Levys, P
[J]. IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 1996, 143 (01): : 73 - 84
[28] PROSPEX - A KNOWLEDGE-BASED CASE TOOL
HAKKARAINEN, K
IHME, T
METCALFE, M
[J]. SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 255 - 266
[29] Advanced patient management using knowledge-based systems
Schaldach, M
Diem, B
Hanrath, P
Mlynski, M
Lang, V
Ameling, W
[J]. CARDIAC ARRHYTHMIAS 2001, 2002, : 549 - 555
[30] USING KNOWLEDGE-BASED SYSTEMS FOR STRATEGIC MARKET ASSESSMENT
LIBERATORE, MJ
STYLIANOU, AC
[J]. INFORMATION & MANAGEMENT, 1994, 27 (04) : 221 - 232

← 1 2 3 4 5 →