Title :
Non-Well-Founded Probabilities and Coinductive Probability Logic
Author :
Schumann, Andrew
Author_Institution :
Dept. of Philos. & Sci. Methodology, Belarusian State Univ., Minsk, Belarus
Abstract :
One of the most useful computer algebra used today is calgebra and its versions, e.g. stream calculus. In the paper I show that p-adic arithmetic can be regarded as one of the natural interpretation of stream calculus on a finite set of positive integers. Further, I define probabilities on streams using bisimulation and construct probability logic with non-well-founded syntax and non-well-founded semantics.
Keywords :
digital arithmetic; probabilistic logic; process algebra; bisimulation; calgebra; coinductive probability logic; computer algebra; p-adic arithmetic; positive integer; stream calculus; Algebra; Arithmetic; Calculus; Data structures; Differential equations; Probabilistic logic; Scientific computing; Set theory; coinductive probability logic; coinductive propositional logic; non-well-founded set; p-adic integers; probabilities within non-well-founded powerset;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-0-7695-3523-4
DOI :
10.1109/SYNASC.2008.29
