Extending and Automating Basic Probability Theory with Propositional Computability Logic
From MaRDI portal
Abstract: Classical probability theory is formulated using sets. In this paper, we extend classical probability theory with propositional computability logic. Unlike other formalisms, computability logic is built on the notion of events/games, which is central to probability theory. The probability theory based on CoL is therefore useful for {it automating} uncertainty reasoning. We describe some basic properties of this new probability theory. We also discuss a novel isomorphism between the set operations and computability logic operations.
This page was built for publication: Extending and Automating Basic Probability Theory with Propositional Computability Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325414)
