Learn More
abstract An often mentioned obstacle for the use of Dempster-Shafer theory for the handling of uncertainty in expert systems is the computational complexity of the theory. One cause of this complexity is the fact that in Dempster-Shafer theory the evidence is represented by a belief function which is induced by a basic probability assignment, i.e. a(More)
In this paper a generalization of Kripke models is proposed for systemizing the study of the many different epistemic notions that appear in the literature. The generalized Kripke models explicitly represent an agent's epistemic states to which the epistemic notions refer. Two central epistemic notions are identified: objective (S5) knowledge and rational(More)
In this paper, we discuss a decision-theoretic strategy for surveillance as a first step towards automating the planning of the movement of an autonomous surveillance robot. We extend a previous proposal by including some heuristics based on an abstract representation of the environment. We show, using a concrete example, how these heuristics allow(More)
Alternative proofs for Guaspari and Solovay's completeness theorems for R are presented. R is an extension of the provability logic L and was developed in order to study the formal properties of the provability predicate of PA occurring in sentences that may contain connectives for witness comparison. (The primary example of sentences involving witness(More)
To unravel regulatory networks of genes functioning during embryonic development, information on in situ gene expression is required. Enormous amounts of such data are available in literature, where each paper reports on a limited number of genes and developmental stages. The best way to make these data accessible is via spatio-temporal gene expression(More)