Model-based verification of knowledge-based systems: A case study

被引：2

作者：

Marcos, M. ^{[1
]}

del Pobil, A.P. ^{[1
]}

Moisan, S. ^{[1
]}

机构：

[1] Universitat Jaume I., Castellon, Spain

来源：

IEE Proceedings: Software | 2000年 / 147卷 / 05期

关键词：

D O I：

10.1049/ip-sen:20000896

中图分类号：

学科分类号：

摘要：

引用

页码：163 / 168

共 50 条

[31] KNOWLEDGE-BASED AND MODEL-BASED AUTOMATIC TARGET RECOGNITION ALGORITHM ADAPTATION
SADJADI, FA
NASR, H
AMEHDI, H
BAZAKOS, M
OPTICAL ENGINEERING, 1991, 30 (02) : 183 - 188
[32] DESIGN OF KNOWLEDGE-BASED SYSTEMS WITH A KNOWLEDGE-BASED ASSISTANT
SCHOEN, E
SMITH, RG
BUCHANAN, BG
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (12) : 1771 - 1791
[33] A KNOWLEDGE REPRESENTATION MODEL FOR MULTIUSER KNOWLEDGE-BASED SYSTEMS
BASU, A
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (02) : 177 - 189
[34] Meeting the need for knowledge management in schools with knowledge-based systems - A case study
Edman, A
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 403 - 409
[35] Model-Based Design and Verification of Reactive Systems
Hysek, Jiri
Ceska, Milan
Janousek, Vladimir
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 865 - 872
[36] Model-based verification in the development of dependable systems
Aredo, DB
Owe, O
ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 2, 2005, : 327 - 334
[37] Introduction: Eighth Workshop on the Validation and Verification of Knowledge-Based Systems
Gamble, R
DECISION SUPPORT SYSTEMS, 1997, 21 (04) : 229 - 230
[38] THE FORMALIZATION OF KNOWLEDGE-BASED SYSTEMS VALIDATION AND VERIFICATION - PROMISES AND PITFALLS
HOLLNAGEL, E
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 14 : 220 - 230
[39] Verification of knowledge-based systems using predicate/transition nets
Shen, Victor R. L.
Juang, Tony Tong-Ying
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (01): : 78 - 87
[40] Perspective on the use of knowledge-based systems, model-based diagnosis, and interactive multimedia technology in health care
Horn, Werner
1994,

← 1 2 3 4 5 →