Belief Maintenance Systems: Initial Prototype Specification

Authors

Roseanne M. Fulcomer, Washington University in St. Louis
William E. Ball, Washington University in St. Louis
John P. Tadlock

Document Type

Technical Report

Publication Date

1987-01-01

Filename

WUCS-87-15.pdf

Technical Report Number

WUCS-87-15

Abstract

A fundamental need in future information systems is an effective method of accurately representing and monitoring dynamic, real-world situations inside a computer. Information is represented using an Extended Open World Assumption (EOWA), in which the data are explicitly true or false. Reasoning within the EOWA is done through the use of a dynamic dependency net which only represents those beliefs and justifications that are both currently valid and in current use. In this paper, we present definitions and uses of the EOWA and dynamic dependency net in our current research of developing a database with which we can use deductive reasoning with limited resources. A prototype has been implemented for determining the existing problems of creating such a belief management system for operation in real-world applications.

Comments

Permanent URL: http://dx.doi.org/10.7936/K70G3HJK

Recommended Citation

Fulcomer, Roseanne M.; Ball, William E.; and Tadlock, John P., "Belief Maintenance Systems: Initial Prototype Specification" Report Number: WUCS-87-15 (1987). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/800