Subjective logic, the Glossary

Table of Contents

1. 24 relations: Bayes' theorem, Bayesian network, Beta distribution, Contraposition, De Morgan's laws, Dempster–Shafer theory, Dirichlet distribution, Distributive property, Hypergeometric function, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Joint probability distribution, Logical conjunction, Logical disjunction, Modus ponens, Modus tollens, Negation, Probabilistic logic, Probability, State space (computer science), Tetrahedron, Trust metric, Uncertainty, Uncertainty quantification, Variance.

2. Non-classical logic

Bayes' theorem

Bayes' theorem (alternatively Bayes' law or Bayes' rule, after Thomas Bayes) gives a mathematical rule for inverting conditional probabilities, allowing us to find the probability of a cause given its effect. Subjective logic and Bayes' theorem are Bayesian statistics.

See Subjective logic and Bayes' theorem

Bayesian network

A Bayesian network (also known as a Bayes network, Bayes net, belief network, or decision network) is a probabilistic graphical model that represents a set of variables and their conditional dependencies via a directed acyclic graph (DAG).

See Subjective logic and Bayesian network

Beta distribution

In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval or (0, 1) in terms of two positive parameters, denoted by alpha (α) and beta (β), that appear as exponents of the variable and its complement to 1, respectively, and control the shape of the distribution.

See Subjective logic and Beta distribution

Contraposition

In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as.

See Subjective logic and Contraposition

De Morgan's laws

In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference.

See Subjective logic and De Morgan's laws

Dempster–Shafer theory

The theory of belief functions, also referred to as evidence theory or Dempster–Shafer theory (DST), is a general framework for reasoning with uncertainty, with understood connections to other frameworks such as probability, possibility and imprecise probability theories.

See Subjective logic and Dempster–Shafer theory

Dirichlet distribution

In probability and statistics, the Dirichlet distribution (after Peter Gustav Lejeune Dirichlet), often denoted \operatorname(\boldsymbol\alpha), is a family of continuous multivariate probability distributions parameterized by a vector \boldsymbol\alpha of positive reals.

See Subjective logic and Dirichlet distribution

Distributive property

In mathematics, the distributive property of binary operations is a generalization of the distributive law, which asserts that the equality x \cdot (y + z).

See Subjective logic and Distributive property

Hypergeometric function

In mathematics, the Gaussian or ordinary hypergeometric function 2F1(a,b;c;z) is a special function represented by the hypergeometric series, that includes many other special functions as specific or limiting cases.

See Subjective logic and Hypergeometric function

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

The International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems was founded in 1993 and is published bimonthly by World Scientific.

See Subjective logic and International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

Joint probability distribution

Given two random variables that are defined on the same probability space, the joint probability distribution is the corresponding probability distribution on all possible pairs of outputs.

See Subjective logic and Joint probability distribution

Logical conjunction

In logic, mathematics and linguistics, and (\wedge) is the truth-functional operator of conjunction or logical conjunction.

See Subjective logic and Logical conjunction

Logical disjunction

In logic, disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction, is a logical connective typically notated as \lor and read aloud as "or".

See Subjective logic and Logical disjunction

Modus ponens

In propositional logic, modus ponens (MP), also known as modus ponendo ponens, implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference.

See Subjective logic and Modus ponens

Modus tollens

In propositional logic, modus tollens (MT), also known as modus tollendo tollens (Latin for "method of removing by taking away") and denying the consequent, is a deductive argument form and a rule of inference.

See Subjective logic and Modus tollens

Negation

In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition P to another proposition "not P", standing for "P is not true", written \neg P, \mathord P or \overline.

See Subjective logic and Negation

Probabilistic logic

Probabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Subjective logic and probabilistic logic are non-classical logic.

See Subjective logic and Probabilistic logic

Probability

Probability is the branch of mathematics concerning events and numerical descriptions of how likely they are to occur.

See Subjective logic and Probability

State space (computer science)

In computer science, a state space is a discrete space representing the set of all possible configurations of a "system".

See Subjective logic and State space (computer science)

Tetrahedron

In geometry, a tetrahedron (tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertices.

See Subjective logic and Tetrahedron

Trust metric

In psychology and sociology, a trust metric is a measurement or metric of the degree to which one social actor (an individual or a group) trusts another social actor.

See Subjective logic and Trust metric

Uncertainty

Uncertainty or incertitude refers to epistemic situations involving imperfect or unknown information.

See Subjective logic and Uncertainty

Uncertainty quantification

Uncertainty quantification (UQ) is the science of quantitative characterization and estimation of uncertainties in both computational and real world applications.

See Subjective logic and Uncertainty quantification

Variance

In probability theory and statistics, variance is the expected value of the squared deviation from the mean of a random variable.

See Subjective logic and Variance

See also

Non-classical logic

• Alternative semantics
• Circumscription (logic)
• Cirquent calculus
• Combs method
• Computability logic
• Connexive logic
• Default logic
• Defeasible logic
• Description logic
• Deviant logic
• Dialetheism
• Dynamic logic (modal logic)
• Dynamic semantics
• Free logic
• Fuzzy logic
• Independence-friendly logic
• Infinitary logic
• Inquisitive semantics
• Intensional logic
• Intermediate logic
• Intuitionism
• Intuitionistic logic
• Journal of Applied Non-Classical Logics
• Kripke semantics
• Linear logic
• Many-valued logic
• Material inference
• Modal fallacy
• Modal logic
• Nixon diamond
• Non-classical logic
• Non-monotonic logic
• Noneism
• Paraconsistent logic
• Plausible reasoning
• Preferential entailment
• Probabilistic logic
• Probabilistic logic network
• Quantum logic
• Rational consequence relation
• Relevance logic
• Rvachev function
• SQLf
• Schrödinger logic
• Subjective logic
• Substructural logic
• Temperature paradox
• The World of Null-A
• Trivialism

References

[1] https://en.wikipedia.org/wiki/Subjective_logic

Also known as Evidence Based Subjective Logic, Evidence-based subjective logic, Subjective Bayesian networks, Subjective trust networks.