Knowledge engineering. Unifying knowledge base and database design

MaRDI QIDQ4229239zbMATH OpenFDO

Authors John Debenham

Publication date 8 March 1999

zbMATH Keywords

deductive database systemsknowledge-based systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Review text

This book is a systematic and detailed introduction to a methodology for the design of knowledge-based systems and deductive database systems. Data, information and knowledge are represented in a single unified formalism. The four steps of a unified methodology for the design of knowledge-based systems consist of requirements specification (a requirements model is constructed which specifies what the system should be able to do), system analysis (based on a conceptual model of how the system will do what it is required to do), specification of system function (based on a functional model which shows how the knowledge in the conceptual model may be employed to deliver the functionality specified in the requirements model), and specification of system layout (based on an internal model which serves as a complete system specification). The methodology not only allows to construct requirements models, conceptual, functional, and internal models, but also allows to represent constraints on data, information, and knowledge in these four types of models. A practical schema notation is employed that is grounded in the lambda calculus. The methodology builds a maintenance mechanism into the design which reflects the need to modify given specifications, and it employs a generalized form of normalization to simplify maintenance processes. The book concludes with a substantial case study to illustrate the proposed methodology.

Recommendations

• scientific article; zbMATH DE number 711038
• Problem-solving methods. Understanding, description, development, and reuse.
• scientific article; zbMATH DE number 784350
• scientific article; zbMATH DE number 46985

Cited in

(7)

• Knowledge base and database representation for intelligent concurrent design.
• Problem-solving methods. Understanding, description, development, and reuse.
• scientific article; zbMATH DE number 5081822 (Why is no real title available?)
• Methodologies and technologies for rule-based systems design and implementation. Towards hybrid knowledge engineering
• Robustness of decentralized knowledge systems: a grammar-theoretic view
• Software prototyping in data and knowledge engineering
• UML for developing knowledge management systems.

This page was built for publication: Knowledge engineering. Unifying knowledge base and database design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229239)