TY - JOUR
T1 - Structure preserving specification languages for knowledge-based systems
AU - van Harmelen, F.A.H.
AU - Aben, M.
PY - 1996/2
Y1 - 1996/2
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0001247602&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0001247602&partnerID=8YFLogxK
U2 - 10.1006/ijhc.1996.0010
DO - 10.1006/ijhc.1996.0010
M3 - Article
AN - SCOPUS:0001247602
SN - 1071-5819
VL - 44
SP - 187
EP - 212
JO - International Journal of Human-computer Studies
JF - International Journal of Human-computer Studies
IS - 2
ER -