Probabilistic logic

Probabilistic logic

The aim of a probabilistic logic (or probability logic) is to combine the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure. The result is a richer and more expressive formalism with a broad range of possible application areas. Probabilistic logic is a natural extension of traditional logic truth tables: the results they define are derived through probabilistic expressions instead. The difficulty with probabilistic logics is that they tend to multiply the computational complexities of their probabilistic and logical components.

Proposals

There are numerous proposals for probabilistic logics:

* The term "probabilistic logic" was first used in 1986 paper, where the truth values of sentences are probabilitiesNilsson, N. J., 1986, "Probabilistic logic," "Artificial Intelligence" 28(1): 71-87.] . The proposed semantical generalization induces a probabilistic logical entailment, which reduces to ordinary logical entailment when the probabilities of all sentences are either 0 or 1. This generalization applies to any logical system for which the consistency of a finite set of sentences can be established.

* In the theory of probabilistic argumentationKohlas, 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. [http://www.iam.unibe.ch/~run/papers/haenni05d.pdf] ] , probabilities are not directly attached to logical sentences. Instead it is assumed that a particular subset W of the variables V involved in the sentences defines a probability space over the corresponding sub-σ-algebra. This induces two distinct probability measures with respect to V, 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 V={}) and classical posterior probabilities (for V=W). Mathematically, this view is compatible with the Dempster-Shafer theory.

* The theory of evidential reasoningRuspini, E.H., Lowrance, J., and Strat, T., 1992, "Understanding evidential reasoning," "International Journal of Approximate Reasoning", 6(3): 401-424.] also defines non-additive "probabilities of probability" (or "epistemic probabilities") as a general notion for both logical entailment (provability) and probability. The idea is to augment standard 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" K"p" of all propositional sentences "p", and it is argued that this is the best information available to an analyst. From this view, Dempster-Shafer theory appears to be a generalized form of probabilistic reasoning.

* 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 envelopesGerla, G., 1994, "Inferences in Probability Logic," "Artificial Intelligence" 70(1–2):33–52.] . 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 phenomenon.

* The central concept in the theory of subjective logicA. Jøsang, A., 2001, "A logic for uncertain probabilities," "International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems" 9(3):279-311.] are "opinions" about some of the propositional variables involved in the given logical sentences. An opinion is a two-dimensional extension of a single probability value to express various degrees of ignorance. For the computation of overall opinions with respect to some query variables, the theory proposes respective operators for various logical connectives.

Possible application areas

*Argumentation theory
*Artificial intelligence
*Bioinformatics
*Formal epistemology
*Game theory
*Philosophy of science
*Psychology
*Statistics

ee also

* Bayesian inference, Bayesian networks, Bayesian probability
* Cox's theorem
* Dempster-Shafer theory
* Imprecise probability
* Logic, Deductive logic, Non-monotonic logic
* Probabilistic database
* Probability, Probability theory
* Probabilistic argumentation
* Reasoning
* Subjective logic
* Uncertainty
* Upper and lower probabilities

References

Further reading

* E. W. Adams, 1998. "A Primer of Probability Logic". CSLI Publications (Univ. of Chicago Press).
* Rudolf Carnap, 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.
* Hajek, Alan, 2001, "Probability, Logic, and Probability Logic," in Goble, Lou, ed., "The Blackwell Guide to Philosophical Logic", Blackwell.
* Henry Kyburg, 1970. "Probability and Inductive Logic" Macmillan.
* H. E. Kyburg, 1974. "The Logical Foundations of Statistical Inference", Dordrecht: Reidel.
* H. E. Kyburg and C. M. Teng, 2001. "Uncertain Inference", Cambridge: Cambridge University Press.
* Romeijn, J. W., 2005. "Bayesian Inductive Logic". PhD thesis, Faculty of Philosophy, University of Groningen, Netherlands. [http://www.philos.rug.nl/~romeyn/paper/2005_romeijn_-_thesis.pdf]
* 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.

External links

* [http://www.kent.ac.uk/secl/philosophy/jw/2006/progicnet.htm "Progicnet": Probabilistic Logic And Probabilistic Networks]
* [http://www.unik.no/people/josang/sl/ Subjective logic demonstrations]
* [http://www.sipta.org/ "The Society for Imprecise Probability"]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • probabilistic logic — tikimybinė logika statusas T sritis automatika atitikmenys: angl. probabilistic logic vok. Wahrscheinlichkeitslogik, f rus. вероятностная логика, f pranc. logique stochastique, f ryšiai: sinonimas – stochastinė logika …   Automatikos terminų žodynas

  • Probabilistic argumentation — is a general theory of reasoning under uncertainty and ignorance. It combines the fields of probability theory and deductive logic, making it a probabilistic logic Harv|Haenni|Kohlas|Lehmann|2000. References …   Wikipedia

  • Probabilistic CTL — Probabilistic Computation Tree Logic is an extension of CTL which allows for probabilistic quantification of described properties. It has been defined in the paper by [http://citeseer.ist.psu.edu/hansson94logic.html Hansson and Jonsson] .PCTL is… …   Wikipedia

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Fuzzy logic — is a form of multi valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. Just as in fuzzy set theory the set membership values can range (inclusively) between 0 and 1, in fuzzy logic the degree …   Wikipedia

  • Subjective logic — is a type of probabilistic logic that explicitly takes uncertainty and belief ownership into account. In general, subjective logic is suitable for modeling and analysing situations involving uncertainty and incomplete knowledgeA. Jøsang.… …   Wikipedia

  • Markov logic network — A Markov logic network (or MLN) is a probabilistic logic which applies the ideas of a Markov network to first order logic, enabling uncertain inference. Markov logic networks generalize first order logic, in the sense that, in a certain limit,… …   Wikipedia

  • Abductive logic programming — is a high level knowledge representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal Logic Programming by allowing some predicates to be incompletely defined, declared as abducible… …   Wikipedia

  • Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… …   History of philosophy

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”