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)
For real-time monitoring of PCR amplification of DNA, quantitative PCR (qPCR) assays use various fluorescent reporters. DNA binding molecules and hybridization reporters (primers and probes) only fluoresce when bound to DNA and result in the non-cumulative increase in observed fluorescence. Hydrolysis reporters (TaqMan probes and QZyme primers) become(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)
Interpretation of the results of anatomical and embryological studies relies heavily on proper visualization of complex morphogenetic processes and patterns of gene expression in a three-dimensional (3D) context. However, reconstruction of complete 3D datasets is time consuming and often researchers study only a few sections. To help in understanding the(More)
A variant is proposed of the preference-based se­ mantics for nonmonotonic logics that was origi­ nally considered by Shoham [1987; 1988]. In this variant it is not assumed that preferences between standard models arc aggregated into one preference order. This allows the capturing of all main non­ monotonic formalisms, including Default Logic oi Reiter(More)