Speci cation of Dynamics for Knowledge-BasedSystemsPascal

During the last years, a number of formal speciication 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. Speciication 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 speciication of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the speciication of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.

[1]  Claus Lewerentz,et al.  Formal Development of Reactive Systems: Case Study Production Cell , 1995 .

[2]  Christine Golbreich,et al.  TFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems , 1996, The Knowledge Engineering Review.

[3]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[4]  Jan Treur,et al.  Modelling an elevator design task in DESIRE: the VT example , 1996, Int. J. Hum. Comput. Stud..

[5]  Jan Willem Spee,et al.  The semantics of K BS SF, a language for KBS design , 1994 .

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[7]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[8]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[9]  Roel Wieringa,et al.  Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases , 1995, J. Log. Comput..

[10]  Jan A. Bergstra,et al.  Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..

[11]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[12]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[13]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[14]  Dieter Fensel,et al.  Combining KARL and CRLM for designing vertical transportation systems , 1996, Int. J. Hum. Comput. Stud..

[15]  Amílcar Sernadas,et al.  A Linear Temporal Logic Approach to Objects with Transactions , 1997, AMAST.

[16]  Bernhard Nebel,et al.  Artificial intelligence: a computational perspective , 1997 .

[17]  Cristina Sernadas,et al.  Object Speciication Logic , 1995 .

[18]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[19]  Gunter Saake,et al.  TROLL: a language for object-oriented specification of information systems , 1996, TOIS.

[20]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[21]  Claus Lewerentz,et al.  LCM and MCM: Specification of a control system using dynamic logic and process algebra , 1994 .

[22]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[23]  Roel Wieringa,et al.  Dynamic Database Logic: the First-order Case , 1992, FMLDO.