In this paper we present the stages of the creation of the first electronic guide in a Greek Museum, the Museum of Dion. The guide, built on the Macintosh OS, is currently used to provide information about archaeological exhibits in the Museum. All practical aspects from initial discussions to creation of the working prototype are presented. The actual guide was constructed by applying a two st...

Knowledge has proven to be a useful and fundamental formalism for reasoning about distributed systems. The application of this formalism, however, entails a loss of volition on the part of processes about which something is known. This loss of volition is often not appropriate in loosely coupled distributed systems. In this paper, we generalize the formal characterization of knowledge into one ...

Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision systems based on the principle of Minimal Change; it provides a rich and rigorous foundation for computer-based belief revision architectures. Maxi-adjustment is a belief revision strategy for theory bases that can be impl...

Usually, expert systems use numbers to describe the experts’ degrees of belief in their statements. In practice, however, it is difficult to assign an exact numerical value to the expert’s degree of belief. At best, we can get an interval of possible values. This fact leads to the use of interval-valued degrees of belief. When intervals are used to describe degrees of belief, then computations ...

The severity of traumatization seems to correlate with a more severe course of post-traumatic stress disorder (PTSD) (and other post-traumatic disorders), while firm belief systems have been found to be a protective factor against post-traumatic disorders. This study sought to determine the role of belief systems in the outcome of psychotherapy for traumatized refugees. The charts of 141 consec...

To develop theories to specify and reason about various aspects of multi-agent systems, many researchers have proposed the use of modal logics such as belief logics, logics of knowledge, and logics of norms. As multi-agent systems operate in dynamic environments, there is also a need to model the evolution of multi-agent systems through time. In order to introduce a temporal dimension to a beli...

The mathematical structures of loopy belief propagation are reviewed for graphical models in probabilistic information processing in the stand point of cluster variation method. An extension of adaptive TAP approaches is given by introducing a generalized scheme of the cluster variation method. Moreover the practical message update rules in loopy belief propagation are summarized also for quant...

Knowledge has proven to be a useful and fundamental formalism for reasoning about distributed systems. The application of this formalism, however, entails a loss of volition on the part of processes about which something is known. This loss of volition is often not appropriate in loosely coupled distributed systems. In this paper, we generalize the formal characterization of knowledge into one ...

The AGM postulates for knowledge base revision are a set of rationality postulates that revision operations on knowledge systems should satisfy. Deening an appropriate semantics for belief revision that satisses all of the postulates has been considered a challenging problem. In this paper we present a novel application of circumscription to deening a semantics of belief revision systems. First...

Belief rule based expert systems are an extension of traditional rule based systems and are capable of representing more complicated causal relationships using different types of information with uncertainties. This paper describes how the belief rule based expert systems can be trained and used for pipeline leak detection. Pipeline operations under different conditions are modelled by a belief...