论文信息 - Knowledge base systems : a formal model

Knowledge base systems : a formal model

Knowledge base systems (KBS's) are gammg popularity among software users and developers. It is, however, not clear what a KBS is and which functions it has to fulfill. In this paper we investigate the notion of what could be called a rule based KBS. We wish to answer two main questions. First, we want to determine what is a KBS intended for, i.e. what should it compute. The second question is, which components are needed in KBS to compute what is intended. Based on logic programming and deductive database theory we elaborate a model of KBS's in which we can answer these questions. Applying the model for examining software tools we observe that it serves as a good guide in evaluating and developing KBS's. 1

Agoston Endre Eiben | Rv Robert Schuwer | A. Eiben | Rv Robert Schuwer

[1] Jack Minker,et al. Logic and Databases: A Deductive Approach , 1984, CSUR.

[2] Rob Gerth,et al. Foundations of Compositional Program Refinement - Safety Properties , 1989, REX Workshop.

[3] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.

[4] Dick Alstein,et al. Dynamic reconfiguration in distributed hard real-time systems , 1991 .

[5] D. de Reus,et al. An implementation model for GOOD , 1991 .

[6] Kees M. van Hee,et al. Data, Process and Behaviour Modelling in an Integrated Specification Framework , 1991, DMIS.

[7] Wjm Pim Lemmens. The PDB hypermedia package : why and how it was built , 1991 .

[8] P Pieter Struik,et al. A systolic design for dynamic programming , 1989 .

[9] Joost-Pieter Katoen,et al. Parallel programs for the recognition of P-invariant segments , 1991 .

[10] Martin Rem,et al. The nature of delay-insensitive computing , 1991 .

[11] Erik Poll,et al. CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping , 1993, RAIRO Theor. Informatics Appl..

[12] Subrata Kumar Das,et al. Deductive Databases and Logic Programming , 1992 .

[13] Willem P. de Roever,et al. Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach , 1987, Temporal Logic in Specification.