Probabilistic logic
Probabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic
Logical background
There are numerous proposals for probabilistic logics. Very roughly, they can be categorized into two different classes: those logics that attempt to make a probabilistic extension to logical entailment, such as Markov logic networks, and those that attempt to address the problems of uncertainty and lack of evidence (evidentiary logics).
That the concept of probability can have different meanings may be understood by noting that, despite the mathematization of probability in the Enlightenment, mathematical probability theory remains, to this very day, entirely unused in criminal courtrooms, when evaluating the "probability" of the guilt of a suspected criminal.[1]
More precisely, in evidentiary logic, there is a need to distinguish the objective truth of a statement from our decision about the truth of that statement, which in turn must be distinguished from our confidence in its truth: thus, a suspect's real guilt is not necessarily the same as the judge's decision on guilt, which in turn is not the same as assigning a numerical probability to the commission of the crime, and deciding whether it is above a numerical threshold of guilt. The verdict on a single suspect may be guilty or not guilty with some uncertainty, just as the flipping of a coin may be predicted as heads or tails with some uncertainty. Given a large collection of suspects, a certain percentage may be guilty, just as the probability of flipping "heads" is one-half. However, it is incorrect to take this law of averages with regard to a single criminal (or single coin-flip): the criminal is no more "a little bit guilty" than predicting a single coin flip to be "a little bit heads and a little bit tails": we are merely uncertain as to which it is. Expressing uncertainty as a numerical probability may be acceptable when making scientific measurements of physical quantities, but it is merely a mathematical model of the uncertainty we perceive in the context of "common sense" reasoning and logic. Just as in courtroom reasoning, the goal of employing uncertain inference is to gather evidence to strengthen the confidence of a proposition, as opposed to performing some sort of probabilistic entailment.
Historical context
Historically, attempts to quantify probabilistic reasoning date back to antiquity. There was a particularly strong interest starting in the 12th century, with the work of the
Modern proposals
Below is a list of proposals for probabilistic and evidentiary extensions to classical and
- The term "probabilistic logic" was first used by Jon Von Neumann in a series of Cal Tech lectures 1952 and 1956 paper "Probabilistic logics and the synthesis of reliable organisms from unreliable components", and subsequently in a paper by logical systemfor which the consistency of a finite set of sentences can be established.
- The central concept in the theory of subjective logic[3] is opinions about some of the propositional variables involved in the given logical sentences. A binomial opinion applies to a single proposition and is represented as a 3-dimensional extension of a single probability value to express probabilistic and epistemic uncertainty about the truth of the proposition. For the computation of derived opinions based on a structure of argument opinions, the theory proposes respective operators for various logical connectives, such as e.g. multiplication (AND), comultiplication (OR), division (UN-AND) and co-division (UN-OR) of opinions,[4] conditional deduction (MP) and abduction (MT).,[5] as well as Bayes' theorem.[6]
- The approximate reasoning formalism proposed by fuzzy logic can be used to obtain a logic in which the models are the probability distributions and the theories are the lower envelopes.[7] In such a logic the question of the consistency of the available information is strictly related with the one of the coherence of partial probabilistic assignment and therefore with Dutch book phenomena.
- finite state machinetransitions.
- Systems such as Probabilistic Logic Networks (PLN) add an explicit confidence ranking, as well as a probability to atoms and sentences. The rules of deduction and induction incorporate this uncertainty, thus side-stepping difficulties in purely Bayesian approaches to logic (including Markov logic), while also avoiding the paradoxes of Dempster–Shafer theory. The implementation of PLN attempts to use and generalize algorithms from logic programming, subject to these extensions.
- In the field of probabilistic argumentation, various formal frameworks have been put forward. The framework of "probabilistic labellings",[8] for example, refers to probability spaces where a sample space is a set of labellings of argumentation graphs. In the framework of "probabilistic argumentation systems"[9][10] probabilities are not directly attached to arguments or logical sentences. Instead it is assumed that a particular subset of the variables involved in the sentences defines a probability space over the corresponding sub-σ-algebra. This induces two distinct probability measures with respect to , which are called degree of support and degree of possibility, respectively. Degrees of support can be regarded as non-additive probabilities of provability, which generalizes the concepts of ordinary logical entailment(for ) and classical posterior probabilities (for ). Mathematically, this view is compatible with the Dempster–Shafer theory.
- The theory of propositional logic by considering an epistemic operator K that represents the state of knowledge that a rational agent has about the world. Probabilities are then defined over the resulting epistemic universe Kp of all propositional sentences p, and it is argued that this is the best information available to an analyst. From this view, Dempster–Shafer theoryappears to be a generalized form of probabilistic reasoning.
See also
- Statistical relational learning
- Bayesian networks, Bayesian probability
- Cox's theorem
- Dempster–Shafer theory
- Fréchet inequalities
- Fuzzy logic
- Imprecise probability
- Deductive logic, Non-monotonic logic
- Possibility theory
- Probabilism, Half-proof, Scholasticism
- Probabilistic database
- Probabilistic soft logic
- Probability, Probability theory
- Probabilistic argumentation
- Probabilistic causation
- Probabilistic proof
- Scientific evidence
- Subjective logic
- Uncertain inference
- Upper and lower probabilities
References
- ^ ISBN 0-8018-7109-3.
- ^ Nilsson, N. J., 1986, "Probabilistic logic," Artificial Intelligence 28(1): 71-87.
- ^ A. Jøsang. Subjective Logic: A formalism for reasoning under uncertainty. Springer Verlag, 2016
- ^ Jøsang, A. and McAnally, D., 2004, "Multiplication and Comultiplication of Beliefs," International Journal of Approximate Reasoning, 38(1), pp.19-51, 2004
- ^ Jøsang, A., 2008, "Conditional Reasoning with Subjective Logic," Journal of Multiple-Valued Logic and Soft Computing, 15(1), pp.5-38, 2008
- ^ A. Jøsang. Generalising Bayes' Theorem in Subjective Logic. 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2016), Baden-Baden, Germany, 2016.
- ^ Gerla, G., 1994, "Inferences in Probability Logic," Artificial Intelligence 70(1–2):33–52.
- ^ Riveret, R.; Baroni, P.; Gao, Y.; Governatori, G.; Rotolo, A.; Sartor, G. (2018), "A Labelling Framework for Probabilistic Argumentation", Annals of Mathematics and Artificial Intelligence, 83: 221–287.
- ^ Kohlas, J., and Monney, P.A., 1995. A Mathematical Theory of Hints. An Approach to the Dempster–Shafer Theory of Evidence. Vol. 425 in Lecture Notes in Economics and Mathematical Systems. Springer Verlag.
- ^ Haenni, R, 2005, "Towards a Unifying Theory of Logical and Probabilistic Reasoning," ISIPTA'05, 4th International Symposium on Imprecise Probabilities and Their Applications: 193-202. "Archived copy" (PDF). Archived from the original (PDF) on 2006-06-18. Retrieved 2006-06-18.
{{cite web}}
: CS1 maint: archived copy as title (link) - ^ Ruspini, E.H., Lowrance, J., and Strat, T., 1992, "Understanding evidential reasoning," International Journal of Approximate Reasoning, 6(3): 401-424.
Further reading
- Adams, E. W., 1998. A Primer of Probability Logic. CSLI Publications (Univ. of Chicago Press).
- Bacchus, F., 1990. "Representing and reasoning with Probabilistic Knowledge. A Logical Approach to Probabilities". The MIT Press.
- Carnap, R., 1950. Logical Foundations of Probability. University of Chicago Press.
- Chuaqui, R., 1991. Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference. Number 166 in Mathematics Studies. North-Holland.
- Haenni, H., Romeyn, JW, Wheeler, G., and Williamson, J. 2011. Probabilistic Logics and Probabilistic Networks, Springer.
- Hájek, A., 2001, "Probability, Logic, and Probability Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic, Blackwell.
- Jaynes, E., 1998, "Probability Theory: The Logic of Science", pdf and Cambridge University Press 2003.
- Kyburg, H. E., 1970. Probability and Inductive LogicMacmillan.
- Kyburg, H. E., 1974. The Logical Foundations of Statistical Inference, Dordrecht: Reidel.
- Kyburg, H. E. & C. M. Teng, 2001. Uncertain Inference, Cambridge: Cambridge University Press.
- Romeiyn, J. W., 2005. Bayesian Inductive Logic. PhD thesis, Faculty of Philosophy, University of Groningen, Netherlands. [1]
- Williamson, J., 2002, "Probability Logic," in D. Gabbay, R. Johnson, H. J. Ohlbach, and J. Woods, eds., Handbook of the Logic of Argument and Inference: the Turn Toward the Practical. Elsevier: 397–424.