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 truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals.

Comment
enProbabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals.
Has abstract
enProbabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals.
Is primary topic of
Probabilistic logic
Label
enProbabilistic logic
Link from a Wikipage to an external page
www.philos.rug.nl/~romeyn/paper/2005_romeijn_-_thesis.pdf
philpapers.org/rec/ADAAPO-2
bayes.wustl.edu/etj/prob/book.pdf
books.google.com/books%3Fhl=en&lr=&id=c-bthgk3DQAC&oi=fnd&pg=PP1&dq=%22Handbook+of+the+Logic+of+Argument+and+Inference:+The+turn+towards+the+practical%22&ots=yrjiTlKa-O&sig=9ToPqYX6B2Fzn-GhYVJm33IUeB8%23v=onepage&q=%22Handbook%20of%20the%20Logic%20of%20Argument%20and%20Inference%3A%20The%20turn%20towards%20the%20practical%22&f=false
books.google.com/books%3Fhl=en&lr=&id=CicvkPZhohEC&oi=fnd&pg=PR11&dq=%22Uncertain+Inference%22+Teng&ots=JjnRNjQ4i6&sig=JBV9_yWGmiAlrl2EXylLEJ9GRrk
books.google.com/books%3Fhl=en&lr=&id=D5aCKWMtrtQC&oi=fnd&pg=PP1&dq=%22Truth,+Possibility+and+Probability:+New+Logical+Foundations+of+Probability+and+Statistical+Inference%22&ots=dzloxitdW3&sig=ekP_NPlUTdnFJLF4yOpM6qgPdSs%23v=onepage&q=%22Truth%2C%20Possibility%20and%20Probability%3A%20New%20Logical%20Foundations%20of%20Probability%20and%20Statistical%20Inference%22&f=false
books.google.com/books%3Fhl=en&lr=&id=uFVtCQAAQBAJ&oi=fnd&pg=PP8&dq=%22The+Logical+Foundations+of+Statistical+Inference%22+kyburg&ots=a0m49xG5Vt&sig=cgDXfw19FujcuIq-bz_OOYLxicc
dl.acm.org/citation.cfm%3Fid=914650
www.sipta.org/
folk.universitetetioslo.no/josang/sl/
philpapers.org/rec/KYBPAI
web.archive.org/web/20070930031527/http:/www.kent.ac.uk/secl/philosophy/jw/2006/progicnet.htm
Link from a Wikipage to another Wikipage
Age of Enlightenment
Argumentation framework
Atomic formula
Bayes' theorem
Bayesian inference
Bayesian networks
Bayesian probability
Ben Goertzel
Case-based reasoning
Casuistry
Category:Formal epistemology
Category:Non-classical logic
Category:Probabilistic arguments
Catholic probabilism
Computational complexities
Cox's theorem
Deductive logic
Dempster–Shafer theory
Dutch book
Entailment
Evidential reasoning approach
Finite state machine
Fréchet inequalities
Fuzzy logic
Half-proof
Henry E. Kyburg, Jr.
Imprecise probability
Laxism
Logic
Logical conjunction
Logical consequence
Logical disjunction
Logical system
Logic programming
Markov chain
Markov logic network
Maximum entropy principle
Modus ponens
Modus tollens
Moral certainty
Nils Nilsson (researcher)
Non-Axiomatic Reasoning System
Non-monotonic logic
Pei Wang
Possibility theory
Posterior probability
Predicate logic
Probabilism
Probabilistic argumentation
Probabilistic database
Probabilistic Logic Network
Probabilistic proof
Probabilistic soft logic
Probabilities
Probability
Probability space
Probability theory
Propositional logic
Propositional variable
Rolando Chuaqui
Rudolf Carnap
Scholasticism
Scholastics
Statistical relational learning
Subjective logic
Truth table
Truth value
Uncertain inference
Upper and lower probabilities
Σ-algebra
SameAs
2ShjG
Lógica probabilística
Lógica probabilística
Logique probabiliste
m.0cz z9
Pravdepodobnostná logika
Probabilistic logic
Probableca logiko
Q2599292
Імовірнісна логіка
Вероятностная логика
Հավանականային տրամաբանություն
منطق احتمالاتی
概率逻辑
確率論理
Subject
Category:Formal epistemology
Category:Non-classical logic
Category:Probabilistic arguments
WasDerivedFrom
Probabilistic logic?oldid=1106178401&ns=0
WikiPageLength
15304
Wikipage page ID
5017608
Wikipage revision ID
1106178401
WikiPageUsesTemplate
Template:Div col
Template:Div col end
Template:Reflist