A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

Share/Save/Bookmark

Eck, Pascal van and Engelfriet, Joeri and Fensel, Dieter and Harmelen, Frank van and Venema, Yde and Willems, Mark (2001) A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Transactions on Knowledge and Data Engineering, 13 (3). pp. 462-496. ISSN 1041-4347

open access
[img]
Preview
PDF
878kB
Abstract: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. We focus 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
Item Type:Article
Copyright:© 2001 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/37296
Official URL:http://dx.doi.org/10.1109/69.929903
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 204460