By Topic

A computational logic for incomplete and distributed knowledge based 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
$31 $13
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)
Jiang, Y.J. ; Dept. of Comput. Sci.,. Essex Univ., Colchester, UK

By viewing the problems of formal aspects in incomplete and distributed knowledge-based systems as the development of a logic of epistemic notions, the author obtains a computational logic of belief that formalizes beliefs in an extended clausal form of logic. It is shown that this logic can capture many intentional subtleties of quantified beliefs that might result from the communications between subsystems in a distributed environment. In particular, it is shown that the logic can offer an efficient resolution-like proof mechanism with controlled granularity for each subsystem.<>

Published in:

System Sciences, 1988. Vol.III. Decision Support and Knowledge Based Systems Track, Proceedings of the Twenty-First Annual Hawaii International Conference on  (Volume:3 )

Date of Conference:

0-0 1988