Showing 2001Show all
2 papers · 1 filter
cs.AI2001
Embedding conditional event algebras into temporal calculus of conditionals
Jerzy Tyszkiewicz, Achim Hoffmann, Arthur Ramer
In this paper we prove that all the existing conditional event algebras embed into a three-valued extension of temporal logic of discrete past time, which the authors of this paper…
cs.AI2001
The temporal calculus of conditional objects and conditional events
Jerzy Tyszkiewicz, Arthur Ramer, Achim Hoffmann
We consider the problem of defining conditional objects (a|b), which would allow one to regard the conditional probability Pr(a|b) as a probability of a well-defined event rather t…