Deterministic Bayesian Logic

Details Deterministic Bayesian Logic Deterministic Bayesian Logic

2004-11-29

arxiv.org/abs/cs/0411097v2

Computer Science

Logic in Computer Science

Fourth version. A sequent formalism is used

Scientific paper

In this paper a conditional logic is defined and studied. This conditional logic, Deterministic Bayesian Logic, is constructed as a deterministic counterpart to the (probabilistic) Bayesian conditional. The logic is unrestricted, so that any logical operations are allowed. This logic is shown to be non-trivial and is not reduced to classical propositions. The Bayesian conditional of DBL implies a definition of logical independence. Interesting results are derived about the interactions between the logical independence and the proofs. A model is constructed for the logic. Completeness results are proved. It is shown that any unconditioned probability can be extended to the whole logic DBL. The Bayesian conditional is then recovered from the probabilistic DBL. At last, it is shown why DBL is compliant with Lewis triviality.

Affiliated with

Also associated with

No associations

Rating

Deterministic Bayesian Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Deterministic Bayesian Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deterministic Bayesian Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-449385