Boolean algebras of conditionals, probability and logic
From MaRDI portal
Publication:2211862
DOI10.1016/J.ARTINT.2020.103347zbMATH Open1493.68349arXiv2006.04673OpenAlexW3033275830MaRDI QIDQ2211862FDOQ2211862
Authors: Tommaso Flaminio, Lluís Godo, H. Hosni 
Publication date: 16 November 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Abstract: This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) {em Boolean algebra of conditionals} from any (finite) Boolean algebra of events. By doing so we distinguish the properties of conditional events which depend on probability and those which are intrinsic to the logico-algebraic structure of conditionals. Our main result provides a way to regard standard two-place conditional probabilities as one-place probability functions on conditional events. We also consider a logical counterpart of our Boolean algebras of conditionals with links to preferential consequence relations for non-monotonic reasoning. The overall framework of this paper provides a novel perspective on the rich interplay between logic and probability in the representation of conditional knowledge.
Full work available at URL: https://arxiv.org/abs/2006.04673
Recommendations
- On Boolean algebras of conditionals and their logical counterpart
- The algebra of conditional logic
- scientific article; zbMATH DE number 3880684
- scientific article; zbMATH DE number 3884230
- scientific article; zbMATH DE number 935042
- On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
- A logical and algebraic treatment of conditional probability
- Boolean-like algebras
- Boolean equations in algebra of logic and set theory
Probability and inductive logic (03B48) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Nonmonotonic reasoning, preferential models and cumulative logics
- Stochastic independence in a coherent setting
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Title not available (Why is that?)
- What does a conditional knowledge base entail?
- The logic of conditionals. An application of probability to deductive logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introduction to Boolean Algebras
- Philosophical lectures on probability. Collected, edited, and annotated by Alberto Mura. With an introductory essay by Maria Carla Galavotti. Transl. by Hykel Hosni
- Tensor products and the Loomis-Sikorski theorem for MV-algebras
- Algebraizable logics
- On a new axiomatic theory of probability
- Title not available (Why is that?)
- Sets of probability distributions, independence, and convexity
- Probabilities over rich languages, testing and randomness
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Five faces of minimality
- An algebraic synthesis of the foundations of logic and probability
- An algebra of conditional events
- Stone algebras, conditional events, and three valued logic
- Conditional objects as nonmonotonic consequence relationships
- Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects
- Locally finite varieties.
- An introduction to measure theory
- Measures in Boolean Algebras
- Title not available (Why is that?)
- Conditionals right and left: probabilities for the whole family
- Structural inference from conditional knowledge bases
- Title not available (Why is that?)
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Concerning measures on Boolean algebras
- A theory of conditional information for probabilistic inference in intelligent systems. II: Product space approach
- Title not available (Why is that?)
- Coherence in the aggregate: a betting method for belief functions on many-valued events
- Title not available (Why is that?)
- On the logical structure of de Finetti's notion of event
- On Boolean algebras of conditionals and their logical counterpart
- On the algebraic structure of conditional events
Cited In (22)
- Scaled Boolean algebras
- Counterfactuals as modal conditionals, and their probability
- Logic and conditional probability. A synthesis
- Conditional objects as possibilistic variables
- Logical perspectives on the foundations of probability
- Title not available (Why is that?)
- Iterated conditionals and characterization of P-entailment
- Scoring rules for belief functions and imprecise probabilities: a comparison
- Generalizing probabilistic material implication and Bayesian conditionals
- Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
- Compound conditionals, Fréchet-Hoeffding bounds, and Frank \(t\)-norms
- Probability and the logic of de Finetti's trievents
- Probabilistic argumentation: an approach based on conditional probability. A preliminary report
- Iterated conditionals, trivalent logics, and conditional random quantities
- On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
- Title not available (Why is that?)
- On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
- On the algebraic structure of conditional events
- On Boolean algebras of conditionals and their logical counterpart
- Canonical extension of possibility measures to Boolean algebras of conditionals
- Interpreting connexive principles in coherence-based probability logic
- Algebras of intervals and a logic of conditional assertions
This page was built for publication: Boolean algebras of conditionals, probability and logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2211862)
