Frans Voorbraak

Learn More
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 probability(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)
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)
The paper discusses probabilistic belief change, in particular the type of change occurring when information is added which is consistent with the old beliefs. In the AGM theory of belief revision this type of belief change is known as an expansion, and is usually considered to be easy compared to revision and contraction, the two other main types of belief(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)
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)
' ,x n P x' II" n1 11 IU 11 11 II , 11 11 , 1 + 1 11 11 vI P 1 '"I III III Ill ll p I l Il I'! no 11 ' 11 1I uP ' I III III 11 11 10 1 ' III , l Ill ! III I III II + In a' 1 .1 ' I I'i l p Iii ' II III III II' II II I !I: I I I " III o' ii III I III I'6 11 11 1l I (il l i.1 x u1 1I III m 11 11 u' l III q n II III , '' 14 11 91 aI Ii I1 11 1I III II I I 1(More)