Knowledge representation and reasoning systems run into danger when they attempt to implement traditional belief change theories intended for ideal reasoning agents. Resource limitations can cause a system that guarantees consistency to fail. We present a belief space whose formalization incorporates the fact that it is not guaranteed to be deductively closed (e.g. unknown implicit beliefs migh...

A belief is a conviction adhered to often in the face of factual evidence to the contrary. This paper inevitably represents my beliefs moulded by my experience of working with teenagers in London and tempered by my knowledge of the work of my colleagues. It is only by understanding the belief systems of the adolescent and his or her peer group that we can effectively interact with that young pe...

We devise a message passing algorithm for probabilistic inference in composite systems, consisting of a large number of variables, that exhibit weak random interactions among all variables and strong interactions with a small subset of randomly chosen variables; the relative strength of the two interactions is controlled by a free parameter. We examine the performance of the algorithm numerical...

The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which mean...

Network-based approaches have become extremely important in systems biology to achieve a better understanding of biological mechanisms. For network representation, the Biological Expression Language (BEL) is well designed to collate findings from the scientific literature into biological network models. To facilitate encoding and biocuration of such findings in BEL, a BEL Information Extraction...

In this research, the decision on belief (DOB) approach was employed to analyze and classify the states of uni-variate quality control systems. The concept of DOB and its application in decision making problems were introduced, and then a methodology for modeling a statistical quality control problem by DOB approach was discussed. For this iterative approach, the belief for a system being out-...