Title :
A survey of languages for specifying dynamics: a knowledge engineering perspective
Author :
Van Eck, Pascal ; Engelfriet, Joeri ; Fensel, Dieter ; Van Harmelen, Frank ; Venema, Yde ; Willems, Mark
Author_Institution :
Fac. of Comput. Sci., Twente Univ., Enschede, Netherlands
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
Keywords :
finite automata; formal logic; formal specification; inference mechanisms; knowledge based systems; knowledge engineering; specification languages; Dynamic Database Logic; Language for Conceptual Modeling; TROLL; Transaction Logic; abstract state machines; database updates; dynamic behavior; dynamic reasoning; formal specification; inference engine; information systems; knowledge engineering; knowledge-based systems; logic programming; specification languages; Computer languages; Dynamic programming; Engines; Formal specifications; Information systems; Knowledge based systems; Knowledge engineering; Logic programming; Specification languages; Transaction databases;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on