Specification of Dynamics for Knowledge-Based Systems

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F.A.H. van Harmelen, Yde Venema, Mark Willems

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

109 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationTransactions and Change in Logic Databases
Subtitle of host publicationInvited Surveys and Selected Papers
EditorsBurkhard Freitag
PublisherSpringer
Pages37-68
Number of pages32
ISBN (Electronic)9783540494492
ISBN (Print)3540653058, 9783540653059
DOIs
Publication statusPublished - 1998
EventInternational Seminar on Logic Databases and the Meaning of Change, 1996 and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997 - Port Jefferson, United States
Duration: 17 Oct 199717 Oct 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1472
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

ConferenceInternational Seminar on Logic Databases and the Meaning of Change, 1996 and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997
Country/TerritoryUnited States
CityPort Jefferson
Period17/10/9717/10/97

Fingerprint

Dive into the research topics of 'Specification of Dynamics for Knowledge-Based Systems'. Together they form a unique fingerprint.

Cite this