Please take note of IEEE Computer Society's copyright notice:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Information on copyright permissions can be obtained here.
BibTeX entry:
@Article{tkde01, author = "Pascal van Eck and Joeri Engelfriet and Dieter Fensel and Frank van Harmelen and Yde Venema and Mark Willems", title = "A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective", journal = "{IEEE} Transactions on Knowledge and Data Engineering", volume = 13, number = 3, pages = "462--496", year = 2001, month = "May/June", note = "\url{http://goo.gl/8NSw8c}" }
Abstract
During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics 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 the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. This paper focuses on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of Abstract State Machines.