Structure-preserving specification languages for knowledge-based systems. Van Harmelen, F. & Aben, M. International Journal of Human-computer Studies, 44(2):187–212, Academic Press Inc., 2, 1996. doi abstract bibtex 1 download 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.
@article{daf4c16d543c4ce0aec82cc5f52ece68,
title = "Structure-preserving specification languages for knowledge-based systems",
abstract = "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.",
author = "{Van Harmelen}, Frank and Manfred Aben",
year = "1996",
month = "2",
doi = "10.1006/ijhc.1996.0010",
volume = "44",
pages = "187--212",
journal = "International Journal of Human-computer Studies",
issn = "1071-5819",
publisher = "Academic Press Inc.",
number = "2",
}
Downloads: 1
{"_id":{"_str":"53425cb30e946d920a000bc1"},"__v":156,"authorIDs":["3obmQ57ktWcYPG9dJ","54573d5e2abc8e9f370001f6","5de727fb97054edf010000c1","5dea103bfac96fde01000184","5deb5f460ff3bbdf010000d1","5deba5e19abf64df01000061","5def85b045114dde010000d9","5df1db001070c8ef01000133","5df2d9b379c00ade01000122","5df3ad4eec6029de010000dd","5df7e18ddc100cde0100016e","5dfc11c9b371afde010000fc","5e004ddc63155bde0100004b","5e048417db7916df010000ad","5e08b6da7dc1dcdf010000cb","5e0cd9f66762d1de010000ab","5e0d1dd49ecb35de01000107","5e0da304675bf1de0100009f","5e0db208c7ca67df01000042","5e110aa2d6a01ede01000094","5e14998e830852de01000048","5e1aee555f3d2cdf0100012c","5e1ee07a875c69df010000f1","5e21a5ed3ef35cdf0100014f","5e24a1a31a6264de01000014","5e24d16e981ceddf010000a0","5e2ca60dcca05fde01000002","5e373b254cbab2df010000b5","5e381f370691b8de0100012e","5e391f337f8bf3f30100009b","5e3d460bdc4cd0f301000080","5e412f0fb54187de010001fd","5e46956e2e79a6df01000015","5e4f90e342a908de010000f0","5e55e1eec2c8a2df0100004b","5e55fb91819fabdf01000043","5e5d399073eb2edf0100005d","5e62c9b48f9dfede01000012","5e69ec413aab3cdf01000236","5e6a6051d37d43de0100021a","5uNwRzqPShqjj5w7n","67aLTCWbjGwkDDC9D","95DQ5KcEuc84FLGpw","9RwLS5Tu3kXtxYNXD","AZSDESQhTC3QweCiq","AgKpe75fbth2Q8zbs","Bm6s5DR3MSgxJ3wWr","BpJxc38YKyqTpBDhA","E5rA8DH9RCbZ8trMX","Er2P5Yhz7RkA8HH5Q","GuR62ZXthJcND8FNe","HK78wHnj2BKwHox8E","QxvM7gxJduoC5ACWE","SCujaYWzkdYmyT2Eo","cy8fYiReXtfHc2tqN","etKTQjxCiA468douC","fX6HifTArZSbcCozd","jde8THxMDAYEbySTP","ot9kP7ojCmwzzGy2d","oynzRoATcqFByjhqE","qBc7At3jT9LnqBMw3","rey8AwcLiwHEcvMRX","shBRjbZTLWKah2ebY","tdg6Pso6ddJK2rTaD","uhynEQbsamWFGmHHD","zyWJw2NzMcSAHredn"],"author_short":["Van Harmelen, F.","Aben, M."],"bibbaseid":"vanharmelen-aben-structurepreservingspecificationlanguagesforknowledgebasedsystems-1996","bibdata":{"bibtype":"article","type":"article","title":"Structure-preserving specification languages for knowledge-based systems","abstract":"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.","author":[{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["Frank"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Aben"],"suffixes":[]}],"year":"1996","month":"2","doi":"10.1006/ijhc.1996.0010","volume":"44","pages":"187–212","journal":"International Journal of Human-computer Studies","issn":"1071-5819","publisher":"Academic Press Inc.","number":"2","bibtex":"@article{daf4c16d543c4ce0aec82cc5f52ece68,\n title = \"Structure-preserving specification languages for knowledge-based systems\",\n abstract = \"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.\",\n author = \"{Van Harmelen}, Frank and Manfred Aben\",\n year = \"1996\",\n month = \"2\",\n doi = \"10.1006/ijhc.1996.0010\",\n volume = \"44\",\n pages = \"187--212\",\n journal = \"International Journal of Human-computer Studies\",\n issn = \"1071-5819\",\n publisher = \"Academic Press Inc.\",\n number = \"2\",\n}\n\n\n","author_short":["Van Harmelen, F.","Aben, M."],"key":"daf4c16d543c4ce0aec82cc5f52ece68","id":"daf4c16d543c4ce0aec82cc5f52ece68","bibbaseid":"vanharmelen-aben-structurepreservingspecificationlanguagesforknowledgebasedsystems-1996","role":"author","urls":{},"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/"}},"downloads":1},"bibtype":"article","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","downloads":1,"keywords":[],"search_terms":["structure","preserving","specification","languages","knowledge","based","systems","van harmelen","aben"],"title":"Structure-preserving specification languages for knowledge-based systems","year":1996,"dataSources":["H6xuGqu5uQ6rXhdJ4","WhwSPTQ5GSQ88x5a7","dJmTXpbSWWjnxatYT"]}