Technical Report Number
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.
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.