By Topic

Some applications of formal methods to the design of distributed knowledge base systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Taylor, M.C. ; Keele Univ., UK

The paper describes a technique for formally defining the semantics of a knowledge base language-the Vienna development method (VDM). The technique is shown to have applications in query optimisation and in the maintenance of consistency of the knowledge. The paper suggests that the same approach can help in the development of translators between different knowledge models. It is also anticipated that the development of formal models of knowledge will help in the integration of responses from different nodes, enabling the system to return a single coherent response to the user, based on knowledge contributed from several different sources

Published in:

UK IT 1990 Conference

Date of Conference:

19-22 Mar 1990