A Fundamental Probabilistic Fuzzy Logic Framework Suitable for Causal
Reasoning
- URL: http://arxiv.org/abs/2205.15016v1
- Date: Mon, 30 May 2022 11:59:35 GMT
- Title: A Fundamental Probabilistic Fuzzy Logic Framework Suitable for Causal
Reasoning
- Authors: Amir Saki and Usef Faghihi
- Abstract summary: We introduce a fundamental framework to create a bridge between Probability and Fuzzy Logic.
Our theory formulates a random experiment of selecting crisp elements with the criterion of having a certain fuzzy attribute.
Several formulas are presented, which make it easier to compute different conditional probabilities and expected values of random variables.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper, we introduce a fundamental framework to create a bridge
between Probability Theory and Fuzzy Logic. Indeed, our theory formulates a
random experiment of selecting crisp elements with the criterion of having a
certain fuzzy attribute. To do so, we associate some specific crisp random
variables to the random experiment. Then, several formulas are presented, which
make it easier to compute different conditional probabilities and expected
values of these random variables. Also, we provide measure theoretical basis
for our probabilistic fuzzy logic framework. Note that in our theory, the
probability density functions of continuous distributions which come from the
aforementioned random variables include the Dirac delta function as a term.
Further, we introduce an application of our theory in Causal Inference.
Related papers
- Credal Learning Theory [4.64390130376307]
We lay the foundations for a credal' theory of learning, using convex sets of probabilities to model the variability in the data-generating distribution.
Bounds are derived for the case of finite hypotheses spaces, as well as infinite model spaces, which directly generalize classical results.
arXiv Detail & Related papers (2024-02-01T19:25:58Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
Exchangeability is a fundamental concept in probability theory and statistics.
We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
arXiv Detail & Related papers (2023-06-06T17:15:19Z) - "What if?" in Probabilistic Logic Programming [2.9005223064604078]
A ProbLog program is a logic program with facts that only hold with a specified probability.
We extend this ProbLog language by the ability to answer "What if" queries.
arXiv Detail & Related papers (2023-05-24T16:35:24Z) - Probabilistic Deduction: an Approach to Probabilistic Structured
Argumentation [1.027974860479791]
Probabilistic Deduction (PD) is an approach to probabilistic structured argumentation.
PD provides a framework to unify probabilistic reasoning with argumentative reasoning.
This is the first work in probabilistic structured argumentation where the joint distribution is not assumed form external sources.
arXiv Detail & Related papers (2022-09-01T03:58:38Z) - Why we should interpret density matrices as moment matrices: the case of
(in)distinguishable particles and the emergence of classical reality [69.62715388742298]
We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs)
We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way.
We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
arXiv Detail & Related papers (2022-03-08T14:47:39Z) - Reasoning with fuzzy and uncertain evidence using epistemic random fuzzy sets: general framework and practical models [4.6684925321613076]
This framework generalizes both the Dempster-Shafer theory of belief functions, and possibility theory.
We introduce Gaussian random fuzzy numbers and their multi-dimensional extensions, Gaussian random fuzzy vectors, as practical models for quantifying uncertainty.
arXiv Detail & Related papers (2022-02-16T14:06:05Z) - The intersection probability: betting with probability intervals [7.655239948659381]
We propose the use of the intersection probability, a transform derived originally for belief functions in the framework of the geometric approach to uncertainty.
We outline a possible decision making framework for probability intervals, analogous to the Transferable Belief Model for belief functions.
arXiv Detail & Related papers (2022-01-05T17:35:06Z) - Logical Credal Networks [87.25387518070411]
This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability.
We investigate its performance on maximum a posteriori inference tasks, including solving Mastermind games with uncertainty and detecting credit card fraud.
arXiv Detail & Related papers (2021-09-25T00:00:47Z) - Causal Expectation-Maximisation [70.45873402967297]
We show that causal inference is NP-hard even in models characterised by polytree-shaped graphs.
We introduce the causal EM algorithm to reconstruct the uncertainty about the latent variables from data about categorical manifest variables.
We argue that there appears to be an unnoticed limitation to the trending idea that counterfactual bounds can often be computed without knowledge of the structural equations.
arXiv Detail & Related papers (2020-11-04T10:25:13Z) - Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
Probabilistic sentential decision diagrams are logic circuits where the inputs of disjunctive gates are annotated by probability values.
We develop the credal sentential decision diagrams, a generalisation of their probabilistic counterpart that allows for replacing the local probabilities with credal sets of mass functions.
For a first empirical validation, we consider a simple application based on noisy seven-segment display images.
arXiv Detail & Related papers (2020-08-19T16:04:34Z) - Contextuality scenarios arising from networks of stochastic processes [68.8204255655161]
An empirical model is said contextual if its distributions cannot be obtained marginalizing a joint distribution over X.
We present a different and classical source of contextual empirical models: the interaction among many processes.
The statistical behavior of the network in the long run makes the empirical model generically contextual and even strongly contextual.
arXiv Detail & Related papers (2020-06-22T16:57:52Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.