A survey of languages for specifying dynamics: a knowledge engineering perspective

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on knowledge and data engineering 2001-05, Vol.13 (3), p.462-496
Main Authors: van Eck, P., Engelfriet, J., Fensel, D., van Harmelen, F., Venema, Y., Willems, M.
Format: Article
Language:English
Subjects:
Computer languages
Dynamic programming
Engines
Formal specifications
Information systems
Knowledge based systems
Knowledge engineering
Logic programming
Specification languages
Transaction databases
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1041-4347
1558-2191
DOI:10.1109/69.929903