A refinement framework to support validation and maintenance of knowledge-based systems

被引：0

作者：

Zlatareva, NP ^{[1
]}

机构：

[1] Cent Connecticut State Univ, Dept Comp Sci, New Britain, CT 06050 USA

来源：

4TH WORLD CONGRESS OF EXPERT SYSTEMS, VOL 1 AND 2: APPLICATION OF ADVANCED INFORMATION TECHNOLOGIES | 1998年

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper, we show that refinement tasks involved in Knowledge-Based Systems (KBSs) maintenance are similar to those taking place at the development stage, and thus a uniform refinement framework can be designed to support knowledge base validation and maintenance. After defining refinement tasks required at different stages of KBS life cycle, we outline a refinement framework capable of supporting them. An extended example is given to illustrate different aspects of the proposed refinement framework.

引用

页码：367 / 374

页数：8

共 50 条

[31] Processing knowledge to support knowledge-based engineering systems specification [J].

Ammar-Khodja, Samar ;

Perry, Nicolas ;

Bernard, Alain .

CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2008, 16 (01) :89-101

[32] Validation of knowledge-based systems by means of stochastic search [J].

Brisoux, L ;

Gregoire, E ;

Sais, L .

NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, :41-46

[33] EUROPEAN VERIFICATION AND VALIDATION OF KNOWLEDGE-BASED SYSTEMS - PREFACE [J].

CARDENOSA, J .

EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) :321-322

[34] Verification and validation of knowledge-based systems with formal specifications [J].

Meseguer, P ;

Preece, AD .

KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04) :331-343

[35] 2 ASPECTS OF THE VALIDATION AND VERIFICATION OF KNOWLEDGE-BASED SYSTEMS [J].

BENCHCAPON, T ;

COENEN, F ;

NWANA, H ;

PATON, R ;

SHAVE, M .

IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (03) :76-81

[36] SYNERGISTIC VALIDATION METHODOLOGY FOR KNOWLEDGE-BASED ENGINEERING SYSTEMS [J].

Tanik, U. .

JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, 2010, 14 (04) :1-24

[37] Synergistic validation methodology for knowledge-based engineering systems [J].

Tanik, U. John .

Journal of Integrated Design and Process Science, 2010, 14 (04) :1-24

[38] Knowledge-based/expert systems technology in life support systems [J].

Liebowitz, J .

KYBERNETES, 1997, 26 (4-5) :555-&

[39] VALIDATION OF KNOWLEDGE-BASED SYSTEMS - CURRENT TRENDS AND ISSUES [J].

PREECE, AD .

KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (01) :69-71

[40] The role of ontologies in the verification and validation of knowledge-based systems [J].

Bench-Capon, TJM .

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (03) :377-390

← 1 2 3 4 5 →