Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do validation and verification in terms of a more abstract and formal specification of the system. However, constructing such formal specifications is a difficult task. This paper proposes the use of formal specification languages for KBS-development that are closely based on the structure of informal knowledge-models. The use of such formal languages has as advantages that (i) we can give strong support for the construction of a formal specification, namely on the basis of the informal description of the system; and (ii) we can use the structural correspondence to verify that the formal specification does indeed capture the informally stated requirements. This paper has been submitted to the Journal of Human Computer Studies (formerly the Journal of Man Machine Studies)....
|
1539
|
Object-Oriented Modeling and Design
– Rumbaugh, Blaha, et al.
- 1991
|
|
998
|
An axiomatic basis for computer programming
– Hoare
- 1969
|
|
641
|
Dynamic Logic
– Harel
- 1984
|
|
150
|
Components of expertise
– Steels
- 1990
|
|
93
|
An international survey of industrial applications of formal methods
– Craigen, Gerhart, et al.
- 1993
|
|
73
|
A comparison of languages which operationalise and formalise KADS models of expertise
– Fensel, Harmelen
- 1994
|
|
58
|
Problem Solving Methods for Diagnosis
– Benjamins
- 1993
|
|
36
|
ML) : a formal language for KADS models of expertise
– Harmelen, Balder
- 1992
|
|
33
|
Generic tasks in knowledge based reasoning: High level building blocks for expert system design
– Chandrasekaran
- 1986
|
|
31
|
ML) 2 : a formal language for KADS models of expertise
– Harmelen, Balder
- 1992
|
|
29
|
Formal Methods in Knowledge Engineering
– Aben
- 1995
|
|
27
|
Principles and Practice in Verifying Rule-based Systems The Knowledge Engineering Review
– Preece
- 1992
|
|
19
|
de Velde, editors. The CommonKADS Library for Expertise Modelling
– Breuker, Van
- 1994
|
|
16
|
Multi-context Systems as a Specification framework for Complex Reasoning Systems
– Giunchiglia, Traverso, et al.
- 1993
|
|
14
|
Yet Another Formalisation of KADS Conceptual Models
– Jonker, Spee
|
|
13
|
Definable naming relations in meta-level systems
– Harmelen
- 1992
|
|
12
|
Treur: A Compositional Architecture for Simple Design Formally Specified in DESIRE
– Langevelde, Philipsen, et al.
- 1993
|
|
11
|
Drouven: MODEL-K: Prototyping at the Knowledge Level
– Karbach, Vo, et al.
|
|
11
|
First-order logic foundation of the KADS conceptual model
– Wetter
- 1990
|
|
10
|
On the soundness and safety of expert systems
– Fox
- 1993
|
|
10
|
Operationalizing models of expertise
– Schreiber, Wielinga, et al.
- 1993
|
|
9
|
Models, methods, roles and tasks: Many labels - one idea?. Knowledge Acquisition 2(4):279
– Karbach, Linster, et al.
- 1990
|
|
8
|
A KADS/(ML) Model of a Scheduling Task
– Balder, Harmelen, et al.
|
|
8
|
W.: Using Models of Problem Solving as Bias in Automated Knowledge Acquisition
– Dompseler, Someren
- 1994
|
|
7
|
On a role of problem solving methods in knowledge acquisition -- experiments with diagnostic strategies
– BENJAMINS
- 1994
|
|
4
|
TheMe: An Environment for Building Formal KADS-II Models of Expertise
– Balder, Akkermans
- 1992
|
|
3
|
Support for the formalisation and validation of KADS expertise models
– Aben, Balder, et al.
- 1994
|
|
3
|
Knowledge representation and acquisition language (KARL
– Fensel, Angele, et al.
- 1991
|
|
3
|
On the terminology of VVT
– Hoppe, Meseguer
- 1991
|
|
3
|
Overview of current practice and research initiatives of the verification and validation
– Lydiard
- 1992
|
|
2
|
de Plassche. Evaluating a formal specification language
– Ruiz, Harmelen, et al.
- 1994
|
|
2
|
Using models of problem solving as bias in automated knowledge acquisition
– Dompseler, Someren
- 1994
|
|
2
|
Knowledge-based Systems: Verification and Validation
– Vermesan
- 1997
|
|
2
|
A Formally-Based Methodology for Deriving Verifiable Expert Systems from Specifications
– Vermesan, Wergeland
- 1994
|
|
1
|
t Holt. Modelling of visual perception for a recognition task in noise analysis
– van
- 1993
|
|
1
|
Knowledge acquisition, modelling and formalisation for METEODES
– Wols
- 1993
|
|
1
|
Angi Voß. Models, methods, roles and tasks: Many labels - one idea
– Karbach, Linster
- 1990
|
|
1
|
Expert system verification and validation. Working Paper 92/1994
– Vermesan, Wergeland
- 1994
|
|
