2016/07/18 by Michael Mislove, Mislove, Michael W.
Computer Science · #54F05 #60B05 #60B10 #Computability, Logic, AI Algorithms #D.3.1 #F.3.2 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rough Sets and Fuzzy Logic #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1607.07698
openalex publication_date 2016/07/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The aim of this paper is to establish a theory of random variables on domains. Domain theory is a fundamental component of theoretical computer science, providing mathematical models of computational processes. Random variables are the mainstay of probability theory. Since computational models increasingly involve probabilistic aspects, it's only natural to explore the relationship between these two areas. Our main results show how to cast results about random variables using a domain-theoretic approach. The pay-off is an extension of the results from probability measures to sub-probability measures. We also use our approach to extend the class of domains for which we can classify the domain structure of the space of sub-probability measures.