. Van Eck, P., Engelfriet, J., Fensel, D., Van Harmelen, F., Venema, Y., & Willems, M. Volume 1472. Specification of dynamics for knowledge-based systems, pages 37–68. Springer/Verlag, 1998. abstract bibtex During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a knowledge-based system. This paper will focus on the second aspect, which is an issue considered to be unsolved. For this purpose, we have surveyed existing approaches in related areas of research. We have taken approaches for the specification of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the specification of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.
@inbook{6ab2f7260ef1493f81a644c5346238e4,
title = "Specification of dynamics for knowledge-based systems",
abstract = "During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a knowledge-based system. This paper will focus on the second aspect, which is an issue considered to be unsolved. For this purpose, we have surveyed existing approaches in related areas of research. We have taken approaches for the specification of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the specification of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.",
author = "{Van Eck}, Pascal and Joeri Engelfriet and Dieter Fensel and {Van Harmelen}, Frank and Yde Venema and Mark Willems",
year = "1998",
isbn = "3540653058",
volume = "1472",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "37--68",
booktitle = "Transactions and Change in Logic Databases - International Seminar on Logic Databases and the Meaning of Change and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997, Invited Surveys and Selected Papers",
}
Downloads: 0
{"_id":{"_str":"53425cb30e946d920a000bfa"},"__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 Eck, P.","Engelfriet, J.","Fensel, D.","Van Harmelen, F.","Venema, Y.","Willems, M."],"bibbaseid":"vaneck-engelfriet-fensel-vanharmelen-venema-willems-specificationofdynamicsforknowledgebasedsystems-1998","bibdata":{"bibtype":"inbook","type":"inbook","title":"Specification of dynamics for knowledge-based systems","abstract":"During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a knowledge-based system. This paper will focus on the second aspect, which is an issue considered to be unsolved. For this purpose, we have surveyed existing approaches in related areas of research. We have taken approaches for the specification of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the specification of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.","author":[{"propositions":[],"lastnames":["Van Eck"],"firstnames":["Pascal"],"suffixes":[]},{"firstnames":["Joeri"],"propositions":[],"lastnames":["Engelfriet"],"suffixes":[]},{"firstnames":["Dieter"],"propositions":[],"lastnames":["Fensel"],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["Frank"],"suffixes":[]},{"firstnames":["Yde"],"propositions":[],"lastnames":["Venema"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Willems"],"suffixes":[]}],"year":"1998","isbn":"3540653058","volume":"1472","series":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","publisher":"Springer/Verlag","pages":"37–68","booktitle":"Transactions and Change in Logic Databases - International Seminar on Logic Databases and the Meaning of Change and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997, Invited Surveys and Selected Papers","bibtex":"@inbook{6ab2f7260ef1493f81a644c5346238e4,\n title = \"Specification of dynamics for knowledge-based systems\",\n abstract = \"During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a knowledge-based system. This paper will focus on the second aspect, which is an issue considered to be unsolved. For this purpose, we have surveyed existing approaches in related areas of research. We have taken approaches for the specification of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the specification of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.\",\n author = \"{Van Eck}, Pascal and Joeri Engelfriet and Dieter Fensel and {Van Harmelen}, Frank and Yde Venema and Mark Willems\",\n year = \"1998\",\n isbn = \"3540653058\",\n volume = \"1472\",\n series = \"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\",\n publisher = \"Springer/Verlag\",\n pages = \"37--68\",\n booktitle = \"Transactions and Change in Logic Databases - International Seminar on Logic Databases and the Meaning of Change and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997, Invited Surveys and Selected Papers\",\n}\n\n\n","author_short":["Van Eck, P.","Engelfriet, J.","Fensel, D.","Van Harmelen, F.","Venema, Y.","Willems, M."],"key":"6ab2f7260ef1493f81a644c5346238e4","id":"6ab2f7260ef1493f81a644c5346238e4","bibbaseid":"vaneck-engelfriet-fensel-vanharmelen-venema-willems-specificationofdynamicsforknowledgebasedsystems-1998","role":"author","urls":{},"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/"}}},"bibtype":"inbook","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","downloads":0,"keywords":[],"search_terms":["specification","dynamics","knowledge","based","systems","van eck","engelfriet","fensel","van harmelen","venema","willems"],"title":"Specification of dynamics for knowledge-based systems","year":1998,"dataSources":["H6xuGqu5uQ6rXhdJ4","WhwSPTQ5GSQ88x5a7","dJmTXpbSWWjnxatYT"]}