review-article

Free access

Unifying logic and probability

Author:

Stuart RussellAuthors Info & Claims

Communications of the ACM, Volume 58, Issue 7

Pages 88 - 97

https://doi.org/10.1145/2699411

Published: 25 June 2015 Publication History

All formats PDF

Abstract

Open-universe probability models show merit in unifying efforts.

References

[1]

Ackerman, N., Freer, C., Roy, D. On the computability of conditional probability. arXiv 1005.3014, 2013.

Google Scholar

[2]

Arora, N.S., Russell, S., Sudderth, E. NET-VISA: Network processing vertically integrated seismic analysis. Bull. Seism. Soc. Am. 103 (2013).

Google Scholar

[3]

Bacchus, F. Representing and Reasoning with Probabilistic Knowledge. MIT Press, 1990.

Digital Library

Google Scholar

[4]

Breese, J.S. Construction of belief and decision networks. Comput. Intell. 8 (1992) 624--647.

Crossref

Google Scholar

[5]

Claret, G., Rajamani, S.K., Nori, A.V., Gordon, A.D., Borgström, J. Bayesian inference using data flow analysis. In FSE-13 (2013).

Digital Library

Google Scholar

[6]

Dalvi, N.N., Ré, C., Suciu, D. Probabilistic databases. CACM 52, 7 (2009), 86--94.

Digital Library

Google Scholar

[7]

Fischer, B., Schumann, J. AutoBayes: A system for generating data analysis programs from statistical models. J. Funct. Program 13 (2003).

Digital Library

Google Scholar

[8]

Gaifman, H. Concerning measures in first order calculi. Israel J. Math. 2 (1964), 1--18.

Crossref

Google Scholar

[9]

Gaifman, H. Concerning measures on Boolean algebras. Pacific J. Math. 14 (1964), 61--73.

Crossref

Google Scholar

[10]

Gilks, W.R., Thomas, A., Spiegelhalter, D.J. A language and program for complex Bayesian modelling. The Statistician 43 (1994), 169--178.

Crossref

Google Scholar

[11]

Goodman, N.D., Mansinghka, V.K., Roy, D., Bonawitz, K., Tenenbaum, J.B. Church: A language for generative models. In UAI-08 (2008).

Google Scholar

[12]

Hailperin, T. Probability logic. Notre Dame J. Formal Logic 25, 3 (1984), 198--212.

Crossref

Google Scholar

[13]

Halpern, J.Y. An analysis of first-order logics of probability. AIJ 46, 3 (1990), 311--350.

Digital Library

Google Scholar

[14]

Howson, C. Probability and logic. J. Appl. Logic 1, 3--4 (2003), 151--165.

Digital Library

Google Scholar

[15]

Hur, C.-K., Nori, A.V., Rajamani, S.K., Samuel, S. Slicing probabilistic programs. In PLDI-14 (2014).

Digital Library

Google Scholar

[16]

Jain, D., Kirchlechner, B., Beetz, M. Extending Markov logic to model probability distributions in relational domains. In KI-07 (2007).

Digital Library

Google Scholar

[17]

Koller, D., McAllester, D.A., Pfeffer, A. Effective Bayesian inference for stochastic programs. In AAAI-97 (1997).

Digital Library

Google Scholar

[18]

Li, L., Wu, Y., Russell, S. SWIFT: Compiled inference for probabilistic programs. Tech. Report EECS-2015-12, UC Berkeley, 2015.

Google Scholar

[19]

McCallum, A., Schultz, K., Singh, S. FACTORIE: Probabilistic programming via imperatively defined factor graphs. In NIPS 22 (2010).

Google Scholar

[20]

Milch, B. Probabilistic models with unknown objects. PhD thesis, UC Berkeley, 2006.

Digital Library

Google Scholar

[21]

Milch, B., Marthi, B., Sontag, D., Russell, S.J., Ong, D., Kolobov, A. BLOG: Probabilistic models with unknown objects. In IJCAI-05 (2005).

Digital Library

Google Scholar

[22]

Milch, B., Russell, S.J. General-purpose MCMC inference over relational structures. In UAI-06 (2006).

Google Scholar

[23]

Nilsson, N.J. Probabilistic logic. AIJ 28 (1986), 71--87.

Digital Library

Google Scholar

[24]

Paskin, M. Maximum entropy probabilistic logic. Tech. Report UCB/CSD-01-1161, UC Berkeley, 2002.

Crossref

Google Scholar

[25]

Pasula, H., Marthi, B., Milch, B., Russell, S.J., Shpitser, I. Identity uncertainty and citation matching. In NIPS 15 (2003).

Google Scholar

[26]

Pasula, H., Russell, S.J. Approximate inference for first-order probabilistic languages. In IJCAI-01 (2001).

Digital Library

Google Scholar

[27]

Pearl, J. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1988.

Digital Library

Google Scholar

[28]

Pfeffer, A. IBAL: A probabilistic rational programming language. In IJCAI-01 (2001).

Digital Library

Google Scholar

[29]

Poole, D. First-order probabilistic inference. In IJCAI-03 (2003).

Digital Library

Google Scholar

[30]

Richardson, M., Domingos, P. Markov logic networks. Machine Learning 62, 1--2 (2006), 107--136.

Digital Library

Google Scholar

[31]

Russell, S.J. Expressive probability models in science. In Discovery Science (Tokyo, 1999).

Digital Library

Google Scholar

[32]

Van den Broeck, G. Lifted Inference and Learning in Statistical Relational Models. PhD thesis, Katholieke Universiteit Leuven, 2013.

Google Scholar

Cited By

View all

Ma YDou YXu XTan YYang K(2024)Integrating adaptive fuzzy embedding with topology and property hypergraphsInformation Sciences: an International Journal10.1016/j.ins.2024.121051679:COnline publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1016/j.ins.2024.121051
Baaj IBouraoui ZCornuéjols ADenœux TDestercke SDubois DLesot MMarques-Silva JMengin JPrade HSchockaert SSerrurier MStrauss OVrain C(2024)Synergies between machine learning and reasoning - An introduction by the Kay R. Amel groupInternational Journal of Approximate Reasoning10.1016/j.ijar.2024.109206171(109206)Online publication date: Aug-2024
https://doi.org/10.1016/j.ijar.2024.109206
Zuidberg Dos Martires PDe Raedt LKimmig A(2024)Declarative probabilistic logic programming in discrete-continuous domainsArtificial Intelligence10.1016/j.artint.2024.104227337(104227)Online publication date: Dec-2024
https://doi.org/10.1016/j.artint.2024.104227
Show More Cited By

Index Terms

Unifying logic and probability
1. Mathematics of computing
  1. Probability and statistics
2. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

Unifying probability
UTP'06: Proceedings of the First international conference on Unifying Theories of Programming

We demonstrate a new unification of probability with standard computation in which a nonzero chance of disaster is treated as disaster. Laws and a Galois connection with the more traditional probabilistic model are provided. Reversibility in the ...
A Summary on Fuzzy Probability Theory
GRC '10: Proceedings of the 2010 IEEE International Conference on Granular Computing

Fuzzy probability theory is an extension of probability theory to dealing with mixed probabilistic/non-probabilistic uncertainty. It provides a theoretical basis to model uncertainty which is only partly characterized by randomness and defies a pure ...
Uncertainty about probability: a reconciliation with the subjectivist viewpoint

The use of probability distributions to represent uncertainty about probabilities (rather than events) has long been a subject of controversy among theorists. Many have concluded that it is inherently meaningless to be uncertain about a probability, ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 58, Issue 7

July 2015

102 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2797100

Editor:
Moshe Y. Vardi
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 June 2015

Published in CACM Volume 58, Issue 7

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Review-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

51
Total Citations
View Citations
4,971
Total Downloads

Downloads (Last 12 months)443
Downloads (Last 6 weeks)46

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ma YDou YXu XTan YYang K(2024)Integrating adaptive fuzzy embedding with topology and property hypergraphsInformation Sciences: an International Journal10.1016/j.ins.2024.121051679:COnline publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1016/j.ins.2024.121051
Baaj IBouraoui ZCornuéjols ADenœux TDestercke SDubois DLesot MMarques-Silva JMengin JPrade HSchockaert SSerrurier MStrauss OVrain C(2024)Synergies between machine learning and reasoning - An introduction by the Kay R. Amel groupInternational Journal of Approximate Reasoning10.1016/j.ijar.2024.109206171(109206)Online publication date: Aug-2024
https://doi.org/10.1016/j.ijar.2024.109206
Zuidberg Dos Martires PDe Raedt LKimmig A(2024)Declarative probabilistic logic programming in discrete-continuous domainsArtificial Intelligence10.1016/j.artint.2024.104227337(104227)Online publication date: Dec-2024
https://doi.org/10.1016/j.artint.2024.104227
Marra GDumančić SManhaeve RDe Raedt L(2024)From statistical relational to neurosymbolic artificial intelligence: A surveyArtificial Intelligence10.1016/j.artint.2023.104062328(104062)Online publication date: Mar-2024
https://doi.org/10.1016/j.artint.2023.104062
Ma YDou YXu XJiang JYang KTan Y(2024)Multicriteria requirement ranking based on uncertain knowledge representation and reasoningAdvanced Engineering Informatics10.1016/j.aei.2023.10232959(102329)Online publication date: Jan-2024
https://doi.org/10.1016/j.aei.2023.102329
Hallonquist N(2024)A Logical Consequence Informed by ProbabilityLogica Universalis10.1007/s11787-024-00359-x18:3(395-429)Online publication date: 7-Oct-2024
https://doi.org/10.1007/s11787-024-00359-x
Feng QLiu DBelle VLakemeyer GAgmon NAn BRicci AYeoh W(2023)A Logic of Only-Believing over Arbitrary Probability DistributionsProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598658(355-363)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598658
Dheer STripathi SKim E(2023)Neuro-Psychological Approaches for Artificial IntelligenceMultidisciplinary Approaches in AI, Creativity, Innovation, and Green Collaboration10.4018/978-1-6684-6366-6.ch003(29-43)Online publication date: 28-Apr-2023
https://doi.org/10.4018/978-1-6684-6366-6.ch003
Friedman R(2023)Large Language Models and Logical ReasoningEncyclopedia10.3390/encyclopedia30200493:2(687-697)Online publication date: 30-May-2023
https://doi.org/10.3390/encyclopedia3020049
Feldstein JPhillips DTsamoura EWilliams BChen YNeville J(2023)Principled and efficient motif finding for structure learning of lifted graphical modelsProceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v37i10.26439(12205-12215)Online publication date: 7-Feb-2023
https://dl.acm.org/doi/10.1609/aaai.v37i10.26439
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF Chinese translation

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Unifying probability

A Summary on Fuzzy Probability Theory

Uncertainty about probability: a reconciliation with the subjectivist viewpoint

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations